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 (15418 MiB free)
memory of node 1: 16384 MiB (12176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269363-1502764962/watcher-4269363-1502764962 -o /tmp/evaluation-result-4269363-1502764962/solver-4269363-1502764962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 730657122 HOME/instance-4269363-1502764962.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12460, runsolver pid=12457
[startup+0.100067 s]*
/proc/loadavg: 1.56 1.66 1.73 3/203 12463
/proc/meminfo: memFree=28255736/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13358712 memory=11556 CPUtime=0 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 2660 0 0 0 0 0 0 0 20 0 6 0 124002755 13679321088 2889 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3339678 2889 1350 1 0 3329175 0
[pid=12462/tid=12463] ppid=12460 vsize=13358712 memory=8508281356422187169 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 1667 0 0 0 0 0 0 0 20 0 6 0 124002755 13679321088 3153 18446744073709551615 4194304 4196468 140727955806256 140414535840336 140414424153061 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13358712 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124002756 13679321088 3153 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13358712 memory=140225038890624 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124002756 13679321088 3153 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124002756 13679321088 3153 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124002756 13679321088 3153 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 12932 KiB
[startup+0.210433 s]*
/proc/loadavg: 1.56 1.66 1.73 4/216 12476
/proc/meminfo: memFree=28243624/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13974352 memory=26504 CPUtime=0.08 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 5067 0 0 0 8 0 0 0 20 0 15 0 124002755 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3493588 6626 2731 1 0 3482964 0
[pid=12462/tid=12463] ppid=12460 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 3223 0 0 0 7 0 0 0 20 0 15 0 124002755 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414535834368 140414524282229 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13974352 memory=140225039968371 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13974352 memory=140225038890624 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002757 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124002758 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414008886560 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124002758 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414007834224 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) S 12460 12460 4674 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 124002760 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13974352 memory=140225038890624 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) R 12460 12460 4674 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 15 0 124002760 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531625562 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13974352 memory=140225038890624 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002765 14309736448 6626 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27880 KiB
[startup+0.310521 s]*
/proc/loadavg: 1.56 1.66 1.73 3/216 12476
/proc/meminfo: memFree=28230088/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13974352 memory=37436 CPUtime=0.26 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 8887 0 0 0 24 2 0 0 20 0 15 0 124002755 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3493588 9359 2985 1 0 3482964 0
[pid=12462/tid=12463] ppid=12460 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 6080 0 0 0 15 1 0 0 20 0 15 0 124002755 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414535837552 140414513516689 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002757 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124002758 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414008886560 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124002758 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414007834224 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) R 12460 12460 4674 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 124002760 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) R 12460 12460 4674 0 -1 4202560 283 0 0 0 2 0 0 0 20 0 15 0 124002760 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414508932224 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13974352 memory=140225038890624 CPUtime=0.05 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) S 12460 12460 4674 0 -1 1077944384 753 0 0 0 5 0 0 0 20 0 15 0 124002760 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414003622096 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13974352 memory=140225038890624 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002765 14309736448 9359 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38812 KiB
[startup+0.700983 s]
/proc/loadavg: 1.67 1.68 1.74 6/216 12476
/proc/meminfo: memFree=28212896/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13978684 memory=86660 CPUtime=1.33 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 13303 0 0 0 129 4 0 0 20 0 15 0 124002755 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3494671 21665 3158 1 0 3482964 0
[pid=12462/tid=12463] ppid=12460 vsize=13978684 memory=5788922476706229588 CPUtime=0.55 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 7894 0 0 0 52 3 0 0 20 0 15 0 124002755 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414535842768 140414531616150 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13978684 memory=7590642703118913872 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13978684 memory=280449821836872 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13978684 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13978684 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124002757 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13978684 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124002758 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414008886560 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124002758 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414007834224 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13978684 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) R 12460 12460 4674 0 -1 4202560 1209 0 0 0 22 0 0 0 20 0 15 0 124002760 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414005719504 140414515103080 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13978684 memory=2820 CPUtime=0.27 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) R 12460 12460 4674 0 -1 4202560 1217 0 0 0 27 0 0 0 20 0 15 0 124002760 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414004663056 140414515100999 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13978684 memory=4278483708103473607 CPUtime=0.27 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) R 12460 12460 4674 0 -1 4202560 1675 0 0 0 27 0 0 0 20 0 15 0 124002760 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531625562 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002765 14314172416 21665 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88036 KiB
[startup+1.50088 s]
/proc/loadavg: 1.67 1.68 1.74 6/216 12476
/proc/meminfo: memFree=28148164/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13980732 memory=163008 CPUtime=3.87 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 22137 0 0 0 379 8 0 0 20 0 15 0 124002755 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3495183 40752 3195 1 0 3483476 0
[pid=12462/tid=12463] ppid=12460 vsize=13980732 memory=280449821826992 CPUtime=1.34 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 8942 0 0 0 130 4 0 0 20 0 15 0 124002755 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414535843064 140414176162670 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13980732 memory=280449821805600 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124002756 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13980732 memory=3047711428313195656 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13980732 memory=3047711428313588876 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124002756 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13980732 memory=280449821887872 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124002757 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13980732 memory=280449821704432 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 40752 18446744073709551615 4194304 4196468 140727955806256 140414008886560 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414007834240 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13980732 memory=1376 CPUtime=2.11 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) S 12460 12460 4674 0 -1 1077944384 11455 0 0 0 209 2 0 0 20 0 15 0 124002760 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13980732 memory=1376 CPUtime=2.21 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) S 12460 12460 4674 0 -1 1077944384 13050 0 0 0 219 2 0 0 20 0 15 0 124002760 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13980732 memory=194704 CPUtime=0.7 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) S 12460 12460 4674 0 -1 1077944384 11161 0 0 0 68 2 0 0 20 0 15 0 124002760 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13980732 memory=60220 CPUtime=0.73 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 955 0 0 0 34 39 0 0 20 0 15 0 124002765 14316269568 48676 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 2389.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.83 1.77 1.80 3/214 12726
/proc/meminfo: memFree=30297936/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13980732 memory=196756 CPUtime=2449.67 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 83946 0 0 0 244900 67 0 0 20 0 15 0 124002755 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3495183 49189 3236 1 0 3483476 0
[pid=12462/tid=12463] ppid=12460 vsize=13980732 memory=196756 CPUtime=2440.66 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 23913 0 0 0 244058 8 0 0 20 0 15 0 124002755 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414535843456 140414179337216 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13980732 memory=196756 CPUtime=0.66 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 4503 0 0 0 60 6 0 0 20 0 15 0 124002756 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.66 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 4617 0 0 0 60 6 0 0 20 0 15 0 124002756 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13980732 memory=196756 CPUtime=0.66 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 5359 0 0 0 62 4 0 0 20 0 15 0 124002756 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13980732 memory=196756 CPUtime=0.66 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2462 0 0 0 62 4 0 0 20 0 15 0 124002756 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.51 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 5083 0 0 0 46 5 0 0 20 0 15 0 124002757 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13980732 memory=196756 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414008886624 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414007834240 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13980732 memory=196756 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13980732 memory=1376 CPUtime=2.11 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) S 12460 12460 4674 0 -1 1077944384 11455 0 0 0 209 2 0 0 20 0 15 0 124002760 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13980732 memory=1444 CPUtime=2.21 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) S 12460 12460 4674 0 -1 1077944384 13050 0 0 0 219 2 0 0 20 0 15 0 124002760 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13980732 memory=12304 CPUtime=0.7 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) S 12460 12460 4674 0 -1 1077944384 11161 0 0 0 68 2 0 0 20 0 15 0 124002760 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13980732 memory=1160 CPUtime=0.75 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 959 0 0 0 35 40 0 0 20 0 15 0 124002765 14316269568 49189 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 2449.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198132 KiB
[startup+2502.3 s]
/proc/loadavg: 1.87 1.79 1.80 3/219 12744
/proc/meminfo: memFree=30176372/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13980732 memory=303380 CPUtime=2509.74 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 85555 0 0 0 250905 69 0 0 20 0 15 0 124002755 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3495183 75845 3236 1 0 3483476 0
[pid=12462/tid=12463] ppid=12460 vsize=13980732 memory=303380 CPUtime=2500.61 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 24386 0 0 0 250052 9 0 0 20 0 15 0 124002755 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414535843456 140414177642918 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.68 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 4659 0 0 0 62 6 0 0 20 0 15 0 124002756 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.68 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 4777 0 0 0 62 6 0 0 20 0 15 0 124002756 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.68 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 5789 0 0 0 64 4 0 0 20 0 15 0 124002756 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13980732 memory=4148 CPUtime=0.68 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2566 0 0 0 64 4 0 0 20 0 15 0 124002756 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.52 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 5260 0 0 0 47 5 0 0 20 0 15 0 124002757 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13980732 memory=282816 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414008886624 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13980732 memory=60256 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414007834240 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13980732 memory=2320 CPUtime=2.11 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) S 12460 12460 4674 0 -1 1077944384 11457 0 0 0 209 2 0 0 20 0 15 0 124002760 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13980732 memory=282816 CPUtime=2.21 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) S 12460 12460 4674 0 -1 1077944384 13053 0 0 0 219 2 0 0 20 0 15 0 124002760 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.7 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) S 12460 12460 4674 0 -1 1077944384 11239 0 0 0 68 2 0 0 20 0 15 0 124002760 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13980732 memory=282816 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13980732 memory=1376 CPUtime=0.78 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 985 0 0 0 36 42 0 0 20 0 15 0 124002765 14316269568 75845 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 2509.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 304756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.6 s]
/proc/loadavg: 1.89 1.80 1.81 3/219 12744
/proc/meminfo: memFree=30133616/32770624 swapFree=67108764/67108860
[pid=12460] ppid=12457 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/12460/stat : 12460 (xcsp3-exec) S 12457 12460 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124002745 9740288 344 18446744073709551615 4194304 5098028 140725607599120 140725607597224 140539539792508 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 30916608 140725607604601 140725607604805 140725607604805 140725607608299 0
/proc/12460/statm: 2378 344 289 221 0 87 0
[pid=12462] ppid=12460 vsize=13980732 memory=346388 CPUtime=2520.06 cores=0,2,4,6
/proc/12462/stat : 12462 (java) S 12460 12460 4674 0 -1 1077944320 85659 0 0 0 251936 70 0 0 20 0 15 0 124002755 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140727955788800 140414531604215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
/proc/12462/statm: 3495183 86597 3236 1 0 3483476 0
[pid=12462/tid=12463] ppid=12460 vsize=13980732 memory=2968 CPUtime=2510.91 cores=0,2,4,6
/proc/12462/task/12463/stat : 12463 (java) R 12460 12460 4674 0 -1 4202560 24436 0 0 0 251081 10 0 0 20 0 15 0 124002755 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414535843456 140414179337018 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12464] ppid=12460 vsize=13980732 memory=2820 CPUtime=0.69 cores=0,2,4,6
/proc/12462/task/12464/stat : 12464 (java) S 12460 12460 4674 0 -1 1077944384 4663 0 0 0 63 6 0 0 20 0 15 0 124002756 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414494710160 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12465] ppid=12460 vsize=13980732 memory=928 CPUtime=0.69 cores=0,2,4,6
/proc/12462/task/12465/stat : 12465 (java) S 12460 12460 4674 0 -1 1077944384 4807 0 0 0 63 6 0 0 20 0 15 0 124002756 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414130927888 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12466] ppid=12460 vsize=13980732 memory=2320 CPUtime=0.69 cores=0,2,4,6
/proc/12462/task/12466/stat : 12466 (java) S 12460 12460 4674 0 -1 1077944384 5794 0 0 0 65 4 0 0 20 0 15 0 124002756 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414129875600 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12467] ppid=12460 vsize=13980732 memory=1724 CPUtime=0.69 cores=0,2,4,6
/proc/12462/task/12467/stat : 12467 (java) S 12460 12460 4674 0 -1 1077944384 2575 0 0 0 65 4 0 0 20 0 15 0 124002756 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414128822800 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12468] ppid=12460 vsize=13980732 memory=-8774313645642428999 CPUtime=0.53 cores=0,2,4,6
/proc/12462/task/12468/stat : 12468 (java) S 12460 12460 4674 0 -1 1077944384 5264 0 0 0 48 5 0 0 20 0 15 0 124002757 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414009940592 140414531615362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12469] ppid=12460 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12469/stat : 12469 (java) S 12460 12460 4674 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414008886624 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12470] ppid=12460 vsize=13980732 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12470/stat : 12470 (java) S 12460 12460 4674 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 124002758 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414007834240 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12471] ppid=12460 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12471/stat : 12471 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002760 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414006782544 140414531622811 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12472] ppid=12460 vsize=13980732 memory=3264 CPUtime=2.11 cores=0,2,4,6
/proc/12462/task/12472/stat : 12472 (java) S 12460 12460 4674 0 -1 1077944384 11457 0 0 0 209 2 0 0 20 0 15 0 124002760 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414005729392 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12473] ppid=12460 vsize=13980732 memory=4048 CPUtime=2.21 cores=0,2,4,6
/proc/12462/task/12473/stat : 12473 (java) S 12460 12460 4674 0 -1 1077944384 13053 0 0 0 219 2 0 0 20 0 15 0 124002760 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414004676592 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12474] ppid=12460 vsize=13980732 memory=36172 CPUtime=0.7 cores=0,2,4,6
/proc/12462/task/12474/stat : 12474 (java) S 12460 12460 4674 0 -1 1077944384 11239 0 0 0 68 2 0 0 20 0 15 0 124002760 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414003624304 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12475] ppid=12460 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/12462/task/12475/stat : 12475 (java) S 12460 12460 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124002761 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414002571744 140414531614421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
[pid=12462/tid=12476] ppid=12460 vsize=13980732 memory=644 CPUtime=0.78 cores=0,2,4,6
/proc/12462/task/12476/stat : 12476 (java) S 12460 12460 4674 0 -1 1077944384 987 0 0 0 36 42 0 0 20 0 15 0 124002765 14316269568 86597 18446744073709551615 4194304 4196468 140727955806256 140414001519536 140414531615362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38588416 140727955812785 140727955812961 140727955812961 140727955816399 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 347764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.61 s]
# the end of solver process 12460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000606 s, system=0.001213 s
[startup+2512.61 s]
# the end of solver process 12462 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.38 s, system=0.709379 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2512.61
CPU time (s): 2520.09
CPU user time (s): 2519.38
CPU system time (s): 0.709379
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 347764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.38
system time used= 0.709379
maximum resident set size= 346868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68673
involuntary context switches= 4889
# summary of solver processes directly reported to runsolver:
# pid: 12460,12462
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.38
# total CPU system time (s): 0.709379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6019 second user time and 23.8157 second system time
The end