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 (9404 MiB free)
memory of node 1: 16384 MiB (11780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394246-1568331999/watcher-4394246-1568331999 -o /tmp/evaluation-result-4394246-1568331999/solver-4394246-1568331999 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 44428564 HOME/instance-4394246-1568331999.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=29733, runsolver pid=29730
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 7.16 7.41 7.61 6/233 29749
/proc/meminfo: memFree=21677936/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15144768 memory=28740 CPUtime=0.13 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 5671 0 0 0 12 1 0 0 20 0 15 0 409114868 15508242432 7185 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3786192 7185 3116 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 409114868 15508242432 7185 33554432000 4194304 4196468 140736597722608 140643316555664 140643296404830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114870 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) R 29733 29733 19528 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642776721392 140643295810256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) R 29733 29733 19528 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642774616304 140643290475360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 7185 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30188 KiB
[startup+0.210757 s]*
/proc/loadavg: 7.16 7.41 7.61 7/233 29749
/proc/meminfo: memFree=21664212/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15144768 memory=41204 CPUtime=0.34 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 409114868 15508242432 10301 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3786192 10301 3319 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 6592 0 0 0 17 2 0 0 20 0 15 0 409114868 15508242432 10301 33554432000 4194304 4196468 140736597722608 140643316558464 140643294211830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15144768 memory=3005644 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15144768 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 409114873 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642774616304 140643296404830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15508242432 10301 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42652 KiB
[startup+0.319348 s]*
/proc/loadavg: 7.16 7.41 7.61 7/233 29749
/proc/meminfo: memFree=21656316/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15149024 memory=50516 CPUtime=0.54 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 10959 0 0 0 50 4 0 0 20 0 15 0 409114868 15512600576 12629 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3787256 12629 3369 1 0 3748377 0
[pid=29735/tid=29736] ppid=29733 vsize=15149024 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 7849 0 0 0 28 3 0 0 20 0 15 0 409114868 15512600576 12629 33554432000 4194304 4196468 140736597722608 140643316559888 140643312346269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15149024 memory=3003589 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15512600576 12629 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 727 0 0 0 5 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 242 0 0 0 4 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0.12 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 409114873 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15149024 memory=140404807587456 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15512600576 12694 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51964 KiB
[startup+0.708341 s]
/proc/loadavg: 7.16 7.41 7.61 8/233 29749
/proc/meminfo: memFree=21633948/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15152172 memory=117348 CPUtime=1.82 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 14464 0 0 0 177 5 0 0 20 0 15 0 409114868 15515824128 29307 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3788043 29307 3448 1 0 3749145 0
[pid=29735/tid=29736] ppid=29733 vsize=15152172 memory=2116 CPUtime=0.69 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) R 29733 29733 19528 0 -1 4202560 8586 0 0 0 65 4 0 0 20 0 15 0 409114868 15515824128 29337 33554432000 4194304 4196468 140736597722608 140643316538592 140643305004061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15152172 memory=520 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15152172 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114869 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15152172 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409114869 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15152172 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409114870 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15152172 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409114871 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642779878816 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409114871 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642778826224 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15151148 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114873 15514775552 29337 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15152172 memory=7302135314614015848 CPUtime=0.39 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) R 29733 29733 19528 0 -1 4202560 1525 0 0 0 39 0 0 0 20 0 15 0 409114873 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642776714352 140643295818483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15152172 memory=7372501795344050801 CPUtime=0.39 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) R 29733 29733 19528 0 -1 4202560 1385 0 0 0 39 0 0 0 20 0 15 0 409114873 15515824128 29337 33554432000 4194304 4196468 140736597722608 140642775655984 140643305041306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15152172 memory=7223887401239728208 CPUtime=0.32 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) R 29733 29733 19528 0 -1 4202560 1664 0 0 0 32 0 0 0 20 0 15 0 409114873 15515824128 29346 33554432000 4194304 4196468 140736597722608 140642774616304 140643291285312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409114874 15514775552 29346 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15151148 memory=7954309567434023767 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409114874 15514775552 29346 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15265300 KiB
Current children cumulated memory: 118796 KiB
[startup+1.51034 s]
/proc/loadavg: 7.16 7.41 7.61 9/233 29749
/proc/meminfo: memFree=21512812/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89307 0 0 0 231565 45 0 0 20 0 19 0 409114868 15856635904 206579 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 206579 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=824268 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 206579 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1507 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3819 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.2 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2828 0 0 0 17 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1330 0 0 0 18 3 0 0 20 0 19 0 409114869 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=280809392123936 CPUtime=0.09 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3535 0 0 0 7 2 0 0 20 0 19 0 409114870 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=1448 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=824268 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.17 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 17 0 0 20 0 19 0 409114874 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=1448 CPUtime=499.05 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 962 0 0 0 49905 0 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642759088792 140642955478007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=826316 CPUtime=498.8 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5372 0 0 0 49877 3 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642761198160 140642956558871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=1448 CPUtime=496.41 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1011 0 0 0 49641 0 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642760142856 140642955477935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=826316 CPUtime=498.61 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3905 0 0 0 49855 6 0 0 20 0 19 0 409122987 15856635904 206579 33554432000 4194304 4196468 140736597722608 140642758037552 140642955478027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2316.1 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 827764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.501 s]
/proc/loadavg: 8.21 8.22 7.99 12/237 30059
/proc/meminfo: memFree=21289168/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15484996 memory=828364 CPUtime=2400.33 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89427 0 0 0 239987 46 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 207091 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=828364 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1520 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3834 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2837 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1341 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.11 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3538 0 0 0 8 3 0 0 20 0 19 0 409114870 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=828364 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=828364 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=38296 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.18 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 18 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=3504 CPUtime=520.08 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 975 0 0 0 52008 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642759088872 140642955477930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.78 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5403 0 0 0 51975 3 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642761198048 140642955478012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=828364 CPUtime=517.45 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1022 0 0 0 51745 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642760142936 140642955489626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.59 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3919 0 0 0 51953 6 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642758037472 140642955598829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 829812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.534 s]
# the end of solver process 29733 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001162 s, system=0.001162 s
[startup+603.588 s]
# the end of solver process 29735 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.17 s, system=0.480227 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
[startup+603.501 s]
/proc/loadavg: 8.21 8.22 7.99 12/237 30059
/proc/meminfo: memFree=21289168/32770624 swapFree=66939828/67108860
[pid=29733] ppid=29730 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29733/stat : 29733 (xcsp3-exec) S 29730 29733 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409114868 115843072 362 33554432000 4194304 5098028 140731244958016 140731244956120 139715222573692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12484608 140731244966780 140731244967021 140731244967021 140731244969930 0
/proc/29733/statm: 28282 362 304 221 0 87 0
[pid=29735] ppid=29733 vsize=15484996 memory=828364 CPUtime=2400.33 cores=0,2,4,6
/proc/29735/stat : 29735 (java) S 29733 29733 19528 0 -1 1077944320 89427 0 0 0 239987 46 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140736597705152 140643312324343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
/proc/29735/statm: 3871249 207091 3519 1 0 3832351 0
[pid=29735/tid=29736] ppid=29733 vsize=15484996 memory=828364 CPUtime=1.35 cores=0,2,4,6
/proc/29735/task/29736/stat : 29736 (java) S 29733 29733 19528 0 -1 1077944384 9430 0 0 0 130 5 0 0 20 0 19 0 409114868 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643316565120 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29737] ppid=29733 vsize=15484996 memory=826316 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29737/stat : 29737 (java) S 29733 29733 19528 0 -1 1077944384 1520 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140643268876560 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29738] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29738/stat : 29738 (java) S 29733 29733 19528 0 -1 1077944384 3834 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642903841168 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29739] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.24 cores=0,2,4,6
/proc/29735/task/29739/stat : 29739 (java) S 29733 29733 19528 0 -1 1077944384 2837 0 0 0 21 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642902788624 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29740] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.25 cores=0,2,4,6
/proc/29735/task/29740/stat : 29740 (java) S 29733 29733 19528 0 -1 1077944384 1341 0 0 0 22 3 0 0 20 0 19 0 409114869 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642901736080 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29741] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.11 cores=0,2,4,6
/proc/29735/task/29741/stat : 29741 (java) S 29733 29733 19528 0 -1 1077944384 3538 0 0 0 8 3 0 0 20 0 19 0 409114870 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642780932592 140643312335490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29742] ppid=29733 vsize=15484996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29742/stat : 29742 (java) S 29733 29733 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642779878880 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29743] ppid=29733 vsize=15484996 memory=826316 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29743/stat : 29743 (java) S 29733 29733 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409114871 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642778826240 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29744] ppid=29733 vsize=15484996 memory=828364 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29744/stat : 29744 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642777774800 140643312342939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29745] ppid=29733 vsize=15484996 memory=828364 CPUtime=3.09 cores=0,2,4,6
/proc/29735/task/29745/stat : 29745 (java) S 29733 29733 19528 0 -1 1077944384 23136 0 0 0 307 2 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642776721392 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29746] ppid=29733 vsize=15484996 memory=1448 CPUtime=2.56 cores=0,2,4,6
/proc/29735/task/29746/stat : 29746 (java) S 29733 29733 19528 0 -1 1077944384 16032 0 0 0 255 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642775668848 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29747] ppid=29733 vsize=15484996 memory=1448 CPUtime=0.79 cores=0,2,4,6
/proc/29735/task/29747/stat : 29747 (java) S 29733 29733 19528 0 -1 1077944384 7620 0 0 0 78 1 0 0 20 0 19 0 409114873 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642774616304 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29748] ppid=29733 vsize=15484996 memory=38296 CPUtime=0 cores=0,2,4,6
/proc/29735/task/29748/stat : 29748 (java) S 29733 29733 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642773564000 140643312334549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29749] ppid=29733 vsize=15484996 memory=828364 CPUtime=0.18 cores=0,2,4,6
/proc/29735/task/29749/stat : 29749 (java) S 29733 29733 19528 0 -1 1077944384 918 0 0 0 0 18 0 0 20 0 19 0 409114874 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642772511536 140643312335490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29841] ppid=29733 vsize=15484996 memory=3504 CPUtime=520.08 cores=0,2,4,6
/proc/29735/task/29841/stat : 29841 (java) R 29733 29733 19528 0 -1 4202560 975 0 0 0 52008 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642759088872 140642955477930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29842] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.78 cores=0,2,4,6
/proc/29735/task/29842/stat : 29842 (java) R 29733 29733 19528 0 -1 4202560 5403 0 0 0 51975 3 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642761198048 140642955478012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29843] ppid=29733 vsize=15484996 memory=828364 CPUtime=517.45 cores=0,2,4,6
/proc/29735/task/29843/stat : 29843 (java) R 29733 29733 19528 0 -1 4202560 1022 0 0 0 51745 0 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642760142936 140642955489626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
[pid=29735/tid=29844] ppid=29733 vsize=15484996 memory=1448 CPUtime=519.59 cores=0,2,4,6
/proc/29735/task/29844/stat : 29844 (java) R 29733 29733 19528 0 -1 4202560 3919 0 0 0 51953 6 0 0 20 0 19 0 409122987 15856635904 207091 33554432000 4194304 4196468 140736597722608 140642758037472 140642955598829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20701184 140736597726191 140736597726362 140736597726362 140736597729231 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 829812 KiB
Child status: 143
Real time (s): 603.588
CPU time (s): 2400.65
CPU user time (s): 2400.17
CPU system time (s): 0.480227
CPU usage (%): 397.731
Max. virtual memory (cumulated for all children) (KiB): 15599756
Max. memory (cumulated for all children) (KiB): 1135016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.17
system time used= 0.480227
maximum resident set size= 1146660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19254
involuntary context switches= 43918
# summary of solver processes directly reported to runsolver:
# pid: 29733,29735
# total CPU time (s): 2400.65
# total CPU user time (s): 2400.17
# total CPU system time (s): 0.480227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86007 second user time and 6.73019 second system time
The end