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 (3573 MiB free)
memory of node 1: 16384 MiB (633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404124-1568992471/watcher-4404124-1568992471 -o /var/tmp/evaluation-result-4404124-1568992471/solver-4404124-1568992471 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568991123-13292 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 173012096 HOME/instance-4404124-1568992471.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14799, runsolver pid=14796
Current StackSize limit: 8192 KiB
[startup+0.100613 s]*
/proc/loadavg: 7.97 8.30 6.73 7/235 14815
/proc/meminfo: memFree=4291928/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15144776 memory=27732 CPUtime=0.09 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 5398 0 0 0 8 1 0 0 20 0 15 0 475161041 15508250624 6933 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3786194 6933 3019 1 0 3748377 0
[pid=14801/tid=14802] ppid=14799 vsize=15144776 memory=8252428994737482315 CPUtime=0.07 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) R 14799 14799 13261 0 -1 4202560 3528 0 0 0 6 1 0 0 20 0 15 0 475161041 15508250624 6998 33554432000 4194304 4196468 140722321165264 140254379849248 140254359696734 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 6998 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 6998 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 6998 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 6998 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253910353056 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) R 14799 14799 13261 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) R 14799 14799 13261 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253906144112 140254353235280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0.01 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) S 14799 14799 13261 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253905091056 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 6998 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29188 KiB
[startup+0.210813 s]*
/proc/loadavg: 7.97 8.30 6.73 6/235 14815
/proc/meminfo: memFree=4278232/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15144776 memory=40528 CPUtime=0.32 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 9383 0 0 0 28 4 0 0 20 0 15 0 475161041 15508250624 10132 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3786194 10132 3277 1 0 3748377 0
[pid=14801/tid=14802] ppid=14799 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) R 14799 14799 13261 0 -1 4202560 6540 0 0 0 16 2 0 0 20 0 15 0 475161041 15508250624 10197 33554432000 4194304 4196468 140722321165264 140254379850096 140254375638173 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 10197 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15144776 memory=140201887425241 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 10197 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 10197 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15508250624 10197 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253910353056 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475161045 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15144776 memory=140201883907712 CPUtime=0.07 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) R 14799 14799 13261 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253905091056 140254367853374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161048 15508250624 10197 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41984 KiB
[startup+0.310833 s]*
/proc/loadavg: 7.97 8.30 6.73 6/235 14815
/proc/meminfo: memFree=4272160/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15149032 memory=46596 CPUtime=0.49 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 10539 0 0 0 45 4 0 0 20 0 15 0 475161041 15512608768 11649 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3787258 11649 3310 1 0 3748377 0
[pid=14801/tid=14802] ppid=14799 vsize=15149032 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) R 14799 14799 13261 0 -1 4202560 7587 0 0 0 25 3 0 0 20 0 15 0 475161041 15512608768 11649 33554432000 4194304 4196468 140722321165264 140254379838496 140254359659877 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15512608768 11649 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161043 15512608768 11649 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15512608768 11649 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15512608768 11649 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475161045 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475161045 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253910353056 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475161045 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) R 14799 14799 13261 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253905091056 140254354432213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161048 15512608768 11649 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48052 KiB
[startup+0.700837 s]
/proc/loadavg: 7.97 8.30 6.73 7/235 14815
/proc/meminfo: memFree=4260372/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15151156 memory=80040 CPUtime=1.5 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 14218 0 0 0 144 6 0 0 20 0 15 0 475161041 15514783744 20010 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3787789 20010 3451 1 0 3748889 0
[pid=14801/tid=14802] ppid=14799 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) R 14799 14799 13261 0 -1 4202560 9155 0 0 0 62 4 0 0 20 0 15 0 475161041 15514783744 20010 33554432000 4194304 4196468 140722321165264 140254379853504 140254375628182 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15151156 memory=53516 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15514783744 20010 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161043 15514783744 20010 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15514783744 20010 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475161043 15514783744 20010 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475161045 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475161045 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253910353056 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475161045 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15151156 memory=2832 CPUtime=0.2 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 996 0 0 0 20 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15151156 memory=1224 CPUtime=0.19 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 874 0 0 0 19 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15151156 memory=6068 CPUtime=0.41 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) S 14799 14799 13261 0 -1 1077944384 1883 0 0 0 41 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253905091056 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475161048 15514783744 20010 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81496 KiB
[startup+1.50539 s]
/proc/loadavg: 7.97 8.30 6.73 11/239 14819
/proc/meminfo: memFree=4181376/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475161048 15857688576 58800 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14836] ppid=14799 vsize=15486024 memory=1096 CPUtime=43.76 cores=0,2,4,6
/proc/14801/task/14836/stat : 14836 (java) R 14799 14799 13261 0 -1 4202560 503 0 0 0 4376 0 0 0 20 0 19 0 475161274 15857688576 58800 33554432000 4194304 4196468 140722321165264 140253823450712 140253995217446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14837] ppid=14799 vsize=15486024 memory=14008 CPUtime=43.27 cores=0,2,4,6
/proc/14801/task/14837/stat : 14837 (java) R 14799 14799 13261 0 -1 4202560 1279 0 0 0 4327 0 0 0 20 0 19 0 475161274 15857688576 58800 33554432000 4194304 4196468 140722321165264 140253820293416 140253992920792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14838] ppid=14799 vsize=15486024 memory=2116 CPUtime=43.59 cores=0,2,4,6
/proc/14801/task/14838/stat : 14838 (java) R 14799 14799 13261 0 -1 4202560 1441 0 0 0 4359 0 0 0 20 0 19 0 475161274 15857688576 58800 33554432000 4194304 4196468 140722321165264 140253821348512 140253996686342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14839] ppid=14799 vsize=15486024 memory=29072 CPUtime=43.32 cores=0,2,4,6
/proc/14801/task/14839/stat : 14839 (java) R 14799 14799 13261 0 -1 4202560 767 0 0 0 4332 0 0 0 20 0 19 0 475161274 15857688576 58800 33554432000 4194304 4196468 140722321165264 140253824503392 140253994980731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 186.26 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 236656 KiB
[startup+48.0014 s]*
/proc/loadavg: 8.18 8.29 6.80 9/238 14842
/proc/meminfo: memFree=4160992/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15486024 memory=233136 CPUtime=189.47 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 54443 0 0 0 18924 23 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3871506 58284 3532 1 0 3832606 0
[pid=14801/tid=14802] ppid=14799 vsize=15486024 memory=1398722017469774279 CPUtime=0.93 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) S 14799 14799 13261 0 -1 1077944384 9358 0 0 0 88 5 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254379857024 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15486024 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 1117 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15486024 memory=-6654736624941163865 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 377 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15486024 memory=-8614379499087747112 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 507 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15486024 memory=3047711604724501878 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 1717 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15486024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15486024 memory=7595440001688102255 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253910353120 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15486024 memory=280403516825520 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15486024 memory=7517779090055277973 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15486024 memory=1412 CPUtime=3.41 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 10864 0 0 0 339 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15486024 memory=3148 CPUtime=3.21 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 15680 0 0 0 319 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15486024 memory=1456 CPUtime=0.98 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) S 14799 14799 13261 0 -1 1077944384 7626 0 0 0 97 1 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253905091056 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15486024 memory=2140688 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15486024 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14836] ppid=14799 vsize=15486024 memory=2992 CPUtime=44.56 cores=0,2,4,6
/proc/14801/task/14836/stat : 14836 (java) R 14799 14799 13261 0 -1 4202560 503 0 0 0 4456 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253823450616 140253994980526 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14837] ppid=14799 vsize=15486024 memory=1456 CPUtime=44.08 cores=0,2,4,6
/proc/14801/task/14837/stat : 14837 (java) R 14799 14799 13261 0 -1 4202560 1279 0 0 0 4408 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253820293232 140253994567184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14838] ppid=14799 vsize=15486024 memory=233152 CPUtime=44.4 cores=0,2,4,6
/proc/14801/task/14838/stat : 14838 (java) R 14799 14799 13261 0 -1 4202560 1442 0 0 0 4440 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253821348432 140253995323962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14839] ppid=14799 vsize=15486024 memory=1720 CPUtime=44.12 cores=0,2,4,6
/proc/14801/task/14839/stat : 14839 (java) R 14799 14799 13261 0 -1 4202560 767 0 0 0 4412 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253824503624 140253994469408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 189.47 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234592 KiB
[startup+48.2024 s]
/proc/loadavg: 8.18 8.29 6.80 9/238 14842
/proc/meminfo: memFree=4160992/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15486024 memory=233136 CPUtime=190.24 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 54443 0 0 0 19001 23 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3871506 58284 3532 1 0 3832606 0
[pid=14801/tid=14802] ppid=14799 vsize=15486024 memory=15816698942982858 CPUtime=0.93 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) S 14799 14799 13261 0 -1 1077944384 9358 0 0 0 88 5 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254379857024 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15486024 memory=896 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 1117 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15486024 memory=1440 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 377 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15486024 memory=1768 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 507 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15486024 memory=111636 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 1717 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15486024 memory=808 CPUtime=0.03 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15486024 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253910353120 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15486024 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15486024 memory=924 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15486024 memory=3844 CPUtime=3.41 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 10864 0 0 0 339 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15486024 memory=2696 CPUtime=3.21 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 15680 0 0 0 319 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15486024 memory=2592 CPUtime=0.98 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) S 14799 14799 13261 0 -1 1077944384 7626 0 0 0 97 1 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253905091056 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15486024 memory=1398722017469774279 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15486024 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14836] ppid=14799 vsize=15486024 memory=337 CPUtime=44.75 cores=0,2,4,6
/proc/14801/task/14836/stat : 14836 (java) R 14799 14799 13261 0 -1 4202560 503 0 0 0 4475 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253823450616 140253994621834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14837] ppid=14799 vsize=15486024 memory=315 CPUtime=44.27 cores=0,2,4,6
/proc/14801/task/14837/stat : 14837 (java) R 14799 14799 13261 0 -1 4202560 1279 0 0 0 4427 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253820293232 140253994909093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14838] ppid=14799 vsize=15486024 memory=98 CPUtime=44.59 cores=0,2,4,6
/proc/14801/task/14838/stat : 14838 (java) R 14799 14799 13261 0 -1 4202560 1442 0 0 0 4459 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253821348432 140253993211403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14839] ppid=14799 vsize=15486024 memory=0 CPUtime=44.32 cores=0,2,4,6
/proc/14801/task/14839/stat : 14839 (java) R 14799 14799 13261 0 -1 4202560 767 0 0 0 4432 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253824503624 140253994980828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 190.24 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234592 KiB
[startup+48.3044 s]
/proc/loadavg: 8.18 8.29 6.80 9/238 14842
/proc/meminfo: memFree=4160992/32770624 swapFree=67001768/67108860
[pid=14799] ppid=14796 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14799/stat : 14799 (xcsp3-exec) S 14796 14799 13261 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475161040 115843072 364 33554432000 4194304 5098028 140723177301200 140723177299304 139950523978364 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34365440 140723177309015 140723177309273 140723177309273 140723177312198 0
/proc/14799/statm: 28282 364 305 221 0 87 0
[pid=14801] ppid=14799 vsize=15486024 memory=233136 CPUtime=190.65 cores=0,2,4,6
/proc/14801/stat : 14801 (java) S 14799 14799 13261 0 -1 1077944320 54443 0 0 0 19042 23 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140722321147808 140254375616247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
/proc/14801/statm: 3871506 58284 3532 1 0 3832606 0
[pid=14801/tid=14802] ppid=14799 vsize=15486024 memory=1456 CPUtime=0.93 cores=0,2,4,6
/proc/14801/task/14802/stat : 14802 (java) S 14799 14799 13261 0 -1 1077944384 9358 0 0 0 88 5 0 0 20 0 19 0 475161041 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254379857024 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14803] ppid=14799 vsize=15486024 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14803/stat : 14803 (java) S 14799 14799 13261 0 -1 1077944384 1117 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254311853072 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14804] ppid=14799 vsize=15486024 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14804/stat : 14804 (java) S 14799 14799 13261 0 -1 1077944384 377 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254310800528 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14805] ppid=14799 vsize=15486024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14801/task/14805/stat : 14805 (java) S 14799 14799 13261 0 -1 1077944384 507 0 0 0 4 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254309747472 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14806] ppid=14799 vsize=15486024 memory=532 CPUtime=0.05 cores=0,2,4,6
/proc/14801/task/14806/stat : 14806 (java) S 14799 14799 13261 0 -1 1077944384 1717 0 0 0 3 2 0 0 20 0 19 0 475161043 15857688576 58284 33554432000 4194304 4196468 140722321165264 140254308694928 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14807] ppid=14799 vsize=15486024 memory=1564 CPUtime=0.03 cores=0,2,4,6
/proc/14801/task/14807/stat : 14807 (java) S 14799 14799 13261 0 -1 1077944384 1058 0 0 0 3 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253911406832 140254375627394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14808] ppid=14799 vsize=15486024 memory=234204 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14808/stat : 14808 (java) S 14799 14799 13261 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253910353120 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14809] ppid=14799 vsize=15486024 memory=233200 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14809/stat : 14809 (java) S 14799 14799 13261 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475161045 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253909299952 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14810] ppid=14799 vsize=15486024 memory=234204 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14810/stat : 14810 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253908248528 140254375634843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14811] ppid=14799 vsize=15486024 memory=233200 CPUtime=3.41 cores=0,2,4,6
/proc/14801/task/14811/stat : 14811 (java) S 14799 14799 13261 0 -1 1077944384 10864 0 0 0 339 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253907196656 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14812] ppid=14799 vsize=15486024 memory=341 CPUtime=3.21 cores=0,2,4,6
/proc/14801/task/14812/stat : 14812 (java) S 14799 14799 13261 0 -1 1077944384 15680 0 0 0 319 2 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253906144112 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14813] ppid=14799 vsize=15486024 memory=316 CPUtime=0.98 cores=0,2,4,6
/proc/14801/task/14813/stat : 14813 (java) S 14799 14799 13261 0 -1 1077944384 7626 0 0 0 97 1 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253905091056 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14814] ppid=14799 vsize=15486024 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/14801/task/14814/stat : 14814 (java) S 14799 14799 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253904038752 140254375626453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14815] ppid=14799 vsize=15486024 memory=235200 CPUtime=0.01 cores=0,2,4,6
/proc/14801/task/14815/stat : 14815 (java) S 14799 14799 13261 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 19 0 475161048 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253902985776 140254375627394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14836] ppid=14799 vsize=15486024 memory=1564 CPUtime=44.85 cores=0,2,4,6
/proc/14801/task/14836/stat : 14836 (java) R 14799 14799 13261 0 -1 4202560 503 0 0 0 4485 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253823450616 140253995216695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14837] ppid=14799 vsize=15486024 memory=235200 CPUtime=44.37 cores=0,2,4,6
/proc/14801/task/14837/stat : 14837 (java) R 14799 14799 13261 0 -1 4202560 1279 0 0 0 4437 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253820293120 140253992921357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14838] ppid=14799 vsize=15486024 memory=1456 CPUtime=44.69 cores=0,2,4,6
/proc/14801/task/14838/stat : 14838 (java) R 14799 14799 13261 0 -1 4202560 1442 0 0 0 4469 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253821348320 140253992919643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
[pid=14801/tid=14839] ppid=14799 vsize=15486024 memory=233144 CPUtime=44.42 cores=0,2,4,6
/proc/14801/task/14839/stat : 14839 (java) R 14799 14799 13261 0 -1 4202560 767 0 0 0 4442 0 0 0 20 0 19 0 475161274 15857688576 58284 33554432000 4194304 4196468 140722321165264 140253824503624 140253992921642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37343232 140722321171419 140722321171594 140722321171594 140722321174479 0
Current children cumulated CPU time: 190.65 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 234592 KiB
Child status: 0
Real time (s): 48.3465
CPU time (s): 190.807
CPU user time (s): 190.56
CPU system time (s): 0.247266
CPU usage (%): 394.665
Max. virtual memory (cumulated for all children) (KiB): 15601140
Max. memory (cumulated for all children) (KiB): 251520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.56
system time used= 0.247266
maximum resident set size= 253200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55751
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4922
involuntary context switches= 4455
# summary of solver processes directly reported to runsolver:
# pid: 14799
# total CPU time (s): 190.807
# total CPU user time (s): 190.56
# total CPU system time (s): 0.247266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.311485 second user time and 0.586418 second system time
The end