runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7730 MiB free)
  memory of node 1: 16384 MiB (7058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403655-1568992212/watcher-4403655-1568992212 -o /tmp/evaluation-result-4403655-1568992212/solver-4403655-1568992212 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 44607027 HOME/instance-4403655-1568992212.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4633, runsolver pid=4630
Current StackSize limit: 8192 KiB


[startup+0.10066 s]*
/proc/loadavg: 8.69 8.85 8.58 8/232 4649
/proc/meminfo: memFree=15115452/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15144776 memory=30200 CPUtime=0.13 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 5945 0 0 0 12 1 0 0 20 0 15 0 475490915 15508250624 7550 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3786194 7550 3151 1 0 3748377 0
[pid=4635/tid=4636] ppid=4633 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4633 30846 0 -1 4202560 3874 0 0 0 8 1 0 0 20 0 15 0 475490915 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801933448336 139801929245853 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15144776 memory=140013481485952 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490916 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15144776 memory=140013481485952 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490917 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490918 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801463956384 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490918 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801462903792 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) R 4633 4633 30846 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 475490920 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801460799984 139801929235074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) R 4633 4633 30846 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 475490920 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801459747440 139801929245274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15144776 memory=140013481485952 CPUtime=0.02 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) R 4633 4633 30846 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 475490920 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801458694896 139801908191362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15144776 memory=140013481485952 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490921 15508250624 7550 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31648 KiB

[startup+0.374098 s]*
/proc/loadavg: 8.69 8.85 8.58 9/232 4649
/proc/meminfo: memFree=15099456/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15149032 memory=56764 CPUtime=0.69 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 12067 0 0 0 65 4 0 0 20 0 15 0 475490915 15512608768 14191 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3787258 14191 3391 1 0 3748377 0
[pid=4635/tid=4636] ppid=4633 vsize=15149032 memory=7022364632946311227 CPUtime=0.36 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4633 30846 0 -1 4202560 7991 0 0 0 34 2 0 0 20 0 15 0 475490915 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801933454512 139801907226535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15149032 memory=4294979937 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15149032 memory=140013484963171 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490916 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15149032 memory=140013481485952 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475490917 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490918 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801463956384 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490918 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801462903792 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15149032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) R 4633 4633 30846 0 -1 4202560 1005 0 0 0 7 0 0 0 20 0 15 0 475490920 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801460781784 139801912634822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15149032 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) R 4633 4633 30846 0 -1 4202560 652 0 0 0 6 0 0 0 20 0 15 0 475490920 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801459733320 139801914326341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15149032 memory=140013481485952 CPUtime=0.17 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) D 4633 4633 30846 0 -1 4202560 1160 0 0 0 17 0 0 0 20 0 15 0 475490920 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801458692488 139801921941079 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490921 15512608768 14257 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 58212 KiB

[startup+0.410844 s]*
/proc/loadavg: 8.69 8.85 8.58 9/232 4649
/proc/meminfo: memFree=15097064/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15149108 memory=60668 CPUtime=0.81 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 12982 0 0 0 77 4 0 0 20 0 15 0 475490915 15512686592 15167 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3787277 15167 3418 1 0 3748377 0
[pid=4635/tid=4636] ppid=4633 vsize=15149108 memory=6935054825532540783 CPUtime=0.39 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4633 30846 0 -1 4202560 8224 0 0 0 37 2 0 0 20 0 15 0 475490915 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801933454944 139801915291795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15149108 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15149108 memory=46849 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490916 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15149108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475490917 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15149108 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490918 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801463956384 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15149108 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490918 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801462903792 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15149108 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15512686592 15167 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15149108 memory=6944652177228980320 CPUtime=0.11 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) R 4633 4633 30846 0 -1 4202560 1310 0 0 0 11 0 0 0 20 0 15 0 475490920 15512686592 15679 33554432000 4194304 4196468 140723293490720 139801460781000 139801914331739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15149108 memory=-6654736624941490777 CPUtime=0.1 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) R 4633 4633 30846 0 -1 4202560 801 0 0 0 9 1 0 0 20 0 15 0 475490920 15512686592 15679 33554432000 4194304 4196468 140723293490720 139801459740672 139801914330906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15149108 memory=5792585022635482273 CPUtime=0.18 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) R 4633 4633 30846 0 -1 1077944384 1340 0 0 0 18 0 0 0 20 0 15 0 475490920 15512686592 15679 33554432000 4194304 4196468 140723293490720 139801458694992 139801929234133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15149108 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15512686592 15679 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15149108 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490921 15512686592 15679 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 62116 KiB

[startup+0.711222 s]
/proc/loadavg: 8.69 8.85 8.58 10/232 4649
/proc/meminfo: memFree=15068308/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15151156 memory=101252 CPUtime=1.76 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 14906 0 0 0 171 5 0 0 20 0 15 0 475490915 15514783744 25313 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3787789 25313 3452 1 0 3748889 0
[pid=4635/tid=4636] ppid=4633 vsize=15151156 memory=15823283127847325 CPUtime=0.68 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) R 4633 4633 30846 0 -1 4202560 9082 0 0 0 65 3 0 0 20 0 15 0 475490915 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801933461328 139801907668698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490916 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475490916 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475490917 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475490918 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801463956384 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475490918 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801462903792 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15151156 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) R 4633 4633 30846 0 -1 4202560 1491 0 0 0 35 0 0 0 20 0 15 0 475490920 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801460799984 139801912720398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15151156 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4633 30846 0 -1 1077944384 1225 0 0 0 34 1 0 0 20 0 15 0 475490920 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801459747440 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15151156 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) R 4633 4633 30846 0 -1 1077944384 1801 0 0 0 35 0 0 0 20 0 15 0 475490920 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801458694896 139801929235074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475490920 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475490921 15514783744 25313 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102700 KiB

[startup+1.50069 s]
/proc/loadavg: 8.69 8.85 8.58 7/232 4649
/proc/meminfo: memFree=14950852/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0

################
# More data... #
################

/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 475490921 15787429888 102360 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4654] ppid=4633 vsize=15417412 memory=1060 CPUtime=8.3 cores=0,2,4,6
/proc/4635/task/4654/stat : 4654 (java) R 4633 4633 30846 0 -1 4202560 259 0 0 0 830 0 0 0 20 0 19 0 475491603 15787429888 102360 33554432000 4194304 4196468 140723293490720 139801379052680 139801544041716 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4655] ppid=4633 vsize=15417412 memory=1720 CPUtime=8.16 cores=0,2,4,6
/proc/4635/task/4655/stat : 4655 (java) R 4633 4633 30846 0 -1 4202560 1060 0 0 0 816 0 0 0 20 0 19 0 475491603 15787429888 102360 33554432000 4194304 4196468 140723293490720 139801376950056 139801541767808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4656] ppid=4633 vsize=15417412 memory=0 CPUtime=8.31 cores=0,2,4,6
/proc/4635/task/4656/stat : 4656 (java) R 4633 4633 30846 0 -1 4202560 251 0 0 0 831 0 0 0 20 0 19 0 475491603 15787429888 102360 33554432000 4194304 4196468 140723293490720 139801378001352 139801544349532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4657] ppid=4633 vsize=15417412 memory=7681407940103534239 CPUtime=8.27 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4633 30846 0 -1 4202560 454 0 0 0 827 0 0 0 20 0 19 0 475491604 15787429888 102360 33554432000 4194304 4196468 140723293490720 139801380106648 139801544041976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 59.24 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410888 KiB

[startup+15.7011 s]
/proc/loadavg: 8.90 8.89 8.60 9/236 4657
/proc/meminfo: memFree=14712344/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15417412 memory=409484 CPUtime=60.84 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 52878 0 0 0 6063 21 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3854353 102371 3538 1 0 3815453 0
[pid=4635/tid=4636] ppid=4633 vsize=15417412 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4633 30846 0 -1 1077944384 11265 0 0 0 126 5 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801933464704 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15417412 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 206 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15417412 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 178 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15417412 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 648 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15417412 memory=140013384176080 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 954 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 19 0 475490917 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801463956448 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801462903808 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15417412 memory=5 CPUtime=2.37 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4633 30846 0 -1 1077944384 10395 0 0 0 236 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801460799984 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15417412 memory=5 CPUtime=2.45 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4633 30846 0 -1 1077944384 15319 0 0 0 243 2 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801459747440 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15417412 memory=5 CPUtime=0.76 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4633 30846 0 -1 1077944384 6965 0 0 0 75 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801458694896 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15417412 memory=5 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15417412 memory=1 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 475490921 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4654] ppid=4633 vsize=15417412 memory=0 CPUtime=8.69 cores=0,2,4,6
/proc/4635/task/4654/stat : 4654 (java) R 4633 4633 30846 0 -1 4202560 292 0 0 0 869 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801379052680 139801546115649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4655] ppid=4633 vsize=15417412 memory=0 CPUtime=8.54 cores=0,2,4,6
/proc/4635/task/4655/stat : 4655 (java) R 4633 4633 30846 0 -1 4202560 1110 0 0 0 854 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801376951320 139801544041970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4656] ppid=4633 vsize=15417412 memory=0 CPUtime=8.71 cores=0,2,4,6
/proc/4635/task/4656/stat : 4656 (java) R 4633 4633 30846 0 -1 4202560 270 0 0 0 871 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801378001352 139801544818969 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4657] ppid=4633 vsize=15417412 memory=237 CPUtime=8.67 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4633 30846 0 -1 4202560 591 0 0 0 867 0 0 0 20 0 19 0 475491604 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801380106648 139801544723062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 60.84 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410932 KiB

[startup+15.9011 s]
/proc/loadavg: 8.90 8.89 8.60 9/236 4657
/proc/meminfo: memFree=14712344/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15417412 memory=409484 CPUtime=61.64 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 52882 0 0 0 6143 21 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3854353 102371 3538 1 0 3815453 0
[pid=4635/tid=4636] ppid=4633 vsize=15417412 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4633 30846 0 -1 1077944384 11265 0 0 0 126 5 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801933464704 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15417412 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 206 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15417412 memory=770 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 178 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15417412 memory=1412 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 648 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15417412 memory=2796 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 954 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15417412 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 19 0 475490917 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15417412 memory=409440 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801463956448 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801462903808 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15417412 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4633 30846 0 -1 1077944384 10395 0 0 0 236 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801460799984 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15417412 memory=140013384402092 CPUtime=2.45 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4633 30846 0 -1 1077944384 15319 0 0 0 243 2 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801459747440 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15417412 memory=1188 CPUtime=0.76 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4633 30846 0 -1 1077944384 6965 0 0 0 75 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801458694896 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 475490921 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4654] ppid=4633 vsize=15417412 memory=280026767425776 CPUtime=8.89 cores=0,2,4,6
/proc/4635/task/4654/stat : 4654 (java) R 4633 4633 30846 0 -1 4202560 292 0 0 0 889 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801379052680 139801544901964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4655] ppid=4633 vsize=15417412 memory=28144 CPUtime=8.74 cores=0,2,4,6
/proc/4635/task/4655/stat : 4655 (java) R 4633 4633 30846 0 -1 4202560 1114 0 0 0 874 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801376951320 139801544042157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4656] ppid=4633 vsize=15417412 memory=2116 CPUtime=8.91 cores=0,2,4,6
/proc/4635/task/4656/stat : 4656 (java) R 4633 4633 30846 0 -1 4202560 270 0 0 0 891 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801378001352 139801544349284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4657] ppid=4633 vsize=15417412 memory=12024 CPUtime=8.87 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4633 30846 0 -1 4202560 591 0 0 0 887 0 0 0 20 0 19 0 475491604 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801380106648 139801544068299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 61.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410932 KiB

[startup+16.0011 s]
/proc/loadavg: 8.90 8.89 8.60 9/236 4657
/proc/meminfo: memFree=14712344/32770624 swapFree=66938964/67108860
[pid=4633] ppid=4630 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4633/stat : 4633 (xcsp3-exec) S 4630 4633 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475490914 115843072 362 33554432000 4194304 5098028 140731054849968 140731054848072 140267170439804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8732672 140731054859132 140731054859373 140731054859373 140731054862282 0
/proc/4633/statm: 28282 362 304 221 0 87 0
[pid=4635] ppid=4633 vsize=15417412 memory=409484 CPUtime=62.04 cores=0,2,4,6
/proc/4635/stat : 4635 (java) S 4633 4633 30846 0 -1 1077944320 52884 0 0 0 6183 21 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 140723293473264 139801929223927 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
/proc/4635/statm: 3854353 102371 3538 1 0 3815453 0
[pid=4635/tid=4636] ppid=4633 vsize=15417412 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/4635/task/4636/stat : 4636 (java) S 4633 4633 30846 0 -1 1077944384 11265 0 0 0 126 5 0 0 20 0 19 0 475490915 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801933464704 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4637] ppid=4633 vsize=15417412 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4637/stat : 4637 (java) S 4633 4633 30846 0 -1 1077944384 206 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801521416976 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4638] ppid=4633 vsize=15417412 memory=193 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4638/stat : 4638 (java) S 4633 4633 30846 0 -1 1077944384 178 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801520364432 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4639] ppid=4633 vsize=15417412 memory=388248 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4639/stat : 4639 (java) S 4633 4633 30846 0 -1 1077944384 648 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801519311888 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4640] ppid=4633 vsize=15417412 memory=280026768622240 CPUtime=0.05 cores=0,2,4,6
/proc/4635/task/4640/stat : 4640 (java) S 4633 4633 30846 0 -1 1077944384 954 0 0 0 4 1 0 0 20 0 19 0 475490916 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801518259344 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4641] ppid=4633 vsize=15417412 memory=7668052818966111321 CPUtime=0.01 cores=0,2,4,6
/proc/4635/task/4641/stat : 4641 (java) S 4633 4633 30846 0 -1 1077944384 688 0 0 0 1 0 0 0 20 0 19 0 475490917 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801465010160 139801929235074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4642] ppid=4633 vsize=15417412 memory=7666649842112026986 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4642/stat : 4642 (java) S 4633 4633 30846 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801463956448 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4643] ppid=4633 vsize=15417412 memory=627 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4643/stat : 4643 (java) S 4633 4633 30846 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 475490918 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801462903808 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4644] ppid=4633 vsize=15417412 memory=5 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4644/stat : 4644 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801461852368 139801929242523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4645] ppid=4633 vsize=15417412 memory=5 CPUtime=2.37 cores=0,2,4,6
/proc/4635/task/4645/stat : 4645 (java) S 4633 4633 30846 0 -1 1077944384 10395 0 0 0 236 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801460799984 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4646] ppid=4633 vsize=15417412 memory=6124 CPUtime=2.45 cores=0,2,4,6
/proc/4635/task/4646/stat : 4646 (java) S 4633 4633 30846 0 -1 1077944384 15319 0 0 0 243 2 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801459747440 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4647] ppid=4633 vsize=15417412 memory=1448 CPUtime=0.76 cores=0,2,4,6
/proc/4635/task/4647/stat : 4647 (java) S 4633 4633 30846 0 -1 1077944384 6965 0 0 0 75 1 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801458694896 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4648] ppid=4633 vsize=15417412 memory=409440 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4648/stat : 4648 (java) S 4633 4633 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475490920 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801457642592 139801929234133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4649] ppid=4633 vsize=15417412 memory=-7161732098442470212 CPUtime=0 cores=0,2,4,6
/proc/4635/task/4649/stat : 4649 (java) S 4633 4633 30846 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 19 0 475490921 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801456589104 139801929235074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4654] ppid=4633 vsize=15417412 memory=0 CPUtime=8.99 cores=0,2,4,6
/proc/4635/task/4654/stat : 4654 (java) R 4633 4633 30846 0 -1 4202560 292 0 0 0 899 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801379052680 139801544040640 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4655] ppid=4633 vsize=15417412 memory=0 CPUtime=8.84 cores=0,2,4,6
/proc/4635/task/4655/stat : 4655 (java) R 4633 4633 30846 0 -1 4202560 1116 0 0 0 884 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801376951320 139801546247638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4656] ppid=4633 vsize=15417412 memory=0 CPUtime=9.01 cores=0,2,4,6
/proc/4635/task/4656/stat : 4656 (java) R 4633 4633 30846 0 -1 4202560 270 0 0 0 901 0 0 0 20 0 19 0 475491603 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801378001352 139801544901977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
[pid=4635/tid=4657] ppid=4633 vsize=15417412 memory=3620 CPUtime=8.97 cores=0,2,4,6
/proc/4635/task/4657/stat : 4657 (java) R 4633 4633 30846 0 -1 4202560 591 0 0 0 897 0 0 0 20 0 19 0 475491604 15787429888 102371 33554432000 4194304 4196468 140723293490720 139801380106648 139801538957540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140723293492207 140723293492378 140723293492378 140723293495247 0
Current children cumulated CPU time: 62.04 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410932 KiB

Child status: 0
Real time (s): 16.0828
CPU time (s): 62.2991
CPU user time (s): 62.0727
CPU system time (s): 0.226443
CPU usage (%): 387.364
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 410932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.0727
system time used= 0.226443
maximum resident set size= 409576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2941
involuntary context switches= 1367


# summary of solver processes directly reported to runsolver:
#   pid: 4633
#   total CPU time (s): 62.2991
#   total CPU user time (s): 62.0727
#   total CPU system time (s): 0.226443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.129342 second user time and 0.210884 second system time

The end