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 (15226 MiB free)
memory of node 1: 16384 MiB (15693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282459-1503111842/watcher-4282459-1503111842 -o /tmp/evaluation-result-4282459-1503111842/solver-4282459-1503111842 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17351 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 165037622 HOME/instance-4282459-1503111842.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=20477, runsolver pid=20474
[startup+0.100138 s]*
/proc/loadavg: 2.12 1.66 1.52 2/202 20480
/proc/meminfo: memFree=31649612/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=105164 memory=5156 CPUtime=0 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 1508 0 0 0 0 0 0 0 20 0 2 0 9593369 107687936 1289 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 26291 1289 964 1 0 16808 0
[pid=20479/tid=20480] ppid=20477 vsize=105164 memory=-6871798056524144002 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) D 20477 20477 17292 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 2 0 9593369 107687936 1289 18446744073709551615 4194304 4196468 140730906106704 139645628807472 139645617056661 0 0 1 16784584 18446744072100490373 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 114676 KiB
Current children cumulated memory: 6536 KiB
[startup+0.399499 s]*
/proc/loadavg: 2.12 1.66 1.52 2/214 20492
/proc/meminfo: memFree=31645620/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13907304 memory=21664 CPUtime=0.05 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 4798 0 0 0 4 1 0 0 20 0 14 0 9593369 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3476826 5416 2578 1 0 3466323 0
[pid=20479/tid=20480] ppid=20477 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) D 20477 20477 17292 0 -1 4202560 2977 0 0 0 3 1 0 0 20 0 14 0 9593369 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645628802976 139645624587517 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 21 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13907304 memory=288230613264378254 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13907304 memory=140159790854123 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13907304 memory=140159790753408 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 9593393 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 9593394 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 9593394 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645167973872 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13907304 memory=140159790753408 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23044 KiB
[startup+0.410078 s]*
/proc/loadavg: 2.12 1.66 1.52 2/214 20492
/proc/meminfo: memFree=31645324/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13907304 memory=21664 CPUtime=0.05 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 4798 0 0 0 4 1 0 0 20 0 14 0 9593369 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3476826 5416 2578 1 0 3466323 0
[pid=20479/tid=20480] ppid=20477 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) D 20477 20477 17292 0 -1 4202560 2977 0 0 0 3 1 0 0 20 0 14 0 9593369 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645628802976 139645624587517 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 21 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13907304 memory=301741412146489742 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13907304 memory=140159790854123 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13907304 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13907304 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 9593392 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13907304 memory=665105444673523667 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 9593393 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13907304 memory=4210146916469654281 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 9593394 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13907304 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 9593394 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645167973872 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13907304 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13907304 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13907304 memory=140159790753408 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13907304 memory=8388367118360672371 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 9593396 14241079296 5416 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23044 KiB
[startup+0.710625 s]
/proc/loadavg: 2.19 1.68 1.53 3/215 20493
/proc/meminfo: memFree=31630656/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13978608 memory=47792 CPUtime=0.57 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 10787 0 0 0 53 4 0 0 20 0 15 0 9593369 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3494652 11948 3073 1 0 3482964 0
[pid=20479/tid=20480] ppid=20477 vsize=13978608 memory=13850755039762989 CPUtime=0.31 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) S 20477 20477 17292 0 -1 1077944384 7581 0 0 0 28 3 0 0 20 0 15 0 9593369 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645628788336 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13978608 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13978608 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13978608 memory=-6876588628787748224 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13978608 memory=-7595718316223324558 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9593392 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13978608 memory=-3284643825843719562 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9593393 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13978608 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9593394 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13978608 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9593394 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645167973872 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13978608 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13978608 memory=6944656592455360604 CPUtime=0.04 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 515 0 0 0 4 0 0 0 20 0 15 0 9593396 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13978608 memory=7679937539659563834 CPUtime=0.04 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 313 0 0 0 4 0 0 0 20 0 15 0 9593396 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13978608 memory=6944656425123485561 CPUtime=0.15 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) R 20477 20477 17292 0 -1 4202560 1070 0 0 0 15 0 0 0 20 0 15 0 9593396 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645163761048 139645241262201 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20493/stat : 20493 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593405 14314094592 11948 18446744073709551615 4194304 4196468 140730906106704 139645161659184 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 49172 KiB
[startup+1.50079 s]
/proc/loadavg: 2.19 1.68 1.53 5/215 20493
/proc/meminfo: memFree=31561056/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13980732 memory=116776 CPUtime=2.79 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 17870 0 0 0 272 7 0 0 20 0 15 0 9593369 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3495183 29194 3179 1 0 3483476 0
[pid=20479/tid=20480] ppid=20477 vsize=13980732 memory=2496 CPUtime=1.1 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) R 20477 20477 17292 0 -1 4202560 8824 0 0 0 105 5 0 0 20 0 15 0 9593369 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645628803144 139645245324607 0 4 1 16800974 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13980732 memory=168952 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9593392 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13980732 memory=4084 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9593392 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13980732 memory=280319362211800 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9593393 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13980732 memory=5450916479880746516 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13980732 memory=-8253362762721548664 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645167973872 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13980732 memory=8326441210107759530 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13980732 memory=-8383865636863188341 CPUtime=0.62 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) R 20477 20477 17292 0 -1 4202560 2272 0 0 0 62 0 0 0 20 0 15 0 9593396 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645605266983 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13980732 memory=-8412658736277716636 CPUtime=0.61 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 2980 0 0 0 61 0 0 0 20 0 15 0 9593396 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13980732 memory=-8383303769241525621 CPUtime=0.41 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 2487 0 0 0 41 0 0 0 20 0 15 0 9593396 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13980732 memory=-6517930718009087390 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 29194 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13980732 memory=-6302889425569150144 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13980732 memory=132604 CPUtime=337.94 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 45060 0 0 0 33773 21 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3495183 33151 3229 1 0 3483476 0
[pid=20479/tid=20480] ppid=20477 vsize=13980732 memory=10 CPUtime=334.61 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) R 20477 20477 17292 0 -1 4202560 13318 0 0 0 33455 6 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645628805120 139645245324477 0 4 1 16800974 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13980732 memory=1792 CPUtime=0.09 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1003 0 0 0 8 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13980732 memory=952 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13980732 memory=1236 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 902 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13980732 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 1485 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.11 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 1926 0 0 0 10 1 0 0 20 0 15 0 9593393 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13980732 memory=6944656591801720226 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645167973888 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13980732 memory=2432 CPUtime=1.05 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 7254 0 0 0 104 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13980732 memory=1728 CPUtime=1.12 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 9575 0 0 0 111 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13980732 memory=-8774313645642428999 CPUtime=0.48 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 6338 0 0 0 48 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13980732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13980732 memory=8692 CPUtime=0.07 cores=1,3,5,7
/proc/20479/task/20493/stat : 20493 (java) S 20477 20477 17292 0 -1 1077944384 613 0 0 0 3 4 0 0 20 0 15 0 9593405 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645161659184 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 337.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133984 KiB
[startup+335.701 s]
/proc/loadavg: 1.47 1.53 1.51 3/211 20504
/proc/meminfo: memFree=31565572/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13980732 memory=132604 CPUtime=338.34 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 45062 0 0 0 33813 21 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3495183 33151 3229 1 0 3483476 0
[pid=20479/tid=20480] ppid=20477 vsize=13980732 memory=4288 CPUtime=335.01 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) R 20477 20477 17292 0 -1 4202560 13319 0 0 0 33495 6 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645628805120 139645245465567 0 4 1 16800974 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13980732 memory=928 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1003 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13980732 memory=1584 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13980732 memory=-8774313645642428999 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 903 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13980732 memory=4616 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 1485 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13980732 memory=1004 CPUtime=0.11 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 1926 0 0 0 10 1 0 0 20 0 15 0 9593393 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13980732 memory=8692 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645167973888 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13980732 memory=1380 CPUtime=1.05 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 7254 0 0 0 104 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13980732 memory=142632 CPUtime=1.12 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 9575 0 0 0 111 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13980732 memory=1156 CPUtime=0.48 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 6338 0 0 0 48 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13980732 memory=3100 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/20479/task/20493/stat : 20493 (java) S 20477 20477 17292 0 -1 1077944384 613 0 0 0 3 4 0 0 20 0 15 0 9593405 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645161659184 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 338.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133984 KiB
[startup+336.101 s]*
/proc/loadavg: 1.51 1.54 1.51 3/211 20504
/proc/meminfo: memFree=31565572/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13980732 memory=132604 CPUtime=338.75 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 45062 0 0 0 33854 21 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3495183 33151 3229 1 0 3483476 0
[pid=20479/tid=20480] ppid=20477 vsize=13980732 memory=-8774313645642428999 CPUtime=335.42 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) R 20477 20477 17292 0 -1 4202560 13319 0 0 0 33536 6 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645628805120 139645245324946 0 4 1 16800974 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13980732 memory=6072 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1003 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13980732 memory=16444 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13980732 memory=4012 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 903 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13980732 memory=636 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 1485 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13980732 memory=1792 CPUtime=0.11 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 1926 0 0 0 10 1 0 0 20 0 15 0 9593393 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13980732 memory=132604 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645167973888 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13980732 memory=132604 CPUtime=1.05 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 7254 0 0 0 104 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13980732 memory=8904 CPUtime=1.12 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 9575 0 0 0 111 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13980732 memory=1292 CPUtime=0.48 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 6338 0 0 0 48 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13980732 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/20479/task/20493/stat : 20493 (java) S 20477 20477 17292 0 -1 1077944384 613 0 0 0 3 4 0 0 20 0 15 0 9593405 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645161659184 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 338.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133984 KiB
[startup+336.21 s]
/proc/loadavg: 1.51 1.54 1.51 3/211 20504
/proc/meminfo: memFree=31565572/32770624 swapFree=67108860/67108860
[pid=20477] ppid=20474 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20477/stat : 20477 (xcsp3-exec) S 20474 20477 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 9593361 9740288 345 18446744073709551615 4194304 5098028 140726185097152 140726185095256 140120597115516 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10993664 140726185099642 140726185099846 140726185099846 140726185103339 0
/proc/20477/statm: 2378 345 289 221 0 87 0
[pid=20479] ppid=20477 vsize=13980732 memory=132604 CPUtime=338.85 cores=1,3,5,7
/proc/20479/stat : 20479 (java) S 20477 20477 17292 0 -1 1077944320 45062 0 0 0 33864 21 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 140730906089248 139645624565495 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
/proc/20479/statm: 3495183 33151 3229 1 0 3483476 0
[pid=20479/tid=20480] ppid=20477 vsize=13980732 memory=1380 CPUtime=335.52 cores=1,3,5,7
/proc/20479/task/20480/stat : 20480 (java) R 20477 20477 17292 0 -1 4202560 13319 0 0 0 33546 6 0 0 20 0 15 0 9593369 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645628805120 139645245407058 0 4 1 16800974 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20481] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20481/stat : 20481 (java) S 20477 20477 17292 0 -1 1077944384 1003 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645566511376 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20482] ppid=20477 vsize=13980732 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20482/stat : 20482 (java) S 20477 20477 17292 0 -1 1077944384 1257 0 0 0 8 2 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645565458832 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20483] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20483/stat : 20483 (java) S 20477 20477 17292 0 -1 1077944384 903 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645564406288 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20484] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.1 cores=1,3,5,7
/proc/20479/task/20484/stat : 20484 (java) S 20477 20477 17292 0 -1 1077944384 1485 0 0 0 9 1 0 0 20 0 15 0 9593392 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645563353744 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20485] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.11 cores=1,3,5,7
/proc/20479/task/20485/stat : 20485 (java) S 20477 20477 17292 0 -1 1077944384 1926 0 0 0 10 1 0 0 20 0 15 0 9593393 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645170080240 139645624576642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20486] ppid=20477 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20486/stat : 20486 (java) S 20477 20477 17292 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645169026464 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20487] ppid=20477 vsize=13980732 memory=280319362510712 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20487/stat : 20487 (java) S 20477 20477 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9593394 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645167973888 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20488] ppid=20477 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20488/stat : 20488 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645166922448 139645624584091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20489] ppid=20477 vsize=13980732 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/20479/task/20489/stat : 20489 (java) S 20477 20477 17292 0 -1 1077944384 7254 0 0 0 104 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645165869040 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20490] ppid=20477 vsize=13980732 memory=132604 CPUtime=1.12 cores=1,3,5,7
/proc/20479/task/20490/stat : 20490 (java) S 20477 20477 17292 0 -1 1077944384 9575 0 0 0 111 1 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645164816496 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20491] ppid=20477 vsize=13980732 memory=1292 CPUtime=0.48 cores=1,3,5,7
/proc/20479/task/20491/stat : 20491 (java) S 20477 20477 17292 0 -1 1077944384 6338 0 0 0 48 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645163763952 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20492] ppid=20477 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20479/task/20492/stat : 20492 (java) S 20477 20477 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9593396 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645162711648 139645624575701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
[pid=20479/tid=20493] ppid=20477 vsize=13980732 memory=132604 CPUtime=0.07 cores=1,3,5,7
/proc/20479/task/20493/stat : 20493 (java) S 20477 20477 17292 0 -1 1077944384 613 0 0 0 3 4 0 0 20 0 15 0 9593405 14316269568 33151 18446744073709551615 4194304 4196468 140730906106704 139645161659184 139645624576642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31834112 140730906108338 140730906108514 140730906108514 140730906111951 0
Current children cumulated CPU time: 338.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133984 KiB
Child status: 0
Real time (s): 336.239
CPU time (s): 338.894
CPU user time (s): 338.673
CPU system time (s): 0.221117
CPU usage (%): 100.79
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 199512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.673
system time used= 0.221117
maximum resident set size= 201220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11973
involuntary context switches= 225
# summary of solver processes directly reported to runsolver:
# pid: 20477
# total CPU time (s): 338.894
# total CPU user time (s): 338.673
# total CPU system time (s): 0.221117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78507 second user time and 3.16465 second system time
The end