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 (14991 MiB free)
memory of node 1: 16384 MiB (15578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269817-1502786344/watcher-4269817-1502786344 -o /tmp/evaluation-result-4269817-1502786344/solver-4269817-1502786344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1555849106 HOME/instance-4269817-1502786344.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5228, runsolver pid=5225
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 2.13 2.08 2.08 3/198 5230
/proc/meminfo: memFree=31302660/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 2422 0 0 0 0 0 0 0 20 0 6 0 66975049 13677060096 2664 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3339126 2664 1203 1 0 3329096 0
[pid=5230/tid=5231] ppid=5228 vsize=13356504 memory=1404226546251833994 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 1288 0 0 0 0 0 0 0 20 0 6 0 66975049 13677060096 2730 18446744073709551615 4194304 4196468 140732807379248 139626112825448 139626094266197 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13356504 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66975050 13677060096 2730 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13356504 memory=140438837724800 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 66975050 13677060096 2730 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 66975050 13677060096 2796 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66975050 13677060096 2796 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12032 KiB
[startup+0.209972 s]*
/proc/loadavg: 2.13 2.08 2.08 4/212 5244
/proc/meminfo: memFree=31287124/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13974352 memory=27632 CPUtime=0.1 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 5314 0 0 0 9 1 0 0 20 0 15 0 66975049 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3493588 6908 2749 1 0 3482964 0
[pid=5230/tid=5231] ppid=5228 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 3464 0 0 0 7 0 0 0 20 0 15 0 66975049 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139626112814000 139626108595606 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13974352 memory=4294968654 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13974352 memory=140438838130377 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13974352 memory=140438837724800 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975051 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66975052 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625585141024 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66975052 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625584088688 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) R 5228 5228 11586 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 66975054 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626108594818 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) R 5228 5228 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66975054 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13974352 memory=140438837724800 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 66975054 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13974352 memory=140438837724800 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975058 14309736448 6908 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29008 KiB
[startup+0.310194 s]*
/proc/loadavg: 2.13 2.08 2.08 4/212 5244
/proc/meminfo: memFree=31276968/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13974352 memory=37032 CPUtime=0.29 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 8891 0 0 0 26 3 0 0 20 0 15 0 66975049 14309736448 9258 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3493588 9258 2976 1 0 3482964 0
[pid=5230/tid=5231] ppid=5228 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 6132 0 0 0 16 2 0 0 20 0 15 0 66975049 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139626112816432 139625714125204 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975050 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975051 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66975052 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139625585141024 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66975052 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139625584088688 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14309736448 9324 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) R 5228 5228 11586 0 -1 4202560 589 0 0 0 2 0 0 0 20 0 15 0 66975054 14309736448 9836 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626094598001 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) S 5228 5228 11586 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 15 0 66975054 14309736448 9836 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13974352 memory=140438837724800 CPUtime=0.06 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 727 0 0 0 6 0 0 0 20 0 15 0 66975054 14309736448 9836 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14309736448 9836 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13974352 memory=140438837724800 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975058 14309736448 9836 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38408 KiB
[startup+0.701554 s]
/proc/loadavg: 2.13 2.08 2.08 4/212 5244
/proc/meminfo: memFree=31261084/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13978684 memory=133944 CPUtime=1.21 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 12364 0 0 0 115 6 0 0 20 0 15 0 66975049 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3494671 33486 3150 1 0 3482964 0
[pid=5230/tid=5231] ppid=5228 vsize=13978684 memory=309 CPUtime=0.55 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 7900 0 0 0 51 4 0 0 20 0 15 0 66975049 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139626112818672 139625715309718 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13978684 memory=432 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13978684 memory=959 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13978684 memory=140438719832848 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13978684 memory=8514726395714825875 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13978684 memory=-8412658754298548083 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66975051 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13978684 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66975052 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625585141024 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13978684 memory=6944656592452807323 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66975052 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625584088688 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13978684 memory=2721 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13978684 memory=140438719827392 CPUtime=0.21 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) R 5228 5228 11586 0 -1 4202560 1015 0 0 0 21 0 0 0 20 0 15 0 66975054 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625581965696 139626093500980 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) R 5228 5228 11586 0 -1 4202560 942 0 0 0 21 0 0 0 20 0 15 0 66975054 14314172416 33486 18446744073709551615 4194304 4196468 140732807379248 139625580923544 139626093710079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13978684 memory=2772 CPUtime=0.21 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 1199 0 0 0 21 0 0 0 20 0 15 0 66975054 14314172416 33998 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13978684 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14314172416 33998 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13978684 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66975058 14314172416 33998 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 135320 KiB
[startup+1.50081 s]
/proc/loadavg: 2.13 2.08 2.08 3/212 5244
/proc/meminfo: memFree=31090984/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13978684 memory=224744 CPUtime=2.36 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 13191 0 0 0 226 10 0 0 20 0 15 0 66975049 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3494671 56186 3192 1 0 3482964 0
[pid=5230/tid=5231] ppid=5228 vsize=13978684 memory=63838831 CPUtime=1.33 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 7935 0 0 0 128 5 0 0 20 0 15 0 66975049 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139626112822408 139626091046845 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13978684 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13978684 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 66975050 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13978684 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 66975050 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13978684 memory=133944 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 66975050 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13978684 memory=309 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66975051 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13978684 memory=432 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66975052 14314172416 56186 18446744073709551615 4194304 4196468 140732807379248 139625585141024 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13978684 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13980732 memory=459068 CPUtime=38.51 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 28687 0 0 0 3830 21 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3495183 114767 3224 1 0 3483476 0
[pid=5230/tid=5231] ppid=5228 vsize=13980732 memory=1376 CPUtime=34.93 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 11506 0 0 0 3486 7 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626112821368 139625717022605 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13980732 memory=7680170660397595203 CPUtime=0.1 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13980732 memory=459068 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 300 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13980732 memory=15880 CPUtime=0.09 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 138 0 0 0 8 1 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13980732 memory=16240 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 207 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13980732 memory=21280 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 701 0 0 0 0 1 0 0 20 0 15 0 66975051 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13980732 memory=280877439385840 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625585141088 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13980732 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625584088704 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13980732 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13980732 memory=-8412656567318647667 CPUtime=1.29 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) S 5228 5228 11586 0 -1 1077944384 5165 0 0 0 128 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13980732 memory=4427205132082312746 CPUtime=1.3 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) S 5228 5228 11586 0 -1 1077944384 4930 0 0 0 130 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13980732 memory=-8486080722631693414 CPUtime=0.47 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 3809 0 0 0 46 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13980732 memory=9992 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 482 0 0 0 0 1 0 0 20 0 15 0 66975058 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 38.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 460444 KiB
[startup+36.8008 s]
/proc/loadavg: 2.02 2.06 2.08 3/211 5245
/proc/meminfo: memFree=30863108/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13980732 memory=459068 CPUtime=40.11 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 28711 0 0 0 3990 21 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3495183 114767 3224 1 0 3483476 0
[pid=5230/tid=5231] ppid=5228 vsize=13980732 memory=7680170660397595203 CPUtime=36.53 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 11528 0 0 0 3646 7 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626112821368 139625717023001 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13980732 memory=459068 CPUtime=0.1 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13980732 memory=2768 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 300 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13980732 memory=2772 CPUtime=0.09 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 138 0 0 0 8 1 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13980732 memory=6933928925625698159 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 207 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 701 0 0 0 0 1 0 0 20 0 15 0 66975051 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13980732 memory=16240 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625585141088 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13980732 memory=21280 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625584088704 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13980732 memory=44324 CPUtime=1.29 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) S 5228 5228 11586 0 -1 1077944384 5165 0 0 0 128 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13980732 memory=4616 CPUtime=1.3 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) S 5228 5228 11586 0 -1 1077944384 4930 0 0 0 130 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13980732 memory=1440 CPUtime=0.47 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 3809 0 0 0 46 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13980732 memory=15880 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 484 0 0 0 0 1 0 0 20 0 15 0 66975058 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 40.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 460444 KiB
[startup+37.6008 s]
/proc/loadavg: 2.02 2.06 2.08 3/211 5245
/proc/meminfo: memFree=30863320/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13980732 memory=459068 CPUtime=40.91 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 28713 0 0 0 4070 21 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3495183 114767 3224 1 0 3483476 0
[pid=5230/tid=5231] ppid=5228 vsize=13980732 memory=7680170660397595203 CPUtime=37.33 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 11530 0 0 0 3726 7 0 0 20 0 15 0 66975049 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626112821368 139625716803971 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13980732 memory=2384 CPUtime=0.1 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13980732 memory=1296 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 300 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13980732 memory=1728 CPUtime=0.09 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 138 0 0 0 8 1 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13980732 memory=5788 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 207 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13980732 memory=1996 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 701 0 0 0 0 1 0 0 20 0 15 0 66975051 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625585141088 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13980732 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625584088704 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13980732 memory=1008 CPUtime=1.29 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) S 5228 5228 11586 0 -1 1077944384 5165 0 0 0 128 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13980732 memory=1232 CPUtime=1.3 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) S 5228 5228 11586 0 -1 1077944384 4930 0 0 0 130 0 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13980732 memory=8964 CPUtime=0.47 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) S 5228 5228 11586 0 -1 1077944384 3809 0 0 0 46 1 0 0 20 0 15 0 66975054 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625579878768 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13980732 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 484 0 0 0 0 1 0 0 20 0 15 0 66975058 14316269568 114767 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 40.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 460444 KiB
[startup+37.8008 s]
/proc/loadavg: 2.02 2.06 2.08 3/211 5245
/proc/meminfo: memFree=30863320/32770624 swapFree=67108860/67108860
[pid=5228] ppid=5225 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/5228/stat : 5228 (xcsp3-exec) S 5225 5228 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 66975039 9740288 344 18446744073709551615 4194304 5098028 140729374625200 140729374623304 140191070978684 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 15011840 140729374626168 140729374626373 140729374626373 140729374629867 0
/proc/5228/statm: 2378 344 289 221 0 87 0
[pid=5230] ppid=5228 vsize=13980732 memory=459128 CPUtime=41.13 cores=1,3,5,7
/proc/5230/stat : 5230 (java) S 5228 5228 11586 0 -1 1077944320 29361 0 0 0 4092 21 0 0 20 0 15 0 66975049 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 140732807361792 139626108583671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
/proc/5230/statm: 3495183 114782 3224 1 0 3483476 0
[pid=5230/tid=5231] ppid=5228 vsize=13980732 memory=16240 CPUtime=37.53 cores=1,3,5,7
/proc/5230/task/5231/stat : 5231 (java) R 5228 5228 11586 0 -1 4202560 12012 0 0 0 3746 7 0 0 20 0 15 0 66975049 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139626112821368 139626094278737 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5232] ppid=5228 vsize=13980732 memory=21280 CPUtime=0.1 cores=1,3,5,7
/proc/5230/task/5232/stat : 5232 (java) S 5228 5228 11586 0 -1 1077944384 111 0 0 0 8 2 0 0 20 0 15 0 66975050 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139626043017616 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5233] ppid=5228 vsize=13980732 memory=4048 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5233/stat : 5233 (java) S 5228 5228 11586 0 -1 1077944384 300 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139626041964816 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5234] ppid=5228 vsize=13980732 memory=644 CPUtime=0.09 cores=1,3,5,7
/proc/5230/task/5234/stat : 5234 (java) S 5228 5228 11586 0 -1 1077944384 138 0 0 0 8 1 0 0 20 0 15 0 66975050 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139626040912528 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5235] ppid=5228 vsize=13980732 memory=1788 CPUtime=0.11 cores=1,3,5,7
/proc/5230/task/5235/stat : 5235 (java) S 5228 5228 11586 0 -1 1077944384 207 0 0 0 9 2 0 0 20 0 15 0 66975050 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139626039859728 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5236] ppid=5228 vsize=13980732 memory=956 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5236/stat : 5236 (java) S 5228 5228 11586 0 -1 1077944384 701 0 0 0 0 1 0 0 20 0 15 0 66975051 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139625586195056 139626108594818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5237] ppid=5228 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5237/stat : 5237 (java) S 5228 5228 11586 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139625585141088 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5238] ppid=5228 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5238/stat : 5238 (java) S 5228 5228 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 66975052 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139625584088704 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5239] ppid=5228 vsize=13980732 memory=4284 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5239/stat : 5239 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975054 14316269568 114782 18446744073709551615 4194304 4196468 140732807379248 139625583037008 139626108602267 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5240] ppid=5228 vsize=13980720 memory=928 CPUtime=1.3 cores=1,3,5,7
/proc/5230/task/5240/stat : 5240 (java) S 5228 5228 11586 0 -1 1077944384 5216 0 0 0 129 1 0 0 20 0 15 0 66975054 14316257280 114783 18446744073709551615 4194304 4196468 140732807379248 139625581983856 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5241] ppid=5228 vsize=13980732 memory=1580 CPUtime=1.31 cores=1,3,5,7
/proc/5230/task/5241/stat : 5241 (java) S 5228 5228 11586 0 -1 1077944384 4991 0 0 0 131 0 0 0 20 0 15 0 66975054 14316269568 114783 18446744073709551615 4194304 4196468 140732807379248 139625580931056 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5242] ppid=5228 vsize=13980732 memory=3674 CPUtime=0.47 cores=1,3,5,7
/proc/5230/task/5242/stat : 5242 (java) R 5228 5228 11586 0 -1 4202560 3871 0 0 0 46 1 0 0 20 0 15 0 66975054 14316269568 114783 18446744073709551615 4194304 4196468 140732807379248 139625579879064 139626101680507 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5243] ppid=5228 vsize=13980732 memory=280877440160072 CPUtime=0 cores=1,3,5,7
/proc/5230/task/5243/stat : 5243 (java) S 5228 5228 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66975055 14316269568 114783 18446744073709551615 4194304 4196468 140732807379248 139625578826208 139626108593877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
[pid=5230/tid=5244] ppid=5228 vsize=13980732 memory=280877440153144 CPUtime=0.01 cores=1,3,5,7
/proc/5230/task/5244/stat : 5244 (java) S 5228 5228 11586 0 -1 1077944384 484 0 0 0 0 1 0 0 20 0 15 0 66975058 14316269568 114783 18446744073709551615 4194304 4196468 140732807379248 139625577774000 139626108594818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8474624 140732807385521 140732807385697 140732807385697 140732807389135 0
Current children cumulated CPU time: 41.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 460504 KiB
Child status: 0
Real time (s): 37.8076
CPU time (s): 41.1556
CPU user time (s): 40.931
CPU system time (s): 0.224616
CPU usage (%): 108.856
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 460504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.931
system time used= 0.224616
maximum resident set size= 459416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3375
involuntary context switches= 43
# summary of solver processes directly reported to runsolver:
# pid: 5228
# total CPU time (s): 41.1556
# total CPU user time (s): 40.931
# total CPU system time (s): 0.224616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.265094 second user time and 0.394583 second system time
The end