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

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	? (TO)	2401.39	2325.08

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-4248727-1500751661/watcher-4248727-1500751661 -o /tmp/evaluation-result-4248727-1500751661/solver-4248727-1500751661 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500747052-23563 --watchdog 2560 bin/concrete HOME/instance-4248727-1500751661.xml 

pid=24412
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.80 1.84 1.84 2/238 24415
/proc/meminfo: memFree=31557784/32770624 swapFree=5728/314932
[pid=24415] ppid=24412 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (bash) S 24412 24415 19893 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 10435245 9736192 350 33554432000 4194304 5098028 140730471877920 140730471875560 140317946788864 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25731072 140730471884046 140730471884131 140730471884131 140730471886830 0
/proc/24415/statm: 2377 350 277 221 0 86 0

[startup+0.100099 s]
/proc/loadavg: 1.80 1.84 1.84 2/238 24415
/proc/meminfo: memFree=31557784/32770624 swapFree=5728/314932
[pid=24415] ppid=24412 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (bash) S 24412 24415 19893 0 -1 4202496 879 6416 0 0 0 0 0 1 20 0 1 0 10435245 9871360 378 33554432000 4194304 5098028 140730471877920 140730471871928 140317946788864 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 25731072 140730471884046 140730471884131 140730471884131 140730471886830 0
/proc/24415/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200304 s]
/proc/loadavg: 1.80 1.84 1.84 2/238 24415
/proc/meminfo: memFree=31557784/32770624 swapFree=5728/314932
[pid=24415] ppid=24412 vsize=10635552 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 5327 12707 0 0 7 1 7 3 20 0 16 0 10435245 10890805248 4646 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2659145 4647 2185 1 0 2647583 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10635552

[startup+0.300289 s]
/proc/loadavg: 1.80 1.84 1.84 2/238 24415
/proc/meminfo: memFree=31557784/32770624 swapFree=5728/314932
[pid=24415] ppid=24412 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 9810 12707 0 0 23 3 7 3 20 0 20 0 10435245 11164049408 10343 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2725598 10343 2982 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700238 s]
/proc/loadavg: 1.80 1.84 1.84 2/238 24415
/proc/meminfo: memFree=31557784/32770624 swapFree=5728/314932
[pid=24415] ppid=24412 vsize=10902720 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 12445 12707 0 0 73 5 7 3 20 0 20 0 10435245 11164385280 14803 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2725680 14803 3161 1 0 2713890 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10902720

[startup+1.50081 s]
/proc/loadavg: 1.80 1.84 1.84 3/281 24589
/proc/meminfo: memFree=31421616/32770624 swapFree=5728/315008
[pid=24415] ppid=24412 vsize=10913344 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 25026 12707 0 0 201 13 7 3 20 0 20 0 10435245 11175264256 44741 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2728336 44741 3404 1 0 2716450 0
[pid=24415/tid=24482] ppid=24412 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) R 24412 24415 19893 0 -1 4202560 18224 12707 0 0 127 6 7 3 20 0 20 0 10435257 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640483274208 140640463127902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) S 24412 24415 19893 0 -1 1077944384 126 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640450890000 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) S 24412 24415 19893 0 -1 1077944384 46 12707 0 0 0 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640084396432 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) S 24412 24415 19893 0 -1 1077944384 9 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640083343888 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) S 24412 24415 19893 0 -1 1077944384 23 12707 0 0 0 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640082291344 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) S 24412 24415 19893 0 -1 1077944384 14 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640081238800 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) S 24412 24415 19893 0 -1 1077944384 19 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640080186256 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) S 24412 24415 19893 0 -1 1077944384 36 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640079133712 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) S 24412 24415 19893 0 -1 1077944384 17 12707 0 0 1 0 7 3 20 0 20 0 10435258 11175264256 44741 33554432000 4194304 4196468 140731559198112 140640078081168 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 681 12707 0 0 1 0 7 3 20 0 20 0 10435260 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639229069296 140640479058562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 56 12707 0 0 0 0 7 3 20 0 20 0 10435261 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639228015584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 45 12707 0 0 0 0 7 3 20 0 20 0 10435261 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 1 12707 0 0 0 0 7 3 20 0 20 0 10435265 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 633 12707 0 0 10 0 7 3 20 0 20 0 10435265 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639224859120 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 1387 12707 0 0 16 0 7 3 20 0 20 0 10435265 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 492 12707 0 0 11 0 7 3 20 0 20 0 10435265 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10913344 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 1082 12707 0 0 24 0 7 3 20 0 20 0 10435265 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11175264256 44741 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10913344

[startup+3.10114 s]
/proc/loadavg: 1.80 1.84 1.84 5/281 24589
/proc/meminfo: memFree=31214372/32770624 swapFree=5728/315064
[pid=24415] ppid=24412 vsize=10927868 CPUtime=5.9 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 42453 12707 0 0 561 19 7 3 20 0 20 0 10435245 11190136832 57498 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2731967 57498 3474 1 0 2719522 0
[pid=24415/tid=24482] ppid=24412 vsize=10927868 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) R 24412 24415 19893 0 -1 4202560 30237 12707 0 0 283 8 7 3 20 0 20 0 10435257 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640483278152 140640457050265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) S 24412 24415 19893 0 -1 1077944384 126 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640450890000 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) S 24412 24415 19893 0 -1 1077944384 46 12707 0 0 0 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640084396432 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) S 24412 24415 19893 0 -1 1077944384 9 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640083343888 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) S 24412 24415 19893 0 -1 1077944384 23 12707 0 0 0 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640082291344 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) S 24412 24415 19893 0 -1 1077944384 14 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640081238800 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) S 24412 24415 19893 0 -1 1077944384 19 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640080186256 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) S 24412 24415 19893 0 -1 1077944384 36 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640079133712 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) S 24412 24415 19893 0 -1 1077944384 17 12707 0 0 1 0 7 3 20 0 20 0 10435258 11190136832 57498 33554432000 4194304 4196468 140731559198112 140640078081168 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 690 12707 0 0 1 0 7 3 20 0 20 0 10435260 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639229069296 140640479058562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 56 12707 0 0 0 0 7 3 20 0 20 0 10435261 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639228015584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 45 12707 0 0 0 0 7 3 20 0 20 0 10435261 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 1 12707 0 0 0 0 7 3 20 0 20 0 10435265 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=10927868 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 2724 12707 0 0 70 1 7 3 20 0 20 0 10435265 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639224859120 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=10927868 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 1793 12707 0 0 45 0 7 3 20 0 20 0 10435265 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10927868 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 1353 12707 0 0 51 1 7 3 20 0 20 0 10435265 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10927868 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 3128 12707 0 0 98 1 7 3 20 0 20 0 10435265 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 4 12707 0 0 0 0 7 3 20 0 20 0 10435266 11190136832 57498 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 10927868

[startup+6.30122 s]
/proc/loadavg: 1.89 1.86 1.85 9/281 24589
/proc/meminfo: memFree=30884448/32770624 swapFree=5728/315060
[pid=24415] ppid=24412 vsize=10997500 CPUtime=17.57 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 76328 12707 0 0 1714 33 7 3 20 0 20 0 10435245 11261440000 94899 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2749375 94899 3503 1 0 2736930 0
[pid=24415/tid=24482] ppid=24412 vsize=10997500 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) R 24412 24415 19893 0 -1 4202560 43751 12707 0 0 590 12 7 3 20 0 20 0 10435257 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640483282280 140640130120133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=10997500 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) S 24412 24415 19893 0 -1 1077944384 236 12707 0 0 3 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640450890000 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) S 24412 24415 19893 0 -1 1077944384 179 12707 0 0 4 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640084396432 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) S 24412 24415 19893 0 -1 1077944384 979 12707 0 0 4 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640083343888 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=10997500 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) S 24412 24415 19893 0 -1 1077944384 47 12707 0 0 3 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640082291344 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) S 24412 24415 19893 0 -1 1077944384 82 12707 0 0 4 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640081238800 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=10997500 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) S 24412 24415 19893 0 -1 1077944384 174 12707 0 0 4 0 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640080186256 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) S 24412 24415 19893 0 -1 1077944384 98 12707 0 0 4 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640079133712 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) S 24412 24415 19893 0 -1 1077944384 43 12707 0 0 4 1 7 3 20 0 20 0 10435258 11261440000 94899 33554432000 4194304 4196468 140731559198112 140640078081168 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 2336 12707 0 0 5 0 7 3 20 0 20 0 10435260 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639229069296 140640479058562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 62 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639228015584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 49 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 1 12707 0 0 0 0 7 3 20 0 20 0 10435265 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=10997500 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 6074 12707 0 0 304 1 7 3 20 0 20 0 10435265 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639224859120 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=10997500 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 7244 12707 0 0 284 1 7 3 20 0 20 0 10435265 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10997500 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 6062 12707 0 0 295 2 7 3 20 0 20 0 10435265 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10997500 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 6630 12707 0 0 198 3 7 3 20 0 20 0 10435265 11261440000 94899 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15

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

[pid=24415/tid=24496] ppid=24412 vsize=10997500 CPUtime=3.68 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 11545 12707 0 0 356 2 7 3 20 0 20 0 10435265 11261440000 231228 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10997500 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 12085 12707 0 0 326 3 7 3 20 0 20 0 10435265 11261440000 231228 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10997500 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 14734 12707 0 0 203 4 7 3 20 0 20 0 10435265 11261440000 231228 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11261440000 231228 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=10997500 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 1104 12707 0 0 59 63 7 3 20 0 20 0 10435266 11261440000 231228 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 2335.75
Current children cumulated vsize (KiB) 10997500

[startup+2322.3 s]
/proc/loadavg: 1.55 1.57 1.59 3/281 24683
/proc/meminfo: memFree=27280040/32770624 swapFree=5728/316384
[pid=24415] ppid=24412 vsize=10997500 CPUtime=2397.5 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 196961 12707 0 0 239288 452 7 3 20 0 20 0 10435245 11261440000 225712 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2749375 225712 3511 1 0 2736930 0
[pid=24415/tid=24482] ppid=24412 vsize=10997500 CPUtime=2302.29 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) R 24412 24415 19893 0 -1 4202560 81858 12707 0 0 230179 40 7 3 20 0 20 0 10435257 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640483281440 140640121991747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=10997500 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) S 24412 24415 19893 0 -1 1077944384 7017 12707 0 0 902 41 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640450890000 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=10997500 CPUtime=9.35 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) S 24412 24415 19893 0 -1 1077944384 6876 12707 0 0 884 41 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640084396432 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=10997500 CPUtime=9.48 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) S 24412 24415 19893 0 -1 1077944384 6138 12707 0 0 893 45 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640083343888 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=10997500 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) S 24412 24415 19893 0 -1 1077944384 4937 12707 0 0 912 38 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640082291344 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=10997500 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) S 24412 24415 19893 0 -1 1077944384 7168 12707 0 0 913 39 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640081238800 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=10997500 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) S 24412 24415 19893 0 -1 1077944384 6559 12707 0 0 897 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640080186256 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=10997500 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) S 24412 24415 19893 0 -1 1077944384 6316 12707 0 0 902 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640079133712 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=10997500 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) S 24412 24415 19893 0 -1 1077944384 6342 12707 0 0 905 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640078081168 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=10997500 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 12936 12707 0 0 579 41 7 3 20 0 20 0 10435260 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639229069296 140640479058562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 62 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639228015584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 49 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 1 12707 0 0 0 0 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=10997500 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 9078 12707 0 0 331 2 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639224859120 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=10997500 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 11547 12707 0 0 356 3 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10997500 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 12087 12707 0 0 326 3 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10997500 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 14736 12707 0 0 203 4 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=10997500 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 1122 12707 0 0 61 64 7 3 20 0 20 0 10435266 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 2397.5
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2324.8 s]
/proc/loadavg: 1.58 1.58 1.59 3/281 24683
/proc/meminfo: memFree=27282572/32770624 swapFree=5728/316384
[pid=24415] ppid=24412 vsize=10997500 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 197114 12707 0 0 239545 452 7 3 20 0 20 0 10435245 11261440000 225712 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2749375 225712 3511 1 0 2736930 0
[pid=24415/tid=24482] ppid=24412 vsize=10997500 CPUtime=2304.77 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) R 24412 24415 19893 0 -1 4202560 81983 12707 0 0 230427 40 7 3 20 0 20 0 10435257 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640483281600 140640128223616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=10997500 CPUtime=9.55 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) S 24412 24415 19893 0 -1 1077944384 7018 12707 0 0 903 42 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640450890000 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=10997500 CPUtime=9.35 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) S 24412 24415 19893 0 -1 1077944384 6877 12707 0 0 884 41 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640084396432 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=10997500 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) S 24412 24415 19893 0 -1 1077944384 6138 12707 0 0 894 45 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640083343888 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=10997500 CPUtime=9.61 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) S 24412 24415 19893 0 -1 1077944384 4937 12707 0 0 913 38 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640082291344 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=10997500 CPUtime=9.64 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) S 24412 24415 19893 0 -1 1077944384 7169 12707 0 0 915 39 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640081238800 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=10997500 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) S 24412 24415 19893 0 -1 1077944384 6560 12707 0 0 899 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640080186256 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=10997500 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) S 24412 24415 19893 0 -1 1077944384 6317 12707 0 0 903 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640079133712 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=10997500 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) S 24412 24415 19893 0 -1 1077944384 6342 12707 0 0 907 40 7 3 20 0 20 0 10435258 11261440000 225712 33554432000 4194304 4196468 140731559198112 140640078081168 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=10997500 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 12936 12707 0 0 579 41 7 3 20 0 20 0 10435260 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639229069296 140640479058562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 62 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639228015584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 49 12707 0 0 0 0 7 3 20 0 20 0 10435261 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 1 12707 0 0 0 0 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=10997500 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 9078 12707 0 0 331 2 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639224859120 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=10997500 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 11547 12707 0 0 356 3 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=10997500 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 12087 12707 0 0 326 3 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=10997500 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 14736 12707 0 0 203 4 7 3 20 0 20 0 10435265 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 20 0 10435266 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=10997500 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 1145 12707 0 0 61 64 7 3 20 0 20 0 10435266 11261440000 225712 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500

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 24415 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2325 s]
/proc/loadavg: 1.58 1.58 1.59 3/281 24683
/proc/meminfo: memFree=27282572/32770624 swapFree=5728/316384
[pid=24415] ppid=24412 vsize=11130628 CPUtime=2401.09 cores=1,3,5,7,9,11,13,15
/proc/24415/stat : 24415 (java) S 24412 24415 19893 0 -1 1077944320 204619 12707 0 0 239645 454 7 3 20 0 22 0 10435245 11397763072 227930 33554432000 4194304 4196468 140731559198112 140731559180656 140640479047415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
/proc/24415/statm: 2782657 227930 3511 1 0 2770212 0
[pid=24415/tid=24482] ppid=24412 vsize=11130628 CPUtime=2304.78 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24482/stat : 24482 (java) S 24412 24415 19893 0 -1 1077944384 82391 12707 0 0 230428 40 7 3 20 0 22 0 10435257 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640483285120 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24483] ppid=24412 vsize=11130628 CPUtime=9.66 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24483/stat : 24483 (java) R 24412 24415 19893 0 -1 4202560 7064 12707 0 0 914 42 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640450890200 140640460657123 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24484] ppid=24412 vsize=11130628 CPUtime=9.48 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24484/stat : 24484 (java) R 24412 24415 19893 0 -1 4202560 6884 12707 0 0 897 41 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640084396632 140640463746269 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24485] ppid=24412 vsize=11130628 CPUtime=9.62 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24485/stat : 24485 (java) R 24412 24415 19893 0 -1 4202560 6143 12707 0 0 907 45 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640083343888 140640460657198 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24486] ppid=24412 vsize=11130628 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24486/stat : 24486 (java) R 24412 24415 19893 0 -1 4202560 4953 12707 0 0 925 39 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640082291544 140640463504985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24487] ppid=24412 vsize=11130628 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24487/stat : 24487 (java) R 24412 24415 19893 0 -1 4202560 7189 12707 0 0 925 39 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640081238800 140640464043825 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24488] ppid=24412 vsize=11130628 CPUtime=9.61 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24488/stat : 24488 (java) R 24412 24415 19893 0 -1 4202560 6643 12707 0 0 911 40 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640080186256 140640464044061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24489] ppid=24412 vsize=11130628 CPUtime=9.65 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24489/stat : 24489 (java) R 24412 24415 19893 0 -1 4202560 6329 12707 0 0 914 41 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640079133712 140640460657024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24490] ppid=24412 vsize=11130628 CPUtime=9.68 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24490/stat : 24490 (java) R 24412 24415 19893 0 -1 4202560 6346 12707 0 0 918 40 7 3 20 0 22 0 10435258 11397763072 227930 33554432000 4194304 4196468 140731559198112 140640078081168 140640471675623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24491] ppid=24412 vsize=11130628 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24491/stat : 24491 (java) S 24412 24415 19893 0 -1 1077944384 19294 12707 0 0 585 42 7 3 20 0 22 0 10435260 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639229067920 140640479057621 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24492] ppid=24412 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24492/stat : 24492 (java) S 24412 24415 19893 0 -1 1077944384 64 12707 0 0 0 0 7 3 20 0 22 0 10435261 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639228015184 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24493] ppid=24412 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24493/stat : 24493 (java) S 24412 24415 19893 0 -1 1077944384 49 12707 0 0 0 0 7 3 20 0 22 0 10435261 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639226962944 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24494] ppid=24412 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24494/stat : 24494 (java) S 24412 24415 19893 0 -1 1077944384 175 12707 0 0 0 0 7 3 20 0 22 0 10435265 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639225911504 140640479066011 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24495] ppid=24412 vsize=11130628 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24495/stat : 24495 (java) S 24412 24415 19893 0 -1 1077944384 9098 12707 0 0 331 2 7 3 20 0 22 0 10435265 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639224847584 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24496] ppid=24412 vsize=11130628 CPUtime=3.69 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24496/stat : 24496 (java) S 24412 24415 19893 0 -1 1077944384 11547 12707 0 0 356 3 7 3 20 0 22 0 10435265 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639223806576 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24497] ppid=24412 vsize=11130628 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24497/stat : 24497 (java) S 24412 24415 19893 0 -1 1077944384 12087 12707 0 0 326 3 7 3 20 0 22 0 10435265 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639222754032 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24498] ppid=24412 vsize=11130628 CPUtime=2.17 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24498/stat : 24498 (java) S 24412 24415 19893 0 -1 1077944384 14953 12707 0 0 203 4 7 3 20 0 22 0 10435265 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639221701488 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24499] ppid=24412 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24499/stat : 24499 (java) S 24412 24415 19893 0 -1 1077944384 3 12707 0 0 0 0 7 3 20 0 22 0 10435266 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639220648160 140640479057621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
[pid=24415/tid=24500] ppid=24412 vsize=11130628 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/24415/task/24500/stat : 24500 (java) S 24412 24415 19893 0 -1 1077944384 1145 12707 0 0 61 64 7 3 20 0 22 0 10435266 11397763072 227930 33554432000 4194304 4196468 140731559198112 140639219595696 140640479058562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33513472 140731559205569 140731559208343 140731559208343 140731559210959 0
Current children cumulated CPU time (s) 2401.09
Current children cumulated vsize (KiB) 11130628

Child status: 143
Real time (s): 2325.08
CPU time (s): 2401.39
CPU user time (s): 2396.79
CPU system time (s): 4.59951
CPU usage (%): 103.282
Max. virtual memory (cumulated for all children) (KiB): 11130628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.79
system time used= 4.59951
maximum resident set size= 1359176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276079
involuntary context switches= 181739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4779 second user time and 20.5298 second system time

The end

Begin job on node114 at 2017-07-22 21:27:41
IDJOB=4248727
IDBENCH=133923
IDSOLVER=2630
FILE ID=node114/4248727-1500751661
RUNJOBID= node114-1500747052-23563
PBS_JOBID= 20623369
Free space on /tmp= 61904 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248727-1500751661/watcher-4248727-1500751661 -o /tmp/evaluation-result-4248727-1500751661/solver-4248727-1500751661 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500747052-23563 --watchdog 2560  bin/concrete HOME/instance-4248727-1500751661.xml

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

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=639430303

node114.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		: 2533.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.60
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		: 2667.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.60
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		: 2667.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.60
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		: 2133.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		: 2668.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.60
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		: 2400.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.60
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		: 1733.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.60
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		: 1867.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		: 2400.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.60
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		: 2400.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		: 1867.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.60
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		: 1600.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:        31563236 kB
MemAvailable:   31997152 kB
Buffers:          162144 kB
Cached:           548408 kB
SwapCached:            0 kB
Active:           441356 kB
Inactive:         323752 kB
Active(anon):      57120 kB
Inactive(anon):     8820 kB
Active(file):     384236 kB
Inactive(file):   314932 kB
Unevictable:        5728 kB
Mlocked:            5728 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24424 kB
Writeback:             0 kB
AnonPages:        247028 kB
Mapped:            31724 kB
Shmem:              8848 kB
Slab:             134836 kB
SReclaimable:     101164 kB
SUnreclaim:        33672 kB
KernelStack:        4832 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61884 MiB
End job on node114 at 2017-07-22 22:06:26

Name	SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-14.xml
MD5SUM	1e3f519c957d5cb55b89b746c42a86fa
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	111.493
Satisfiable
(Un)Satisfiability was proved
Number of variables	287
Number of constraints	147
Number of domains	2
Minimum domain size	14
Maximum domain size	91
Distribution of domain sizes	[{"size":14,"count":196},{"size":91,"count":91}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":98},{"degree":4,"count":189}]
Minimum constraint arity	1
Maximum constraint arity	91
Distribution of constraint arities	[{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}]
Number of extensional constraints	91
Number of intensional constraints	14
Distribution of constraint types	[{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}]
Optimization problem	NO
Type of objective

Trace number 4248727

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data