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 (14936 MiB free)
memory of node 1: 16384 MiB (15325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283640-1503183063/watcher-4283640-1503183063 -o /tmp/evaluation-result-4283640-1503183063/solver-4283640-1503183063 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1065817913 HOME/instance-4283640-1503183063.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24237, runsolver pid=24234
[startup+0.100137 s]*
/proc/loadavg: 1.47 1.52 1.56 3/198 24240
/proc/meminfo: memFree=30987320/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13356504 memory=11212 CPUtime=0 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 2566 0 0 0 0 0 0 0 20 0 6 0 120501345 13677060096 2803 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3339126 2803 1291 1 0 3329096 0
[pid=24239/tid=24240] ppid=24237 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 1370 0 0 0 0 0 0 0 20 0 6 0 120501345 13677060096 2835 18446744073709551615 4194304 4196468 140730110113280 140585862362424 140585858145341 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13356504 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120501345 13677060096 2835 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13358712 memory=140595527186048 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120501345 13679321088 2835 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120501345 13679321088 2835 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120501345 13679321088 2835 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12592 KiB
[startup+0.210008 s]*
/proc/loadavg: 1.47 1.52 1.56 3/211 24253
/proc/meminfo: memFree=30977288/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13974352 memory=22104 CPUtime=0.07 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 4959 0 0 0 7 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3493588 5526 2725 1 0 3482964 0
[pid=24239/tid=24240] ppid=24237 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 3118 0 0 0 5 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585862347152 140585858143389 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13974352 memory=288370971678897792 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13974352 memory=140595527186048 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13974352 memory=140595527186048 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) R 24237 24237 8557 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585839770411 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13974352 memory=140595527186048 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501355 14309736448 5526 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23484 KiB
[startup+0.31005 s]*
/proc/loadavg: 1.47 1.52 1.56 3/211 24253
/proc/meminfo: memFree=30959604/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13974352 memory=36712 CPUtime=0.25 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 8803 0 0 0 23 2 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3493588 9178 2974 1 0 3482964 0
[pid=24239/tid=24240] ppid=24237 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 6036 0 0 0 14 1 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585862356336 140585842201950 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120501347 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 591 0 0 0 2 0 0 0 20 0 15 0 120501350 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13974352 memory=140595527186048 CPUtime=0.05 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 767 0 0 0 5 0 0 0 20 0 15 0 120501350 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13974352 memory=140595527186048 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501355 14309736448 9178 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38092 KiB
[startup+0.707906 s]
/proc/loadavg: 1.47 1.52 1.56 4/211 24253
/proc/meminfo: memFree=30948060/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=90364 CPUtime=1.15 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 13021 0 0 0 111 4 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 22591 3173 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 8475 0 0 0 50 4 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585862358992 140585502393339 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=8458433173656909621 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=7086521019830130256 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13980732 memory=4420 CPUtime=0.18 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 1249 0 0 0 18 0 0 0 20 0 15 0 120501350 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13980732 memory=6628 CPUtime=0.16 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 644 0 0 0 16 0 0 0 20 0 15 0 120501350 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13980732 memory=8836 CPUtime=0.24 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 1345 0 0 0 24 0 0 0 20 0 15 0 120501350 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501355 14316269568 22591 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 91744 KiB
[startup+1.5008 s]
/proc/loadavg: 1.47 1.52 1.56 5/211 24253
/proc/meminfo: memFree=30890112/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=146000 CPUtime=3.67 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 26353 0 0 0 360 7 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 36500 3202 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 9354 0 0 0 128 4 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585862359744 140585504620603 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=6297831537088227440 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 36500 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=212652 CPUtime=8.4 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 30395 0 0 0 831 9 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 53163 3226 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 9966 0 0 0 296 5 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585862358896 140585503795094 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 120501345 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=872 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13980732 memory=7344 CPUtime=2.34 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 8787 0 0 0 233 1 0 0 20 0 15 0 120501350 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13980732 memory=1628 CPUtime=2.36 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 4834 0 0 0 236 0 0 0 20 0 15 0 120501350 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13980732 memory=14340 CPUtime=0.61 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 4448 0 0 0 60 1 0 0 20 0 15 0 120501350 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 120501355 14316269568 53163 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 8.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214032 KiB
[startup+4.8008 s]
/proc/loadavg: 1.67 1.56 1.58 3/211 24253
/proc/meminfo: memFree=30770484/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=225564 CPUtime=10.56 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 30577 0 0 0 1045 11 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 56391 3232 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=-8774313645642428999 CPUtime=4.6 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 9975 0 0 0 455 5 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585862358344 140585504936738 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=281190838049424 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=-6586668835053290911 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=9208 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=6441361776102889825 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=7519151349382408790 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=7451894300419320161 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13980732 memory=214940 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13980732 memory=6944656592387989600 CPUtime=2.64 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 8845 0 0 0 263 1 0 0 20 0 15 0 120501350 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13980732 memory=6944656592455360604 CPUtime=2.55 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 4867 0 0 0 255 0 0 0 20 0 15 0 120501350 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13980732 memory=6943526294502006880 CPUtime=0.64 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 4492 0 0 0 63 1 0 0 20 0 15 0 120501350 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13980732 memory=-7361174377247368086 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13980732 memory=-7595754389018307680 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 120501355 14316269568 56391 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226944 KiB
[startup+5.20074 s]
/proc/loadavg: 1.67 1.56 1.58 4/211 24253
/proc/meminfo: memFree=30768880/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=225624 CPUtime=11.08 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 30600 0 0 0 1097 11 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 56406 3232 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=288284472137496769 CPUtime=5 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 9976 0 0 0 495 5 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585862360168 140585504872860 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=3977578095657115600 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=281190837780720 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=7018122596631996269 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=7162246598014627694 CPUtime=0.01 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 120501345 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=7229549813381245077 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13980732 memory=281190838615712 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13980732 memory=0 CPUtime=2.69 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) S 24237 24237 8557 0 -1 1077944384 8850 0 0 0 268 1 0 0 20 0 15 0 120501350 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585332418544 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13980732 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 4877 0 0 0 262 0 0 0 20 0 15 0 120501350 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13980732 memory=281190838629104 CPUtime=0.65 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 4499 0 0 0 64 1 0 0 20 0 15 0 120501350 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 120501355 14316269568 56406 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 227004 KiB
[startup+5.40072 s]
/proc/loadavg: 1.67 1.56 1.58 4/211 24253
/proc/meminfo: memFree=30768880/32770624 swapFree=67105588/67108860
[pid=24237] ppid=24234 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24237/stat : 24237 (xcsp3-exec) S 24234 24237 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120501335 9740288 345 18446744073709551615 4194304 5098028 140724784562784 140724784560888 140620891357820 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 32940032 140724784570744 140724784570949 140724784570949 140724784574443 0
/proc/24237/statm: 2378 345 289 221 0 87 0
[pid=24239] ppid=24237 vsize=13980732 memory=225656 CPUtime=11.33 cores=1,3,5,7
/proc/24239/stat : 24239 (java) S 24237 24237 8557 0 -1 1077944320 30796 0 0 0 1122 11 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140730110095824 140585858121463 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
/proc/24239/statm: 3495183 56414 3232 1 0 3483476 0
[pid=24239/tid=24240] ppid=24237 vsize=13980732 memory=0 CPUtime=5.19 cores=1,3,5,7
/proc/24239/task/24240/stat : 24240 (java) R 24237 24237 8557 0 -1 4202560 9977 0 0 0 514 5 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585862360976 140585839770511 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24241] ppid=24237 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24239/task/24241/stat : 24241 (java) S 24237 24237 8557 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585823402256 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24242] ppid=24237 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24239/task/24242/stat : 24242 (java) S 24237 24237 8557 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585457682832 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24243] ppid=24237 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24239/task/24243/stat : 24243 (java) S 24237 24237 8557 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585456630288 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24244] ppid=24237 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24239/task/24244/stat : 24244 (java) S 24237 24237 8557 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 120501345 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585455577744 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24245] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24245/stat : 24245 (java) S 24237 24237 8557 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585336629744 140585858132610 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24246] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24246/stat : 24246 (java) S 24237 24237 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585335575968 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24247] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24247/stat : 24247 (java) S 24237 24237 8557 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 120501347 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585334523376 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24248] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24248/stat : 24248 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585333471952 140585858140059 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24249] ppid=24237 vsize=13980732 memory=0 CPUtime=2.69 cores=1,3,5,7
/proc/24239/task/24249/stat : 24249 (java) R 24237 24237 8557 0 -1 4202560 8858 0 0 0 268 1 0 0 20 0 15 0 120501350 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585332409824 140585842027334 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24250] ppid=24237 vsize=13980732 memory=0 CPUtime=2.65 cores=1,3,5,7
/proc/24239/task/24250/stat : 24250 (java) S 24237 24237 8557 0 -1 1077944384 4975 0 0 0 265 0 0 0 20 0 15 0 120501350 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585331366000 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24251] ppid=24237 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/24239/task/24251/stat : 24251 (java) S 24237 24237 8557 0 -1 1077944384 4525 0 0 0 64 1 0 0 20 0 15 0 120501350 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585330313456 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24252] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24252/stat : 24252 (java) S 24237 24237 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120501350 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585329261152 140585858131669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
[pid=24239/tid=24253] ppid=24237 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24239/task/24253/stat : 24253 (java) S 24237 24237 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 120501355 14316269568 56414 18446744073709551615 4194304 4196468 140730110113280 140585328208688 140585858132610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35258368 140730110116273 140730110116449 140730110116449 140730110119887 0
Current children cumulated CPU time: 11.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 227036 KiB
Child status: 0
Real time (s): 5.42952
CPU time (s): 11.3799
CPU user time (s): 11.257
CPU system time (s): 0.122896
CPU usage (%): 209.593
Max. virtual memory (cumulated for all children) (KiB): 13991948
Max. memory (cumulated for all children) (KiB): 227036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.257
system time used= 0.122896
maximum resident set size= 226292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2709
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 24237
# total CPU time (s): 11.3799
# total CPU user time (s): 11.257
# total CPU system time (s): 0.122896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059366 second user time and 0.093429 second system time
The end