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 (6547 MiB free)
memory of node 1: 16384 MiB (4261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403430-1568991450/watcher-4403430-1568991450 -o /var/tmp/evaluation-result-4403430-1568991450/solver-4403430-1568991450 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1963449280 HOME/instance-4403430-1568991450.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=4238, runsolver pid=4235
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 6.02 2.36 1.61 6/233 4254
/proc/meminfo: memFree=11051364/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15144776 memory=29276 CPUtime=0.13 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 5685 0 0 0 12 1 0 0 20 0 15 0 475058836 15508250624 7319 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3786194 7319 3216 1 0 3748377 0
[pid=4240/tid=4241] ppid=4238 vsize=15144776 memory=7755943612240859995 CPUtime=0.09 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) R 4238 4238 3634 0 -1 4202560 3563 0 0 0 8 1 0 0 20 0 15 0 475058836 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700793013840 139700788796822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058838 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058838 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700323542048 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058839 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700322489200 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) R 4238 4238 3634 0 -1 4202560 480 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700252694592 139700768206262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) R 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0.02 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) S 4238 4238 3634 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700250589808 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 7319 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30728 KiB
[startup+0.210753 s]*
/proc/loadavg: 6.02 2.36 1.61 7/233 4254
/proc/meminfo: memFree=11037788/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15144776 memory=40980 CPUtime=0.35 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 9499 0 0 0 31 4 0 0 20 0 15 0 475058836 15508250624 10245 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3786194 10245 3302 1 0 3748377 0
[pid=4240/tid=4241] ppid=4238 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) R 4238 4238 3634 0 -1 4202560 6619 0 0 0 17 2 0 0 20 0 15 0 475058836 15508250624 10245 33554432000 4194304 4196468 140723631396864 139700793019872 139700772865374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 10245 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15144776 memory=3905381042315445920 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058837 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475058838 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058838 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700323542048 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058839 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700322489200 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) S 4238 4238 3634 0 -1 1077944384 698 0 0 0 3 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700252695408 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) S 4238 4238 3634 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15144776 memory=139833829607040 CPUtime=0.08 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) R 4238 4238 3634 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700250589808 139700767752330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058841 15508250624 10308 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42432 KiB
[startup+0.315554 s]*
/proc/loadavg: 6.02 2.36 1.61 7/233 4254
/proc/meminfo: memFree=11030068/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15149032 memory=50748 CPUtime=0.54 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 10989 0 0 0 49 5 0 0 20 0 15 0 475058836 15512608768 12687 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3787258 12687 3363 1 0 3748377 0
[pid=4240/tid=4241] ppid=4238 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) R 4238 4238 3634 0 -1 4202560 7868 0 0 0 27 3 0 0 20 0 15 0 475058836 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700793012656 139700788806813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058837 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475058838 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058838 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700323542048 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058839 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700322489200 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) S 4238 4238 3634 0 -1 1077944384 817 0 0 0 5 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700252695408 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) S 4238 4238 3634 0 -1 1077944384 133 0 0 0 3 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) S 4238 4238 3634 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700250589808 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058841 15512608768 12695 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52200 KiB
[startup+0.700883 s]
/proc/loadavg: 6.02 2.36 1.61 9/233 4254
/proc/meminfo: memFree=11007992/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15151156 memory=92984 CPUtime=1.77 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 16445 0 0 0 171 6 0 0 20 0 15 0 475058836 15514783744 23246 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3787789 23246 3455 1 0 3748889 0
[pid=4240/tid=4241] ppid=4238 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) R 4238 4238 3634 0 -1 4202560 9281 0 0 0 63 4 0 0 20 0 15 0 475058836 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700793021776 139700409307555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15151156 memory=55768 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058837 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475058837 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475058838 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475058838 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700323542048 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475058839 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700322489200 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15151156 memory=6024 CPUtime=0.31 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) D 4238 4238 3634 0 -1 4202560 1727 0 0 0 31 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700252681448 139700781022014 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15151156 memory=11416 CPUtime=0.35 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) R 4238 4238 3634 0 -1 4202560 1707 0 0 0 35 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700251623624 139700772281671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15151156 memory=780 CPUtime=0.4 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) R 4238 4238 3634 0 -1 4202560 2422 0 0 0 40 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700250585752 139700781502039 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475058841 15514783744 23246 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94436 KiB
[startup+1.50155 s]
/proc/loadavg: 6.02 2.36 1.61 8/233 4254
/proc/meminfo: memFree=10911576/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4255] ppid=4238 vsize=15419460 memory=1452 CPUtime=14.1 cores=1,3,5,7
/proc/4240/task/4255/stat : 4255 (java) R 4238 4238 3634 0 -1 4202560 345 0 0 0 1409 1 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700239502152 139700411145499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4256] ppid=4238 vsize=15419460 memory=238952 CPUtime=13.74 cores=1,3,5,7
/proc/4240/task/4256/stat : 4256 (java) R 4238 4238 3634 0 -1 4202560 1258 0 0 0 1374 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700238452616 139700412034012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4257] ppid=4238 vsize=15419460 memory=4639363270135272292 CPUtime=13.63 cores=1,3,5,7
/proc/4240/task/4257/stat : 4257 (java) R 4238 4238 3634 0 -1 4202560 260 0 0 0 1363 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700237397896 139700411145455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4258] ppid=4238 vsize=15419460 memory=16264585881 CPUtime=13.57 cores=1,3,5,7
/proc/4240/task/4258/stat : 4258 (java) R 4238 4238 3634 0 -1 4202560 464 0 0 0 1357 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700236346104 139700412385220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 62.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240404 KiB
[startup+17.6026 s]
/proc/loadavg: 6.90 2.80 1.77 11/237 4387
/proc/meminfo: memFree=10922564/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15419460 memory=238952 CPUtime=68.69 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 50680 0 0 0 6851 18 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3854865 59738 3530 1 0 3815965 0
[pid=4240/tid=4241] ppid=4238 vsize=15419460 memory=238952 CPUtime=1.05 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) S 4238 4238 3634 0 -1 1077944384 10704 0 0 0 100 5 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700793025664 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15419460 memory=-7840698363519473557 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 753 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15419460 memory=279667467002560 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1928 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15419460 memory=139833733862635 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 406 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15419460 memory=6944656592455360604 CPUtime=0.02 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15419460 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700323542112 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15419460 memory=4638778428397538640 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 475058839 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700322489216 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15419460 memory=7367994820071022925 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15419460 memory=7234303152781525070 CPUtime=2.41 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) S 4238 4238 3634 0 -1 1077944384 10797 0 0 0 241 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700252695408 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15419460 memory=288284472154276672 CPUtime=2.79 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) S 4238 4238 3634 0 -1 1077944384 15184 0 0 0 278 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15419460 memory=55768 CPUtime=0.81 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) S 4238 4238 3634 0 -1 1077944384 6069 0 0 0 80 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700250589808 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15419460 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4255] ppid=4238 vsize=15419460 memory=1368 CPUtime=15.69 cores=1,3,5,7
/proc/4240/task/4255/stat : 4255 (java) R 4238 4238 3634 0 -1 4202560 350 0 0 0 1568 1 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700239502152 139700412033377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4256] ppid=4238 vsize=15419460 memory=1452 CPUtime=15.3 cores=1,3,5,7
/proc/4240/task/4256/stat : 4256 (java) R 4238 4238 3634 0 -1 4202560 1306 0 0 0 1530 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700238452616 139700411145515 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4257] ppid=4238 vsize=15419460 memory=238952 CPUtime=15.21 cores=1,3,5,7
/proc/4240/task/4257/stat : 4257 (java) R 4238 4238 3634 0 -1 4202560 266 0 0 0 1521 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700237397896 139700412034028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4258] ppid=4238 vsize=15419460 memory=2398 CPUtime=15.14 cores=1,3,5,7
/proc/4240/task/4258/stat : 4258 (java) R 4238 4238 3634 0 -1 4202560 471 0 0 0 1514 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700236346104 139700411024018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 68.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240404 KiB
[startup+18.0015 s]*
/proc/loadavg: 6.90 2.80 1.77 10/237 4395
/proc/meminfo: memFree=10922444/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15419460 memory=238952 CPUtime=70.3 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 50683 0 0 0 7012 18 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3854865 59738 3530 1 0 3815965 0
[pid=4240/tid=4241] ppid=4238 vsize=15419460 memory=8112282956445269571 CPUtime=1.05 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) S 4238 4238 3634 0 -1 1077944384 10704 0 0 0 100 5 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700793025664 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15419460 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15419460 memory=1716 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 753 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15419460 memory=6024 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1928 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15419460 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 406 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15419460 memory=238940 CPUtime=0.02 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700323542112 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 475058839 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700322489216 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15419460 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) S 4238 4238 3634 0 -1 1077944384 10797 0 0 0 241 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700252695408 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15419460 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) S 4238 4238 3634 0 -1 1077944384 15184 0 0 0 278 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15419460 memory=3763099673816014896 CPUtime=0.81 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) S 4238 4238 3634 0 -1 1077944384 6069 0 0 0 80 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700250589808 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15419460 memory=3834026952452551478 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15419460 memory=3467964461726169005 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4255] ppid=4238 vsize=15419460 memory=3545236925184421939 CPUtime=16.1 cores=1,3,5,7
/proc/4240/task/4255/stat : 4255 (java) R 4238 4238 3634 0 -1 4202560 351 0 0 0 1609 1 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700239502152 139700412033514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4256] ppid=4238 vsize=15419460 memory=139833829607040 CPUtime=15.69 cores=1,3,5,7
/proc/4240/task/4256/stat : 4256 (java) R 4238 4238 3634 0 -1 4202560 1308 0 0 0 1569 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700238452616 139700413956101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4257] ppid=4238 vsize=15419460 memory=-1 CPUtime=15.62 cores=1,3,5,7
/proc/4240/task/4257/stat : 4257 (java) R 4238 4238 3634 0 -1 4202560 266 0 0 0 1562 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700237397896 139700405900276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4258] ppid=4238 vsize=15419460 memory=0 CPUtime=15.55 cores=1,3,5,7
/proc/4240/task/4258/stat : 4258 (java) R 4238 4238 3634 0 -1 4202560 471 0 0 0 1555 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700236346104 139700413350367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 70.3 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240404 KiB
[startup+18.4015 s]
/proc/loadavg: 6.90 2.80 1.77 10/237 4395
/proc/meminfo: memFree=10922444/32770624 swapFree=66935844/67108860
[pid=4238] ppid=4235 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (xcsp3-exec) S 4235 4238 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475058835 115843072 363 33554432000 4194304 5098028 140736583851184 140736583849288 140196982862460 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39747584 140736583852886 140736583853145 140736583853145 140736583856070 0
/proc/4238/statm: 28282 363 305 221 0 87 0
[pid=4240] ppid=4238 vsize=15419460 memory=238952 CPUtime=71.87 cores=1,3,5,7
/proc/4240/stat : 4240 (java) S 4238 4238 3634 0 -1 1077944320 50686 0 0 0 7169 18 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 140723631379408 139700788784887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
/proc/4240/statm: 3854865 59738 3530 1 0 3815965 0
[pid=4240/tid=4241] ppid=4238 vsize=15419460 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/4240/task/4241/stat : 4241 (java) S 4238 4238 3634 0 -1 1077944384 10704 0 0 0 100 5 0 0 20 0 19 0 475058836 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700793025664 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4242] ppid=4238 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4242/stat : 4242 (java) S 4238 4238 3634 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700725021840 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4243] ppid=4238 vsize=15419460 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4243/stat : 4243 (java) S 4238 4238 3634 0 -1 1077944384 753 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700380163088 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4244] ppid=4238 vsize=15419460 memory=238952 CPUtime=0.03 cores=1,3,5,7
/proc/4240/task/4244/stat : 4244 (java) S 4238 4238 3634 0 -1 1077944384 1928 0 0 0 2 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700379110288 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4245] ppid=4238 vsize=15419460 memory=33 CPUtime=0.04 cores=1,3,5,7
/proc/4240/task/4245/stat : 4245 (java) S 4238 4238 3634 0 -1 1077944384 406 0 0 0 3 1 0 0 20 0 19 0 475058837 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700378057488 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4246] ppid=4238 vsize=15419460 memory=2244 CPUtime=0.02 cores=1,3,5,7
/proc/4240/task/4246/stat : 4246 (java) S 4238 4238 3634 0 -1 1077944384 584 0 0 0 1 1 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700324596080 139700788796034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4247] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4247/stat : 4247 (java) S 4238 4238 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475058838 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700323542112 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4248] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4248/stat : 4248 (java) S 4238 4238 3634 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 19 0 475058839 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700322489216 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4249] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4249/stat : 4249 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700253747024 139700788803483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4250] ppid=4238 vsize=15419460 memory=56 CPUtime=2.41 cores=1,3,5,7
/proc/4240/task/4250/stat : 4250 (java) S 4238 4238 3634 0 -1 1077944384 10797 0 0 0 241 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700252695408 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4251] ppid=4238 vsize=15419460 memory=-7091624348563251104 CPUtime=2.79 cores=1,3,5,7
/proc/4240/task/4251/stat : 4251 (java) S 4238 4238 3634 0 -1 1077944384 15184 0 0 0 278 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700251642608 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4252] ppid=4238 vsize=15419460 memory=6010734736016698728 CPUtime=0.81 cores=1,3,5,7
/proc/4240/task/4252/stat : 4252 (java) S 4238 4238 3634 0 -1 1077944384 6069 0 0 0 80 1 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700250589808 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4253] ppid=4238 vsize=15419460 memory=7590935242201787754 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4253/stat : 4253 (java) S 4238 4238 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700249537248 139700788795093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4254] ppid=4238 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4240/task/4254/stat : 4254 (java) S 4238 4238 3634 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 19 0 475058841 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700248484528 139700788796034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4255] ppid=4238 vsize=15419460 memory=279 CPUtime=16.49 cores=1,3,5,7
/proc/4240/task/4255/stat : 4255 (java) R 4238 4238 3634 0 -1 4202560 351 0 0 0 1648 1 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700239502152 139700412033331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4256] ppid=4238 vsize=15419460 memory=279667467210280 CPUtime=16.08 cores=1,3,5,7
/proc/4240/task/4256/stat : 4256 (java) R 4238 4238 3634 0 -1 4202560 1311 0 0 0 1608 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700238452616 139700408520975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4257] ppid=4238 vsize=15419460 memory=-7025452035940392864 CPUtime=16.01 cores=1,3,5,7
/proc/4240/task/4257/stat : 4257 (java) R 4238 4238 3634 0 -1 4202560 266 0 0 0 1601 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700237397896 139700412034031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
[pid=4240/tid=4258] ppid=4238 vsize=15419460 memory=6024 CPUtime=15.94 cores=1,3,5,7
/proc/4240/task/4258/stat : 4258 (java) R 4238 4238 3634 0 -1 4202560 471 0 0 0 1594 0 0 0 20 0 19 0 475058944 15789527040 59738 33554432000 4194304 4196468 140723631396864 139700236346104 139700412033902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37904384 140723631399899 140723631400074 140723631400074 140723631402959 0
Current children cumulated CPU time: 71.87 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240404 KiB
Child status: 0
Real time (s): 18.4988
CPU time (s): 72.1953
CPU user time (s): 71.9995
CPU system time (s): 0.195769
CPU usage (%): 390.271
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 260236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.9995
system time used= 0.195769
maximum resident set size= 259388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2928
involuntary context switches= 2102
# summary of solver processes directly reported to runsolver:
# pid: 4238
# total CPU time (s): 72.1953
# total CPU user time (s): 71.9995
# total CPU system time (s): 0.195769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.121069 second user time and 0.264508 second system time
The end