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-4245336-1500699885/watcher-4245336-1500699885 -o /tmp/evaluation-result-4245336-1500699885/solver-4245336-1500699885 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 329276150 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245336-1500699885.xml
pid=11860
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: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 2268 0 0 0 0 0 0 0 20 0 10 0 5256871 11367948288 2517 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 2775378 2517 1199 1 0 2764289 0
[pid=11863/tid=11864] ppid=11860 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 993 0 0 0 0 0 0 0 20 0 10 0 5256871 12866150400 2527 33554432000 4194304 4196468 140723028058208 139861583272040 139861565111239 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2527 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2592 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2592 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2592 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2592 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2658 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2658 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 5256872 12867006464 2658 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[startup+0.100101 s]
/proc/loadavg: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 5527 0 0 0 9 1 0 0 20 0 20 0 5256871 13582725120 6118 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 3316095 6118 3311 1 0 3303815 0
[pid=11863/tid=11864] ppid=11860 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 3607 0 0 0 8 0 0 0 20 0 20 0 5256871 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861583265952 139861563110750 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5256872 13582725120 6118 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.201155 s]
/proc/loadavg: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 8769 0 0 0 24 2 0 0 20 0 20 0 5256871 13582245888 8728 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 3315978 8728 3508 1 0 3303698 0
[pid=11863/tid=11864] ppid=11860 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 6468 0 0 0 17 1 0 0 20 0 20 0 5256871 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861583260008 139861579052189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 8728 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300882 s]
/proc/loadavg: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 9848 0 0 0 40 3 0 0 20 0 20 0 5256871 13582245888 11050 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 3315978 11050 3632 1 0 3303698 0
[pid=11863/tid=11864] ppid=11860 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 7251 0 0 0 26 2 0 0 20 0 20 0 5256871 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861583244016 139861579052189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5256872 13582245888 11050 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.70066 s]
/proc/loadavg: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=13268028 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 12872 0 0 0 107 4 0 0 20 0 20 0 5256871 13586460672 18633 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 3317007 18633 3749 1 0 3304722 0
[pid=11863/tid=11864] ppid=11860 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 9291 0 0 0 65 2 0 0 20 0 20 0 5256871 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861583264944 139861579051610 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 18633 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11863 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800876 s]
/proc/loadavg: 2.27 1.67 1.50 3/263 11863
/proc/meminfo: memFree=31459268/32770624 swapFree=5896/106564
[pid=11863] ppid=11860 vsize=13268028 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/11863/stat : 11863 (java) S 11860 11863 8659 0 -1 1077944320 14901 0 0 0 140 5 0 0 20 0 20 0 5256871 13586460672 24293 33554432000 4194304 4196468 140723028058208 140723028040752 139861579030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
/proc/11863/statm: 3317007 24293 3774 1 0 3304722 0
[pid=11863/tid=11864] ppid=11860 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11864/stat : 11864 (java) R 11860 11863 8659 0 -1 4202560 9980 0 0 0 74 3 0 0 20 0 20 0 5256871 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861583268272 139861200493593 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11865] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11865/stat : 11865 (java) S 11860 11863 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861517994256 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11866] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11866/stat : 11866 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861177096592 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11867] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11867/stat : 11867 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861176044048 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11868] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11868/stat : 11868 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861174991504 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11869] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11869/stat : 11869 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861173938960 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11870] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11870/stat : 11870 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861172886416 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11871] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11871/stat : 11871 (java) S 11860 11863 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861171833872 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
[pid=11863/tid=11872] ppid=11860 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11863/task/11872/stat : 11872 (java) S 11860 11863 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5256872 13586460672 24293 33554432000 4194304 4196468 140723028058208 139861170781328 139861579040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22650880 140723028063370 140723028063556 140723028063556 140723028066255 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 0.878134
CPU time (s): 1.68474
CPU user time (s): 1.62376
CPU system time (s): 0.060981
CPU usage (%): 191.854
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62376
system time used= 0.060981
maximum resident set size= 110684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15643
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= 2139
involuntary context switches= 149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014472 second user time and 0.012542 second system time
The end