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 (8495 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273859-1502785060/watcher-4273859-1502785060 -o /tmp/evaluation-result-4273859-1502785060/solver-4273859-1502785060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1674404598 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273859-1502785060.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4386, runsolver pid=4383
[startup+0.100161 s]*
/proc/loadavg: 1.81 1.91 1.77 3/204 4395
/proc/meminfo: memFree=24492004/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13573664 memory=17932 CPUtime=0.03 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 3876 0 0 0 2 1 0 0 20 0 9 0 80701344 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3393416 4483 2113 1 0 3382913 0
[pid=4386/tid=4388] ppid=4383 vsize=13573664 memory=4206751525541407381 CPUtime=0.02 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 2522 0 0 0 2 0 0 0 20 0 9 0 80701351 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715613829488 140715609613469 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13573664 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 80701352 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13573664 memory=140346525058688 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 80701352 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 80701352 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 80701352 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13573664 memory=140346525058688 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 80701353 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 80701354 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 80701354 13899431936 4483 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17932 KiB
[startup+0.210806 s]*
/proc/loadavg: 1.81 1.91 1.77 3/210 4401
/proc/meminfo: memFree=24484024/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13975920 memory=31592 CPUtime=0.1 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 6667 0 0 0 9 1 0 0 20 0 15 0 80701344 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3493980 7898 3386 1 0 3482759 0
[pid=4386/tid=4388] ppid=4383 vsize=13975920 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 4633 0 0 0 7 1 0 0 20 0 15 0 80701351 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715613812008 140715609613469 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13975920 memory=4294967624 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13975920 memory=140346525069332 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13975920 memory=140346525058688 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701353 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80701354 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80701354 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4396] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4396/stat : 4396 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715152771152 140715609610139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4397] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4397/stat : 4397 (java) S 4383 4386 12560 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 80701356 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715151719024 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4398] ppid=4383 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4398/stat : 4398 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715150666224 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4399] ppid=4383 vsize=13975920 memory=140346525058688 CPUtime=0.01 cores=1,3,5,7
/proc/4386/task/4399/stat : 4399 (java) R 4383 4386 12560 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 15 0 80701356 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715149613936 140715609612890 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4400] ppid=4383 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4400/stat : 4400 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701357 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715148561376 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4401] ppid=4383 vsize=13975920 memory=140346525058688 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4401/stat : 4401 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701363 14311342080 7898 18446744073709551615 4194304 4196468 140721758204464 140715147508144 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31592 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.81 1.91 1.77 3/210 4401
/proc/meminfo: memFree=24474544/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13975920 memory=40812 CPUtime=0.26 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 10390 0 0 0 23 3 0 0 20 0 15 0 80701344 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3493980 10203 3541 1 0 3482759 0
[pid=4386/tid=4388] ppid=4383 vsize=13975920 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 8071 0 0 0 16 2 0 0 20 0 15 0 80701351 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715613809648 140715593672030 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701352 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80701353 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80701354 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80701354 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4396] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4396/stat : 4396 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715152771152 140715609610139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4397] ppid=4383 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4386/task/4397/stat : 4397 (java) S 4383 4386 12560 0 -1 1077944384 484 0 0 0 1 0 0 0 20 0 15 0 80701356 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715151719024 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4398] ppid=4383 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4386/task/4398/stat : 4398 (java) S 4383 4386 12560 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 80701356 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715150666224 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4399] ppid=4383 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/4386/task/4399/stat : 4399 (java) R 4383 4386 12560 0 -1 4202560 419 0 0 0 5 0 0 0 20 0 15 0 80701356 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715149613936 140715588560994 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4400] ppid=4383 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4400/stat : 4400 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701357 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715148561376 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4401] ppid=4383 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4401/stat : 4401 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701363 14311342080 10203 18446744073709551615 4194304 4196468 140721758204464 140715147508144 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40812 KiB
[startup+0.702073 s]
/proc/loadavg: 1.81 1.91 1.77 4/210 4401
/proc/meminfo: memFree=24459344/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13977988 memory=71448 CPUtime=1.09 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 13557 0 0 0 104 5 0 0 20 0 15 0 80701344 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3494497 17862 3727 1 0 3483271 0
[pid=4386/tid=4388] ppid=4383 vsize=13977988 memory=33 CPUtime=0.56 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 9834 0 0 0 52 4 0 0 20 0 15 0 80701351 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715613825088 140715593672030 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13977988 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701352 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13977988 memory=14269294972247080 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80701353 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80701354 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80701354 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4396] ppid=4383 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4396/stat : 4396 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715152771152 140715609610139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4397] ppid=4383 vsize=13977988 memory=7809523229951467568 CPUtime=0.15 cores=1,3,5,7
/proc/4386/task/4397/stat : 4397 (java) R 4383 4386 12560 0 -1 1077944384 1023 0 0 0 15 0 0 0 20 0 15 0 80701356 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715151702608 140715609601749 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4398] ppid=4383 vsize=13977988 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4386/task/4398/stat : 4398 (java) R 4383 4386 12560 0 -1 4202560 517 0 0 0 13 0 0 0 20 0 15 0 80701356 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715150653616 140715593118211 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4399] ppid=4383 vsize=13977988 memory=-6205556071782047360 CPUtime=0.23 cores=1,3,5,7
/proc/4386/task/4399/stat : 4399 (java) R 4383 4386 12560 0 -1 4202560 803 0 0 0 23 0 0 0 20 0 15 0 80701356 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715149610872 140715609603478 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4400] ppid=4383 vsize=13977988 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4400/stat : 4400 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701357 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715148561376 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4401] ppid=4383 vsize=13977988 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4401/stat : 4401 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701363 14313459712 17862 18446744073709551615 4194304 4196468 140721758204464 140715147508144 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 71448 KiB
[startup+1.50077 s]
/proc/loadavg: 1.81 1.91 1.77 5/210 4401
/proc/meminfo: memFree=24402696/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13980036 memory=182880 CPUtime=3.76 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 30323 0 0 0 366 10 0 0 20 0 15 0 80701344 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3495009 45720 3760 1 0 3483783 0
[pid=4386/tid=4388] ppid=4383 vsize=13980036 memory=4144 CPUtime=1.35 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 13774 0 0 0 129 6 0 0 20 0 15 0 80701351 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715613829472 140715230542280 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13980036 memory=44780 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13980036 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13980036 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13980036 memory=9120 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13980036 memory=19650 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 80701353 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80701354 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80701354 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4396] ppid=4383 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4396/stat : 4396 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715152771152 140715609610139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4397] ppid=4383 vsize=13980036 memory=7680170660397595203 CPUtime=0.88 cores=1,3,5,7
/proc/4386/task/4397/stat : 4397 (java) R 4383 4386 12560 0 -1 4202560 4556 0 0 0 88 0 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715151705456 140715593123191 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4398] ppid=4383 vsize=13980036 memory=1620 CPUtime=0.84 cores=1,3,5,7
/proc/4386/task/4398/stat : 4398 (java) R 4383 4386 12560 0 -1 4202560 4225 0 0 0 83 1 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715150651056 140715593978592 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4399] ppid=4383 vsize=13980036 memory=920 CPUtime=0.64 cores=1,3,5,7
/proc/4386/task/4399/stat : 4399 (java) S 4383 4386 12560 0 -1 1077944384 6360 0 0 0 63 1 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715149613936 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4400] ppid=4383 vsize=13980036 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4400/stat : 4400 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701357 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715148561376 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4401] ppid=4383 vsize=13980036 memory=832 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4401/stat : 4401 (java) S 4383 4386 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 80701363 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715147508144 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 182880 KiB
[startup+1.58938 s]
# the end of solver process 4386 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.89312 s, system=0.115697 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50077 s]
/proc/loadavg: 1.81 1.91 1.77 5/210 4401
/proc/meminfo: memFree=24402696/32770624 swapFree=67105588/67108860
[pid=4386] ppid=4383 vsize=13980036 memory=182880 CPUtime=3.76 cores=1,3,5,7
/proc/4386/stat : 4386 (java) S 4383 4386 12560 0 -1 1077944320 30323 0 0 0 366 10 0 0 20 0 15 0 80701344 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140721758187008 140715609591543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
/proc/4386/statm: 3495009 45720 3760 1 0 3483783 0
[pid=4386/tid=4388] ppid=4383 vsize=13980036 memory=4144 CPUtime=1.35 cores=1,3,5,7
/proc/4386/task/4388/stat : 4388 (java) R 4383 4386 12560 0 -1 4202560 13774 0 0 0 129 6 0 0 20 0 15 0 80701351 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715613829472 140715230542280 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4389] ppid=4383 vsize=13980036 memory=44780 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4389/stat : 4389 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715209964432 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4390] ppid=4383 vsize=13980036 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4390/stat : 4390 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715208911632 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4391] ppid=4383 vsize=13980036 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4391/stat : 4391 (java) S 4383 4386 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715207859344 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4392] ppid=4383 vsize=13980036 memory=9120 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4392/stat : 4392 (java) S 4383 4386 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80701352 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715206806544 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4393] ppid=4383 vsize=13980036 memory=19650 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4393/stat : 4393 (java) S 4383 4386 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 80701353 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715155929200 140715609602690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4394] ppid=4383 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4394/stat : 4394 (java) S 4383 4386 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80701354 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715154875168 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4395] ppid=4383 vsize=13980036 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4395/stat : 4395 (java) S 4383 4386 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80701354 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715153822832 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4396] ppid=4383 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4396/stat : 4396 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715152771152 140715609610139 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4397] ppid=4383 vsize=13980036 memory=7680170660397595203 CPUtime=0.88 cores=1,3,5,7
/proc/4386/task/4397/stat : 4397 (java) R 4383 4386 12560 0 -1 4202560 4556 0 0 0 88 0 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715151705456 140715593123191 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4398] ppid=4383 vsize=13980036 memory=1620 CPUtime=0.84 cores=1,3,5,7
/proc/4386/task/4398/stat : 4398 (java) R 4383 4386 12560 0 -1 4202560 4225 0 0 0 83 1 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715150651056 140715593978592 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4399] ppid=4383 vsize=13980036 memory=920 CPUtime=0.64 cores=1,3,5,7
/proc/4386/task/4399/stat : 4399 (java) S 4383 4386 12560 0 -1 1077944384 6360 0 0 0 63 1 0 0 20 0 15 0 80701356 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715149613936 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4400] ppid=4383 vsize=13980036 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4400/stat : 4400 (java) S 4383 4386 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80701357 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715148561376 140715609601749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
[pid=4386/tid=4401] ppid=4383 vsize=13980036 memory=832 CPUtime=0 cores=1,3,5,7
/proc/4386/task/4401/stat : 4401 (java) S 4383 4386 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 80701363 14315556864 45720 18446744073709551615 4194304 4196468 140721758204464 140715147508144 140715609602690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38359040 140721758212462 140721758212649 140721758212649 140721758216143 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 182880 KiB
Child status: 0
Real time (s): 1.58942
CPU time (s): 4.00882
CPU user time (s): 3.89312
CPU system time (s): 0.115697
CPU usage (%): 252.219
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 182880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.89312
system time used= 0.115697
maximum resident set size= 189816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1962
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 4386
# total CPU time (s): 4.00882
# total CPU user time (s): 3.89312
# total CPU system time (s): 0.115697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032613 second user time and 0.054355 second system time
The end