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 (13420 MiB free)
memory of node 1: 16384 MiB (13222 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299685-1532806309/watcher-4299685-1532806309 -o /tmp/evaluation-result-4299685-1532806309/solver-4299685-1532806309 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532774102-26074 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299685-1532806309.xml
running on 4 cores: 0,2,4,6
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=30347, runsolver pid=30344
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.16 1.21 1.26 4/216 30362
/proc/meminfo: memFree=27266160/32770624 swapFree=67108436/67108860
[pid=30347] ppid=30344 vsize=10658972 memory=27232 CPUtime=0.12 cores=0,2,4,6
/proc/30347/stat : 30347 (java) S 30344 30347 26043 0 -1 1077944320 5246 0 0 0 11 1 0 0 20 0 15 0 98194034 10914787328 6808 33554432000 4194304 4196468 140730668309920 140730668292464 139785169833719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
/proc/30347/statm: 2664743 6808 2796 1 0 2627263 0
[pid=30347/tid=30349] ppid=30344 vsize=10658972 memory=-8269626465541460609 CPUtime=0.08 cores=0,2,4,6
/proc/30347/task/30349/stat : 30349 (java) R 30344 30347 26043 0 -1 4202560 3107 0 0 0 8 0 0 0 20 0 15 0 98194034 10914787328 6808 33554432000 4194304 4196468 140730668309920 139785174065872 139784760725572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30350] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30350/stat : 30350 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 6808 33554432000 4194304 4196468 140730668309920 139785095908112 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30351] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30351/stat : 30351 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 6808 33554432000 4194304 4196468 140730668309920 139785094855568 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30352] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30352/stat : 30352 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 6808 33554432000 4194304 4196468 140730668309920 139785093803024 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30353] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30353/stat : 30353 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 6808 33554432000 4194304 4196468 140730668309920 139785092750480 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30354] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30354/stat : 30354 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784660908016 139785169844866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30355] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30355/stat : 30355 (java) S 30344 30347 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784659854240 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30356] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30356/stat : 30356 (java) S 30344 30347 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784658801648 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30357] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30357/stat : 30357 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784657750224 139785169852315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30358] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30358/stat : 30358 (java) S 30344 30347 26043 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784656697840 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30359] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30359/stat : 30359 (java) S 30344 30347 26043 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784655645296 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30360] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0.01 cores=0,2,4,6
/proc/30347/task/30360/stat : 30360 (java) R 30344 30347 26043 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784654592752 139785153914206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30361] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30361/stat : 30361 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784653540448 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30362] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30362/stat : 30362 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 6808 33554432000 4194304 4196468 140730668309920 139784652486960 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27232 KiB
[startup+0.2106 s]*
/proc/loadavg: 1.16 1.21 1.26 6/216 30362
/proc/meminfo: memFree=27255044/32770624 swapFree=67108436/67108860
[pid=30347] ppid=30344 vsize=10658972 memory=39888 CPUtime=0.34 cores=0,2,4,6
/proc/30347/stat : 30347 (java) S 30344 30347 26043 0 -1 1077944320 8081 0 0 0 32 2 0 0 20 0 15 0 98194034 10914787328 9972 33554432000 4194304 4196468 140730668309920 140730668292464 139785169833719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
/proc/30347/statm: 2664743 9972 2947 1 0 2627263 0
[pid=30347/tid=30349] ppid=30344 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30347/task/30349/stat : 30349 (java) R 30344 30347 26043 0 -1 4202560 5070 0 0 0 18 1 0 0 20 0 15 0 98194034 10914787328 9972 33554432000 4194304 4196468 140730668309920 139785174072976 139784760729290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30350] ppid=30344 vsize=10658972 memory=345 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30350/stat : 30350 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 9972 33554432000 4194304 4196468 140730668309920 139785095908112 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30351] ppid=30344 vsize=10658972 memory=3473879020107941536 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30351/stat : 30351 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 9972 33554432000 4194304 4196468 140730668309920 139785094855568 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30352] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30352/stat : 30352 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 9972 33554432000 4194304 4196468 140730668309920 139785093803024 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30353] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30353/stat : 30353 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194035 10914787328 9972 33554432000 4194304 4196468 140730668309920 139785092750480 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30354] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30354/stat : 30354 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784660908016 139785169844866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30355] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30355/stat : 30355 (java) S 30344 30347 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784659854240 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30356] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30356/stat : 30356 (java) S 30344 30347 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98194037 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784658801648 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30357] ppid=30344 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30357/stat : 30357 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784657750224 139785169852315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30358] ppid=30344 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30347/task/30358/stat : 30358 (java) R 30344 30347 26043 0 -1 4202560 381 0 0 0 2 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784656697840 139785147412880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30359] ppid=30344 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30347/task/30359/stat : 30359 (java) S 30344 30347 26043 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784655645296 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30360] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0.08 cores=0,2,4,6
/proc/30347/task/30360/stat : 30360 (java) R 30344 30347 26043 0 -1 4202560 887 0 0 0 8 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784654588512 139785162070846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30361] ppid=30344 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30361/stat : 30361 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784653540448 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30362] ppid=30344 vsize=10658972 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30362/stat : 30362 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194040 10914787328 9972 33554432000 4194304 4196468 140730668309920 139784652486960 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 39888 KiB
[startup+0.310612 s]*
/proc/loadavg: 1.16 1.21 1.26 4/216 30362
/proc/meminfo: memFree=27247236/32770624 swapFree=67108436/67108860
[pid=30347] ppid=30344 vsize=10659048 memory=47276 CPUtime=0.59 cores=0,2,4,6
/proc/30347/stat : 30347 (java) S 30344 30347 26043 0 -1 1077944320 8918 0 0 0 56 3 0 0 20 0 15 0 98194034 10914865152 11819 33554432000 4194304 4196468 140730668309920 140730668292464 139785169833719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
/proc/30347/statm: 2664762 11819 3054 1 0 2627263 0
[pid=30347/tid=30349] ppid=30344 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/30347/task/30349/stat : 30349 (java) R 30344 30347 26043 0 -1 1077944384 5399 0 0 0 28 2 0 0 20 0 15 0 98194034 10914865152 11819 33554432000 4194304 4196468 140730668309920 139785174070032 139785169843925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30350] ppid=30344 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30350/stat : 30350 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914865152 11819 33554432000 4194304 4196468 140730668309920 139785095908112 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30351] ppid=30344 vsize=10659048 memory=3762669047678191264 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30351/stat : 30351 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914865152 11819 33554432000 4194304 4196468 140730668309920 139785094855568 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30352] ppid=30344 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30352/stat : 30352 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194035 10914865152 11819 33554432000 4194304 4196468 140730668309920 139785093803024 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30353] ppid=30344 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30353/stat : 30353 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194035 10914865152 11819 33554432000 4194304 4196468 140730668309920 139785092750480 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30354] ppid=30344 vsize=10659048 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30354/stat : 30354 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98194037 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784660908016 139785169844866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30355] ppid=30344 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30355/stat : 30355 (java) S 30344 30347 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98194037 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784659854240 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30356] ppid=30344 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30356/stat : 30356 (java) S 30344 30347 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98194037 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784658801648 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30357] ppid=30344 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30357/stat : 30357 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784657750224 139785169852315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30358] ppid=30344 vsize=10659048 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30347/task/30358/stat : 30358 (java) R 30344 30347 26043 0 -1 4202560 515 0 0 0 4 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784656688672 139785162123168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30359] ppid=30344 vsize=10659048 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/30347/task/30359/stat : 30359 (java) R 30344 30347 26043 0 -1 4202560 510 0 0 0 6 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784655645296 139785154225944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30360] ppid=30344 vsize=10659048 memory=140024661362304 CPUtime=0.16 cores=0,2,4,6
/proc/30347/task/30360/stat : 30360 (java) R 30344 30347 26043 0 -1 4202560 1127 0 0 0 16 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784654588512 139785162930436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30361] ppid=30344 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30361/stat : 30361 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784653540448 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30362] ppid=30344 vsize=10659048 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30362/stat : 30362 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98194040 10914865152 11819 33554432000 4194304 4196468 140730668309920 139784652486960 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47276 KiB
[startup+0.436275 s]
# the end of solver process 30347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.824277 s, system=0.03905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.41495 s]*
/proc/loadavg: 1.16 1.21 1.26 5/216 30362
/proc/meminfo: memFree=27241528/32770624 swapFree=67108436/67108860
[pid=30347] ppid=30344 vsize=10725612 memory=53536 CPUtime=0.85 cores=0,2,4,6
/proc/30347/stat : 30347 (java) S 30344 30347 26043 0 -1 1077944320 9460 0 0 0 82 3 0 0 20 0 13 0 98194034 10983026688 13384 33554432000 4194304 4196468 140730668309920 140730668292464 139785169833719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
/proc/30347/statm: 2681403 13384 3076 1 0 2643904 0
[pid=30347/tid=30349] ppid=30344 vsize=10725612 memory=7022364594140610616 CPUtime=0.4 cores=0,2,4,6
/proc/30347/task/30349/stat : 30349 (java) S 30344 30347 26043 0 -1 1077944384 5565 0 0 0 38 2 0 0 20 0 13 0 98194034 10983026688 13384 33554432000 4194304 4196468 140730668309920 139785174076560 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30350] ppid=30344 vsize=10725612 memory=345 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30350/stat : 30350 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 98194035 10983026688 13384 33554432000 4194304 4196468 140730668309920 139785095908112 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30351] ppid=30344 vsize=10725612 memory=3473879020107941536 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30351/stat : 30351 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 98194035 10983026688 13384 33554432000 4194304 4196468 140730668309920 139785094855568 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30352] ppid=30344 vsize=10725612 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30352/stat : 30352 (java) S 30344 30347 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 98194035 10983026688 13384 33554432000 4194304 4196468 140730668309920 139785093803024 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30353] ppid=30344 vsize=10725612 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30353/stat : 30353 (java) S 30344 30347 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 98194035 10983026688 13384 33554432000 4194304 4196468 140730668309920 139785092750480 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30354] ppid=30344 vsize=10725612 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30354/stat : 30354 (java) S 30344 30347 26043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 98194037 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784660908224 139785169844866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30355] ppid=30344 vsize=10725612 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30355/stat : 30355 (java) S 30344 30347 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 98194037 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784659854240 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30356] ppid=30344 vsize=10725612 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30356/stat : 30356 (java) S 30344 30347 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 98194037 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784658801648 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30358] ppid=30344 vsize=10725612 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30347/task/30358/stat : 30358 (java) S 30344 30347 26043 0 -1 1077944384 548 0 0 0 8 0 0 0 20 0 13 0 98194040 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784656697840 139785169844866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30359] ppid=30344 vsize=10725612 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/30347/task/30359/stat : 30359 (java) S 30344 30347 26043 0 -1 1077944384 593 0 0 0 10 0 0 0 20 0 13 0 98194040 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784655629808 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30360] ppid=30344 vsize=10725612 memory=-1 CPUtime=0.25 cores=0,2,4,6
/proc/30347/task/30360/stat : 30360 (java) S 30344 30347 26043 0 -1 1077944384 1342 0 0 0 25 0 0 0 20 0 13 0 98194040 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784654588464 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
[pid=30347/tid=30361] ppid=30344 vsize=10725612 memory=140024661362304 CPUtime=0 cores=0,2,4,6
/proc/30347/task/30361/stat : 30361 (java) S 30344 30347 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 98194040 10983026688 13384 33554432000 4194304 4196468 140730668309920 139784653540448 139785169843925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17231872 140730668311725 140730668311817 140730668311817 140730668314575 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 10725612 KiB
Current children cumulated memory: 53536 KiB
Child status: 0
Real time (s): 0.436327
CPU time (s): 0.863327
CPU user time (s): 0.824277
CPU system time (s): 0.03905
CPU usage (%): 197.862
Max. virtual memory (cumulated for all children) (KiB): 10725612
Max. memory (cumulated for all children) (KiB): 53536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.824277
system time used= 0.03905
maximum resident set size= 54180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9465
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= 1262
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 30347
# total CPU time (s): 0.863327
# total CPU user time (s): 0.824277
# total CPU system time (s): 0.03905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02902 second user time and 0.034824 second system time
The end