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 (13723 MiB free)
memory of node 1: 16384 MiB (15269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281833-1503123184/watcher-4281833-1503123184 -o /tmp/evaluation-result-4281833-1503123184/solver-4281833-1503123184 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8622 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1479127266 HOME/instance-4281833-1503123184.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
solver pid=16550, runsolver pid=16547
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 1.86 1.82 1.77 3/205 16560
/proc/meminfo: memFree=29680572/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13574484 memory=19240 CPUtime=0.03 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 4118 0 0 0 2 1 0 0 20 0 9 0 114538895 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3393621 4810 2098 1 0 3383118 0
[pid=16552/tid=16553] ppid=16550 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 2822 0 0 0 2 0 0 0 20 0 9 0 114538895 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139925388910824 139925370743182 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114538896 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13574484 memory=139681003697792 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114538896 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114538896 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114538896 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13574484 memory=139681003697792 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114538897 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 114538897 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139924861850656 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 114538898 13900271616 4810 18446744073709551615 4194304 4196468 140737285802688 139924860797872 139925384685269 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20616 KiB
[startup+0.210512 s]*
/proc/loadavg: 1.87 1.82 1.77 5/211 16566
/proc/meminfo: memFree=29671388/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13974352 memory=28496 CPUtime=0.13 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 5521 0 0 0 12 1 0 0 20 0 15 0 114538895 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3493588 7124 2879 1 0 3482964 0
[pid=16552/tid=16553] ppid=16550 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 3462 0 0 0 9 1 0 0 20 0 15 0 114538895 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139925388911488 139925384686998 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13974352 memory=139681003697792 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114538896 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13974352 memory=139681003697792 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114538897 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114538897 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924861850656 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114538898 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924860797808 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 114538900 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13974352 memory=139681003697792 CPUtime=0.01 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) R 16550 16550 8563 0 -1 4202560 338 0 0 0 1 0 0 0 20 0 15 0 114538900 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925376912190 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13974352 memory=139681003697792 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538905 14309736448 7124 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29872 KiB
[startup+0.310315 s]*
/proc/loadavg: 1.87 1.82 1.77 4/211 16566
/proc/meminfo: memFree=29658904/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13978608 memory=39676 CPUtime=0.33 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 9160 0 0 0 30 3 0 0 20 0 15 0 114538895 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3494652 9919 3014 1 0 3482964 0
[pid=16552/tid=16553] ppid=16550 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 6374 0 0 0 17 2 0 0 20 0 15 0 114538895 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139925388896056 139925384696989 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13978608 memory=-8181448822998015349 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13978608 memory=4132769004644038186 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13978608 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114538896 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13978608 memory=139681003708385 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114538897 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114538897 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924861850656 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114538898 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924860797808 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 114538900 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 15 0 114538900 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 15 0 114538900 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538905 14314094592 9919 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41052 KiB
[startup+0.70171 s]
/proc/loadavg: 1.87 1.82 1.77 5/211 16566
/proc/meminfo: memFree=29649528/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13980732 memory=68096 CPUtime=1.21 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 13168 0 0 0 117 4 0 0 20 0 15 0 114538895 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3495183 17024 3169 1 0 3483476 0
[pid=16552/tid=16553] ppid=16550 vsize=13980732 memory=7165352523811207221 CPUtime=0.58 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 8568 0 0 0 55 3 0 0 20 0 15 0 114538895 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139925388903696 139925368755580 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13980732 memory=6441383594720125521 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13980732 memory=7007707949394126417 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13980732 memory=-7741295726275825013 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924861850656 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114538898 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924860797808 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13980732 memory=139680859300464 CPUtime=0.14 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) R 16550 16550 8563 0 -1 4202560 1115 0 0 0 14 0 0 0 20 0 15 0 114538900 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924858680536 139925366219648 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) R 16550 16550 8563 0 -1 4202560 559 0 0 0 15 0 0 0 20 0 15 0 114538900 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924857627736 139925366220361 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13980732 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 1619 0 0 0 31 0 0 0 20 0 15 0 114538900 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13980732 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538905 14316269568 17024 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69472 KiB
[startup+1.50086 s]
/proc/loadavg: 1.87 1.82 1.77 5/211 16566
/proc/meminfo: memFree=29602900/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13980732 memory=149820 CPUtime=3.27 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 20201 0 0 0 321 6 0 0 20 0 15 0 114538895 14316269568 37455 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3495183 37455 3186 1 0 3483476 0
[pid=16552/tid=16553] ppid=16550 vsize=13980732 memory=25334 CPUtime=1.37 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 8945 0 0 0 133 4 0 0 20 0 15 0 114538895 14316269568 37455 18446744073709551615 4194304 4196468 140737285802688 139925388913152 139925022512342 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 37455 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 37455 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114538896 14316269568 37455 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13980732 memory=139680859292057 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=16552/tid=16558] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.12 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 4426 0 0 0 9 3 0 0 20 0 15 0 114538897 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924861850720 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13980732 memory=158528 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 114538898 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924860797824 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13980732 memory=158528 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13980732 memory=158528 CPUtime=2.08 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 15944 0 0 0 206 2 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13980732 memory=4116 CPUtime=1.97 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 11462 0 0 0 196 1 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.56 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 6367 0 0 0 55 1 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.45 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1062 0 0 0 18 27 0 0 20 0 15 0 114538905 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 2388.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 159904 KiB
[startup+2442.3 s]
/proc/loadavg: 1.70 1.72 1.76 3/211 16885
/proc/meminfo: memFree=30540880/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13980732 memory=158528 CPUtime=2448.08 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 74184 0 0 0 244767 41 0 0 20 0 15 0 114538895 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3495183 39632 3242 1 0 3483476 0
[pid=16552/tid=16553] ppid=16550 vsize=13980732 memory=158528 CPUtime=2442.03 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 21507 0 0 0 244197 6 0 0 20 0 15 0 114538895 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139925388914592 139925022450691 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 2544 0 0 0 18 1 0 0 20 0 15 0 114538896 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 2923 0 0 0 18 1 0 0 20 0 15 0 114538896 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 3082 0 0 0 18 2 0 0 20 0 15 0 114538896 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 3429 0 0 0 17 2 0 0 20 0 15 0 114538896 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.13 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 4432 0 0 0 10 3 0 0 20 0 15 0 114538897 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13980732 memory=158528 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924861850720 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13980732 memory=158528 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 114538898 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924860797824 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13980732 memory=158528 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13980732 memory=1376 CPUtime=2.08 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 15946 0 0 0 206 2 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13980732 memory=158528 CPUtime=1.97 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 11465 0 0 0 196 1 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.56 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 6369 0 0 0 55 1 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.47 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1083 0 0 0 19 28 0 0 20 0 15 0 114538905 14316269568 39632 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 2448.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 159904 KiB
[startup+2502.3 s]
/proc/loadavg: 1.69 1.71 1.76 3/215 16902
/proc/meminfo: memFree=30532516/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13980732 memory=158536 CPUtime=2508.12 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 75516 0 0 0 250770 42 0 0 20 0 15 0 114538895 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3495183 39634 3242 1 0 3483476 0
[pid=16552/tid=16553] ppid=16550 vsize=13980732 memory=158536 CPUtime=2502.02 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 21803 0 0 0 250196 6 0 0 20 0 15 0 114538895 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139925388914672 139925023850622 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13980732 memory=158536 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 2558 0 0 0 18 1 0 0 20 0 15 0 114538896 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13980732 memory=158536 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 3207 0 0 0 19 1 0 0 20 0 15 0 114538896 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 3085 0 0 0 18 2 0 0 20 0 15 0 114538896 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13980732 memory=158528 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 3506 0 0 0 17 2 0 0 20 0 15 0 114538896 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13980732 memory=158536 CPUtime=0.13 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 4603 0 0 0 10 3 0 0 20 0 15 0 114538897 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13980732 memory=840 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924861850720 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13980732 memory=158536 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 114538898 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924860797824 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13980732 memory=1376 CPUtime=2.08 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 15946 0 0 0 206 2 0 0 20 0 15 0 114538900 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13980732 memory=158536 CPUtime=1.97 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 11577 0 0 0 196 1 0 0 20 0 15 0 114538900 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13980732 memory=158536 CPUtime=0.56 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 6738 0 0 0 55 1 0 0 20 0 15 0 114538900 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13980732 memory=1376 CPUtime=0.48 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1089 0 0 0 19 29 0 0 20 0 15 0 114538905 14316269568 39634 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 2508.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 159912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.2 s]
/proc/loadavg: 1.74 1.72 1.76 3/215 16903
/proc/meminfo: memFree=30530444/32770624 swapFree=67108860/67108860
[pid=16550] ppid=16547 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/16550/stat : 16550 (xcsp3-exec) S 16547 16550 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114538888 9740288 344 18446744073709551615 4194304 5098028 140724680874768 140724680872872 140401956889212 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 7716864 140724680876408 140724680876613 140724680876613 140724680880107 0
/proc/16550/statm: 2378 344 289 221 0 87 0
[pid=16552] ppid=16550 vsize=13980732 memory=160584 CPUtime=2520.03 cores=1,3,5,7
/proc/16552/stat : 16552 (java) S 16550 16550 8563 0 -1 1077944320 75524 0 0 0 251961 42 0 0 20 0 15 0 114538895 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 140737285785232 139925384675063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
/proc/16552/statm: 3495183 40146 3242 1 0 3483476 0
[pid=16552/tid=16553] ppid=16550 vsize=13980732 memory=14973360639576424 CPUtime=2513.92 cores=1,3,5,7
/proc/16552/task/16553/stat : 16553 (java) R 16550 16550 8563 0 -1 4202560 21804 0 0 0 251386 6 0 0 20 0 15 0 114538895 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139925388914672 139925023518323 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16554] ppid=16550 vsize=13980732 memory=840 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16554/stat : 16554 (java) S 16550 16550 8563 0 -1 1077944384 2559 0 0 0 19 1 0 0 20 0 15 0 114538896 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139925341641872 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16555] ppid=16550 vsize=13980732 memory=16436 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16555/stat : 16555 (java) S 16550 16550 8563 0 -1 1077944384 3208 0 0 0 19 1 0 0 20 0 15 0 114538896 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139925340589072 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16556] ppid=16550 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16552/task/16556/stat : 16556 (java) S 16550 16550 8563 0 -1 1077944384 3087 0 0 0 18 2 0 0 20 0 15 0 114538896 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139925339536272 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16557] ppid=16550 vsize=13980732 memory=-7882018838379555936 CPUtime=0.19 cores=1,3,5,7
/proc/16552/task/16557/stat : 16557 (java) S 16550 16550 8563 0 -1 1077944384 3507 0 0 0 17 2 0 0 20 0 15 0 114538896 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139925338483472 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16558] ppid=16550 vsize=13980732 memory=318911389953687852 CPUtime=0.13 cores=1,3,5,7
/proc/16552/task/16558/stat : 16558 (java) S 16550 16550 8563 0 -1 1077944384 4605 0 0 0 10 3 0 0 20 0 15 0 114538897 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924862904688 139925384686210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16559] ppid=16550 vsize=13980732 memory=14127836181038450 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16559/stat : 16559 (java) S 16550 16550 8563 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 114538897 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924861850720 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16560] ppid=16550 vsize=13980732 memory=8292148123324110535 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16560/stat : 16560 (java) S 16550 16550 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 114538898 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924860797824 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16561] ppid=16550 vsize=13980732 memory=302058041082481239 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16561/stat : 16561 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924859746128 139925384693659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16562] ppid=16550 vsize=13980732 memory=8292148123324110535 CPUtime=2.08 cores=1,3,5,7
/proc/16552/task/16562/stat : 16562 (java) S 16550 16550 8563 0 -1 1077944384 15946 0 0 0 206 2 0 0 20 0 15 0 114538900 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924858694512 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16563] ppid=16550 vsize=13980732 memory=6944656592455360569 CPUtime=1.97 cores=1,3,5,7
/proc/16552/task/16563/stat : 16563 (java) S 16550 16550 8563 0 -1 1077944384 11577 0 0 0 196 1 0 0 20 0 15 0 114538900 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924857641712 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16564] ppid=16550 vsize=13980732 memory=8292148123324110535 CPUtime=0.56 cores=1,3,5,7
/proc/16552/task/16564/stat : 16564 (java) S 16550 16550 8563 0 -1 1077944384 6738 0 0 0 55 1 0 0 20 0 15 0 114538900 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924856588912 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16565] ppid=16550 vsize=13980732 memory=279361718583536 CPUtime=0 cores=1,3,5,7
/proc/16552/task/16565/stat : 16565 (java) S 16550 16550 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114538900 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924855536352 139925384685269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
[pid=16552/tid=16566] ppid=16550 vsize=13980732 memory=279361718583536 CPUtime=0.49 cores=1,3,5,7
/proc/16552/task/16566/stat : 16566 (java) S 16550 16550 8563 0 -1 1077944384 1089 0 0 0 20 29 0 0 20 0 15 0 114538905 14316269568 40146 18446744073709551615 4194304 4196468 140737285802688 139924854483632 139925384686210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 12644352 140737285808561 140737285808737 140737285808737 140737285812175 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 161960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.21 s]
# the end of solver process 16550 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.62 s, system=0.435049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2514.21
CPU time (s): 2520.05
CPU user time (s): 2519.62
CPU system time (s): 0.435049
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 252188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.435049
maximum resident set size= 250812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76261
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59838
involuntary context switches= 1125
# summary of solver processes directly reported to runsolver:
# pid: 16550
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.62
# total CPU system time (s): 0.435049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0077 second user time and 23.3562 second system time
The end