2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: AbsCon-basic 2017-06-11	? (TO)	2400.12	2393.91

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-4248713-1500742101/watcher-4248713-1500742101 -o /tmp/evaluation-result-4248713-1500742101/solver-4248713-1500742101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500713972-15318 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4248713-1500742101.xml 

pid=22965
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.92 2.01 2.04 3/262 22968
/proc/meminfo: memFree=31652732/32770624 swapFree=6236/147688
[pid=22968] ppid=22965 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 2034 0 0 0 0 0 0 0 20 0 2 0 9478499 8550137856 2244 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2087436 2310 1198 1 0 2076347 0
[pid=22968/tid=22969] ppid=22965 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) R 22965 22968 15286 0 -1 4202560 819 0 0 0 0 0 0 0 20 0 2 0 9478500 8550137856 2376 33554432000 4194304 4196468 140723255383840 140241244346784 140241232394144 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0

[startup+0.100099 s]
/proc/loadavg: 1.92 2.01 2.04 3/262 22968
/proc/meminfo: memFree=31652732/32770624 swapFree=6236/147688
[pid=22968] ppid=22965 vsize=10900580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 4906 0 0 0 8 2 0 0 20 0 20 0 9478499 11162193920 6974 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2725145 6974 2701 1 0 2713552 0
[pid=22968/tid=22969] ppid=22965 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) R 22965 22968 15286 0 -1 4202560 2970 0 0 0 7 1 0 0 20 0 20 0 9478500 11162193920 6974 33554432000 4194304 4196468 140723255383840 140241244342608 140241240126621 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580

[startup+0.20031 s]
/proc/loadavg: 1.92 2.01 2.04 3/262 22968
/proc/meminfo: memFree=31652732/32770624 swapFree=6236/147688
[pid=22968] ppid=22965 vsize=10902664 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 7420 0 0 0 27 3 0 0 20 0 20 0 9478499 11164327936 9783 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2725666 9783 2927 1 0 2713552 0
[pid=22968/tid=22969] ppid=22965 vsize=10902664 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) R 22965 22968 15286 0 -1 4202560 4610 0 0 0 16 2 0 0 20 0 20 0 9478500 11164327936 9783 33554432000 4194304 4196468 140723255383840 140241244334720 140240833535581 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10902664

[startup+0.300293 s]
/proc/loadavg: 1.92 2.01 2.04 3/262 22968
/proc/meminfo: memFree=31652732/32770624 swapFree=6236/147688
[pid=22968] ppid=22965 vsize=10969228 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 8051 0 0 0 45 3 0 0 20 0 21 0 9478499 11232489472 13229 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2742307 13229 2977 1 0 2730193 0
[pid=22968/tid=22969] ppid=22965 vsize=10969228 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11232489472 13229 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228

[startup+0.700224 s]
/proc/loadavg: 1.92 2.01 2.04 3/262 22968
/proc/meminfo: memFree=31652732/32770624 swapFree=6236/147688
[pid=22968] ppid=22965 vsize=10971352 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 11123 0 0 0 145 5 0 0 20 0 21 0 9478499 11234664448 20366 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2742838 20366 3113 1 0 2730705 0
[pid=22968/tid=22969] ppid=22965 vsize=10971352 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11234664448 20366 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10971352

[startup+1.5008 s]
/proc/loadavg: 1.92 2.01 2.04 6/283 22989
/proc/meminfo: memFree=31488540/32770624 swapFree=6236/147748
[pid=22968] ppid=22965 vsize=10973400 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 17263 0 0 0 368 8 0 0 20 0 21 0 9478499 11236761600 45075 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 45075 3135 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45075 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 9478503 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22980/stat : 22980 (java) S 22965 22968 15286 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240445396512 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22981] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22981/stat : 22981 (java) S 22965 22968 15286 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240444343664 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22982] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22982/stat : 22982 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478506 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240443291984 140241240123291 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22983] ppid=22965 vsize=10973400 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22983/stat : 22983 (java) R 22965 22968 15286 0 -1 4202560 1943 0 0 0 57 0 0 0 20 0 21 0 9478506 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240442239640 140241224010700 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22984] ppid=22965 vsize=10973400 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22984/stat : 22984 (java) S 22965 22968 15286 0 -1 1077944384 1748 0 0 0 45 0 0 0 20 0 21 0 9478506 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240441186544 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22985] ppid=22965 vsize=10973400 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22985/stat : 22985 (java) R 22965 22968 15286 0 -1 4202560 2163 0 0 0 56 0 0 0 20 0 21 0 9478506 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240440125584 140241220564054 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22986] ppid=22965 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22986/stat : 22986 (java) S 22965 22968 15286 0 -1 1077944384 2477 0 0 0 65 0 0 0 20 0 21 0 9478506 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240439080944 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22987] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22987/stat : 22987 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240438029408 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 2855 0 0 0 122 3 0 0 20 0 21 0 9478523 11236761600 45075 33554432000 4194304 4196468 140723255383840 140240433784088 140240838644611 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 10973400

[startup+3.10084 s]
/proc/loadavg: 1.92 2.01 2.04 3/283 22989
/proc/meminfo: memFree=31482340/32770624 swapFree=6236/147744
[pid=22968] ppid=22965 vsize=10973400 CPUtime=5.86 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 19489 0 0 0 577 9 0 0 20 0 21 0 9478499 11236761600 45841 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 45841 3136 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 45841 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 9478503 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22980/stat : 22980 (java) S 22965 22968 15286 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240445396512 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22981] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22981/stat : 22981 (java) S 22965 22968 15286 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240444343664 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22982] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22982/stat : 22982 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478506 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240443291984 140241240123291 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22983] ppid=22965 vsize=10973400 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22983/stat : 22983 (java) S 22965 22968 15286 0 -1 1077944384 2283 0 0 0 76 0 0 0 20 0 21 0 9478506 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240442239344 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22984] ppid=22965 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22984/stat : 22984 (java) S 22965 22968 15286 0 -1 1077944384 2274 0 0 0 53 0 0 0 20 0 21 0 9478506 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240441186544 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22985] ppid=22965 vsize=10973400 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22985/stat : 22985 (java) S 22965 22968 15286 0 -1 1077944384 2725 0 0 0 77 0 0 0 20 0 21 0 9478506 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240440133744 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22986] ppid=22965 vsize=10973400 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22986/stat : 22986 (java) S 22965 22968 15286 0 -1 1077944384 2529 0 0 0 67 0 0 0 20 0 21 0 9478506 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240439080944 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22987] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22987/stat : 22987 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240438029408 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 3551 0 0 0 282 3 0 0 20 0 21 0 9478523 11236761600 45841 33554432000 4194304 4196468 140723255383840 140240433783720 140240838603499 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 10973400

[startup+6.3009 s]
/proc/loadavg: 1.85 1.99 2.03 3/283 22989
/proc/meminfo: memFree=31478368/32770624 swapFree=6236/147752
[pid=22968] ppid=22965 vsize=10973400 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 23579 0 0 0 921 10 0 0 20 0 21 0 9478499 11236761600 46499 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 46499 3142 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 9478501 11236761600 46499 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 21 0 9478503 11236761600 46499 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 1395 0 0 0 37 39 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=2321.24 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 19172 0 0 0 232119 5 0 0 20 0 21 0 9478523 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240433784344 140240838644673 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 2328.48
Current children cumulated vsize (KiB) 10973400

[startup+2382.3 s]
/proc/loadavg: 2.00 1.92 1.94 3/283 24522
/proc/meminfo: memFree=31344356/32770624 swapFree=6236/152492
[pid=22968] ppid=22965 vsize=10973400 CPUtime=2388.49 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 78131 0 0 0 238722 127 0 0 20 0 21 0 9478499 11236761600 89385 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 89385 3179 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2006 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2951 0 0 0 10 8 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 987 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 817 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1687 0 0 0 11 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1169 0 0 0 11 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 1209 0 0 0 10 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 1528 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 3467 0 0 0 4 2 0 0 20 0 21 0 9478503 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22980/stat : 22980 (java) S 22965 22968 15286 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240445396576 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22981] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22981/stat : 22981 (java) S 22965 22968 15286 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240444343664 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22982] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22982/stat : 22982 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240443291984 140241240123291 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22983] ppid=22965 vsize=10973400 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22983/stat : 22983 (java) S 22965 22968 15286 0 -1 1077944384 9683 0 0 0 127 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240442239344 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22984] ppid=22965 vsize=10973400 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22984/stat : 22984 (java) S 22965 22968 15286 0 -1 1077944384 8481 0 0 0 99 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240441186544 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22985] ppid=22965 vsize=10973400 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22985/stat : 22985 (java) S 22965 22968 15286 0 -1 1077944384 8586 0 0 0 137 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240440133744 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22986] ppid=22965 vsize=10973400 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22986/stat : 22986 (java) S 22965 22968 15286 0 -1 1077944384 8723 0 0 0 80 2 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240439080944 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22987] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22987/stat : 22987 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240438029408 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 1401 0 0 0 38 39 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=2381.23 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 19283 0 0 0 238118 5 0 0 20 0 21 0 9478523 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240433784584 140240838603264 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 2388.49
Current children cumulated vsize (KiB) 10973400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2393.9 s]
/proc/loadavg: 1.92 1.91 1.93 3/283 24522
/proc/meminfo: memFree=31344356/32770624 swapFree=6236/152504
[pid=22968] ppid=22965 vsize=10973400 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 78444 0 0 0 239882 127 0 0 20 0 21 0 9478499 11236761600 89385 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 89385 3179 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2006 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2951 0 0 0 10 8 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 987 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 817 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1687 0 0 0 11 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1169 0 0 0 11 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 1209 0 0 0 10 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 1528 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 3473 0 0 0 4 2 0 0 20 0 21 0 9478503 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22980/stat : 22980 (java) S 22965 22968 15286 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240445396576 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22981] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22981/stat : 22981 (java) S 22965 22968 15286 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240444343664 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22982] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22982/stat : 22982 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240443291984 140241240123291 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22983] ppid=22965 vsize=10973400 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22983/stat : 22983 (java) S 22965 22968 15286 0 -1 1077944384 9683 0 0 0 127 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240442239344 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22984] ppid=22965 vsize=10973400 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22984/stat : 22984 (java) S 22965 22968 15286 0 -1 1077944384 8481 0 0 0 99 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240441186544 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22985] ppid=22965 vsize=10973400 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22985/stat : 22985 (java) S 22965 22968 15286 0 -1 1077944384 8586 0 0 0 137 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240440133744 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22986] ppid=22965 vsize=10973400 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22986/stat : 22986 (java) S 22965 22968 15286 0 -1 1077944384 8723 0 0 0 80 2 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240439080944 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22987] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22987/stat : 22987 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240438029408 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 1430 0 0 0 38 40 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=2392.83 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 19561 0 0 0 239277 6 0 0 20 0 21 0 9478523 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240433784584 140240840168409 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22968 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2393.9 s]
/proc/loadavg: 1.92 1.91 1.93 3/283 24522
/proc/meminfo: memFree=31344356/32770624 swapFree=6236/152504
[pid=22968] ppid=22965 vsize=10973400 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/22968/stat : 22968 (java) S 22965 22968 15286 0 -1 1077944320 78444 0 0 0 239882 127 0 0 20 0 21 0 9478499 11236761600 89385 33554432000 4194304 4196468 140723255383840 140723255366384 140241240104695 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
/proc/22968/statm: 2743350 89385 3179 1 0 2731217 0
[pid=22968/tid=22969] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22969/stat : 22969 (java) S 22965 22968 15286 0 -1 1077944384 4693 0 0 0 19 2 0 0 20 0 21 0 9478500 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241244347568 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22971] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22971/stat : 22971 (java) S 22965 22968 15286 0 -1 1077944384 2006 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241166179472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22972] ppid=22965 vsize=10973400 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22972/stat : 22972 (java) S 22965 22968 15286 0 -1 1077944384 2951 0 0 0 10 8 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241165126672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22973] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22973/stat : 22973 (java) S 22965 22968 15286 0 -1 1077944384 987 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241164073872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22974] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22974/stat : 22974 (java) S 22965 22968 15286 0 -1 1077944384 817 0 0 0 10 11 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241163021072 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22975] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22975/stat : 22975 (java) S 22965 22968 15286 0 -1 1077944384 1687 0 0 0 11 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241161968272 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22976] ppid=22965 vsize=10973400 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22976/stat : 22976 (java) S 22965 22968 15286 0 -1 1077944384 1169 0 0 0 11 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241160915472 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22977] ppid=22965 vsize=10973400 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22977/stat : 22977 (java) S 22965 22968 15286 0 -1 1077944384 1209 0 0 0 10 10 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241159862672 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22978] ppid=22965 vsize=10973400 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22978/stat : 22978 (java) S 22965 22968 15286 0 -1 1077944384 1528 0 0 0 10 9 0 0 20 0 21 0 9478501 11236761600 89385 33554432000 4194304 4196468 140723255383840 140241158809872 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22979] ppid=22965 vsize=10973400 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22979/stat : 22979 (java) S 22965 22968 15286 0 -1 1077944384 3473 0 0 0 4 2 0 0 20 0 21 0 9478503 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240446450544 140241240115842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22980] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22980/stat : 22980 (java) S 22965 22968 15286 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240445396576 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22981] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22981/stat : 22981 (java) S 22965 22968 15286 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 9478504 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240444343664 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22982] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22982/stat : 22982 (java) S 22965 22968 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240443291984 140241240123291 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22983] ppid=22965 vsize=10973400 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22983/stat : 22983 (java) S 22965 22968 15286 0 -1 1077944384 9683 0 0 0 127 0 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240442239344 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22984] ppid=22965 vsize=10973400 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22984/stat : 22984 (java) S 22965 22968 15286 0 -1 1077944384 8481 0 0 0 99 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240441186544 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22985] ppid=22965 vsize=10973400 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22985/stat : 22985 (java) S 22965 22968 15286 0 -1 1077944384 8586 0 0 0 137 1 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240440133744 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22986] ppid=22965 vsize=10973400 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22986/stat : 22986 (java) S 22965 22968 15286 0 -1 1077944384 8723 0 0 0 80 2 0 0 20 0 21 0 9478506 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240439080944 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22987] ppid=22965 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22987/stat : 22987 (java) S 22965 22968 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240438029408 140241240114901 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22988] ppid=22965 vsize=10973400 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22988/stat : 22988 (java) S 22965 22968 15286 0 -1 1077944384 1430 0 0 0 38 40 0 0 20 0 21 0 9478507 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240436976688 140241240115842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
[pid=22968/tid=22989] ppid=22965 vsize=10973400 CPUtime=2392.83 cores=1,3,5,7,9,11,13,15
/proc/22968/task/22989/stat : 22989 (java) R 22965 22968 15286 0 -1 4202560 19561 0 0 0 239277 6 0 0 20 0 21 0 9478523 11236761600 89385 33554432000 4194304 4196468 140723255383840 140240433784584 140240840168409 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16531456 140723255391427 140723255391556 140723255391556 140723255394255 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10973400

Child status: 143
Real time (s): 2393.91
CPU time (s): 2400.12
CPU user time (s): 2398.84
CPU system time (s): 1.28089
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 10973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.84
system time used= 1.28089
maximum resident set size= 363168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57383
involuntary context switches= 122252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1547 second user time and 17.3626 second system time

The end

Begin job on node123 at 2017-07-22 18:48:21
IDJOB=4248713
IDBENCH=133917
IDSOLVER=2624
FILE ID=node123/4248713-1500742101
RUNJOBID= node123-1500713972-15318
PBS_JOBID= 20623352
Free space on /tmp= 62004 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-30.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248713-1500742101/watcher-4248713-1500742101 -o /tmp/evaluation-result-4248713-1500742101/solver-4248713-1500742101 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500713972-15318 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4248713-1500742101.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 342946d6497bc5c3a3caf7e92c124315
RANDOM SEED=1226012288

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31652780 kB
MemAvailable:   31783660 kB
Buffers:          165732 kB
Cached:           236180 kB
SwapCached:            0 kB
Active:           450704 kB
Inactive:         209448 kB
Active(anon):     208140 kB
Inactive(anon):    61760 kB
Active(file):     242564 kB
Inactive(file):   147688 kB
Unevictable:        6236 kB
Mlocked:            6236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7816 kB
Writeback:            12 kB
AnonPages:        264216 kB
Mapped:            42656 kB
Shmem:              8840 kB
Slab:             147212 kB
SReclaimable:     112928 kB
SUnreclaim:        34284 kB
KernelStack:        4512 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1113948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61996 MiB
End job on node123 at 2017-07-22 19:28:15

Name	SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-30.xml
MD5SUM	342946d6497bc5c3a3caf7e92c124315
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	1335
Number of constraints	555
Number of domains	2
Minimum domain size	30
Maximum domain size	435
Distribution of domain sizes	[{"size":30,"count":900},{"size":435,"count":435}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":450},{"degree":4,"count":885}]
Minimum constraint arity	1
Maximum constraint arity	435
Distribution of constraint arities	[{"arity":1,"count":15},{"arity":2,"count":15},{"arity":3,"count":435},{"arity":15,"count":29},{"arity":30,"count":30},{"arity":58,"count":15},{"arity":60,"count":15},{"arity":435,"count":1}]
Number of extensional constraints	435
Number of intensional constraints	30
Distribution of constraint types	[{"type":"extension","count":435},{"type":"intension","count":30},{"type":"allDifferent","count":31},{"type":"count","count":29},{"type":"cardinality","count":30}]
Optimization problem	NO
Type of objective

Trace number 4248713

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data