runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247317-1500723050/watcher-4247317-1500723050 -o /tmp/evaluation-result-4247317-1500723050/solver-4247317-1500723050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500715858-19808 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1278289111 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247317-1500723050.xml
pid=21347
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 2230 0 0 0 0 0 0 0 20 0 3 0 7569878 10890817536 2452 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 2658891 2452 1188 1 0 2647802 0
[pid=21350/tid=21351] ppid=21347 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) S 21347 21350 19776 0 -1 1077944384 919 0 0 0 0 0 0 0 20 0 5 0 7569879 10892922880 2452 33554432000 4194304 4196468 140735026445424 140298461550288 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=10637620 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7569880 10892922880 2452 33554432000 4194304 4196468 140735026445424 140298396273376 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 7569880 10893975552 2452 33554432000 4194304 4196468 140735026445424 140298055801440 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=10638648 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 7569880 10893975552 2452 33554432000 4194304 4196468 140735026445424 140298054749152 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=10639676 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 7569880 10895028224 2452 33554432000 4194304 4196468 140735026445424 140298053696352 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=10639676 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 7569880 10895028224 2452 33554432000 4194304 4196468 140735026445424 140298052644064 140298457319125 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=10640704 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) R 21347 21350 19776 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 7569880 10896080896 2452 33554432000 4194304 4196468 140735026445424 140298461550288 140298457304420 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[startup+0.100098 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 5914 0 0 0 9 1 0 0 20 0 20 0 7569878 13582245888 6196 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 3315978 6196 2896 1 0 3303698 0
[pid=21350/tid=21351] ppid=21347 vsize=13263912 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) R 21347 21350 19776 0 -1 4202560 3998 0 0 0 7 0 0 0 20 0 20 0 7569879 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298461538296 140298413944694 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298396273040 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298055801104 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298054748816 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298053696016 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298052643728 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 6196 33554432000 4194304 4196468 140735026445424 140298051590928 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200847 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 8876 0 0 0 23 2 0 0 20 0 20 0 7569878 13582245888 9336 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 3315978 9336 3545 1 0 3303698 0
[pid=21350/tid=21351] ppid=21347 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) R 21347 21350 19776 0 -1 4202560 6559 0 0 0 16 1 0 0 20 0 20 0 7569879 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298461536192 140298457330845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298396273040 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298055801104 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298054748816 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298053696016 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298052643728 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 9336 33554432000 4194304 4196468 140735026445424 140298051590928 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300734 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=13263912 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 10259 0 0 0 41 3 0 0 20 0 20 0 7569878 13582245888 11485 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 3315978 11485 3690 1 0 3303698 0
[pid=21350/tid=21351] ppid=21347 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) D 21347 21350 19776 0 -1 1077944384 7346 0 0 0 26 2 0 0 20 0 20 0 7569879 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298461534976 140298457332797 0 4 0 16800975 18446744072101690916 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298396273040 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298055801104 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298054748816 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298053696016 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298052643728 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13582245888 11485 33554432000 4194304 4196468 140735026445424 140298051590928 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912
[startup+0.700472 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=13265980 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 12684 0 0 0 112 5 0 0 20 0 20 0 7569878 13584363520 17948 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 3316495 17948 3754 1 0 3304210 0
[pid=21350/tid=21351] ppid=21347 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) R 21347 21350 19776 0 -1 4202560 8816 0 0 0 64 3 0 0 20 0 20 0 7569879 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298461511536 140298413918807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298396273040 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298055801104 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298054748816 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298053696016 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298052643728 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13584363520 17948 33554432000 4194304 4196468 140735026445424 140298051590928 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13265980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21350 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80059 s]
/proc/loadavg: 1.69 1.46 1.42 3/262 21350
/proc/meminfo: memFree=31409712/32770624 swapFree=5936/291676
[pid=21350] ppid=21347 vsize=13268028 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/21350/stat : 21350 (java) S 21347 21350 19776 0 -1 1077944320 13303 0 0 0 127 5 0 0 20 0 20 0 7569878 13586460672 20186 33554432000 4194304 4196468 140735026445424 140735026427968 140298457308919 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
/proc/21350/statm: 3317007 20186 3756 1 0 3304722 0
[pid=21350/tid=21351] ppid=21347 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21351/stat : 21351 (java) R 21347 21350 19776 0 -1 4202560 9329 0 0 0 74 3 0 0 20 0 20 0 7569879 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298461538064 140298441389406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21352] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21352/stat : 21352 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298396273040 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21353] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21353/stat : 21353 (java) S 21347 21350 19776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298055801104 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21354] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21354/stat : 21354 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298054748816 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21355] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21355/stat : 21355 (java) S 21347 21350 19776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298053696016 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21356] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21356/stat : 21356 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298052643728 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
[pid=21350/tid=21357] ppid=21347 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21350/task/21357/stat : 21357 (java) S 21347 21350 19776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7569880 13586460672 20186 33554432000 4194304 4196468 140735026445424 140298051590928 140298457319125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35217408 140735026451593 140735026451780 140735026451780 140735026454479 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 0.808904
CPU time (s): 1.34746
CPU user time (s): 1.28384
CPU system time (s): 0.063627
CPU usage (%): 166.579
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.28384
system time used= 0.063627
maximum resident set size= 83600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13376
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= 2466
involuntary context switches= 134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011431 second user time and 0.012384 second system time
The end