Trace number 4255295

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)? (TO) 255.42999 240.00999

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-20-20-8.xml
MD5SUM9893704bf12390d346d425cfade6032e
Bench CategoryCOP (optimization 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 variables1620
Number of constraints1260
Number of domains22
Minimum domain size16
Maximum domain size1422
Distribution of domain sizes[{"size":16,"count":20},{"size":17,"count":100},{"size":18,"count":100},{"size":19,"count":100},{"size":20,"count":480},{"size":1422,"count":820}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":420},{"degree":3,"count":800},{"degree":21,"count":400}]
Minimum constraint arity1
Maximum constraint arity22
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":3,"count":400},{"arity":20,"count":40},{"arity":22,"count":400}]
Number of extensional constraints400
Number of intensional constraints420
Distribution of constraint types[{"type":"extension","count":400},{"type":"intension","count":420},{"type":"allDifferent","count":20},{"type":"noOverlap","count":20},{"type":"element","count":400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255295-1501979790.xml"  -tl '264s' -p 1 -x 3
0.00/0.30	c [HOME/instance-4255295-1501979790.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.36	c simple solver
0.00/0.42	c parse instance...
0.00/0.92	c solve instance...
255.43/240.00	s UNKNOWN
255.43/240.00	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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-4255295-1501979790/watcher-4255295-1501979790 -o /tmp/evaluation-result-4255295-1501979790/solver-4255295-1501979790 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1514499042 HOME/instance-4255295-1501979790.xml 

pid=600
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.65 1.81 1.88 3/200 607
/proc/meminfo: memFree=31378444/32770624 swapFree=0/280464
[pid=607] ppid=600 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (runsolver) D 600 607 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45794310 24240128 107 18446744073709551615 4194304 4338465 140734323065424 140734323063064 140093662302935 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34467840 140734323069026 140734323069516 140734323069516 140734323072970 0
/proc/607/statm: 5918 107 54 36 0 2156 0

[startup+0.100108 s]
/proc/loadavg: 1.65 1.81 1.88 3/200 607
/proc/meminfo: memFree=31378444/32770624 swapFree=0/280464
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200271 s]
/proc/loadavg: 1.65 1.81 1.88 3/200 607
/proc/meminfo: memFree=31378444/32770624 swapFree=0/280464
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300743 s]
/proc/loadavg: 1.65 1.81 1.88 3/200 607
/proc/meminfo: memFree=31378444/32770624 swapFree=0/280464
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.704896 s]
/proc/loadavg: 1.65 1.81 1.88 3/200 607
/proc/meminfo: memFree=31378444/32770624 swapFree=0/280464
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50094 s]
/proc/loadavg: 1.65 1.81 1.88 5/216 627
/proc/meminfo: memFree=31288712/32770624 swapFree=0/280512
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13980732 CPUtime=3.87 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 24031 0 0 0 380 7 0 0 20 0 15 0 45794318 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495183 29640 3198 1 0 3483476 0
[pid=611/tid=612] ppid=607 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 9921 0 0 0 129 3 0 0 20 0 15 0 45794318 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140608183590896 140607783991296 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45794320 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45794321 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607656256416 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45794321 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607655203824 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) R 607 607 30500 0 -1 4202560 4740 0 0 0 100 1 0 0 20 0 15 0 45794323 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607653084680 140608165419507 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) R 607 607 30500 0 -1 4202560 4532 0 0 0 92 0 0 0 20 0 15 0 45794323 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607652033496 140608171644832 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 3494 0 0 0 58 1 0 0 20 0 15 0 45794323 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 45794332 14316269568 29640 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13990244

[startup+3.10078 s]
/proc/loadavg: 1.65 1.81 1.88 6/212 665
/proc/meminfo: memFree=31533108/32770624 swapFree=0/280512
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13980732 CPUtime=8.73 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 38223 0 0 0 865 8 0 0 20 0 15 0 45794318 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495183 43052 3204 1 0 3483476 0
[pid=611/tid=612] ppid=607 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 10825 0 0 0 288 4 0 0 20 0 15 0 45794318 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140608183593760 140607790742602 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45794319 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 45794320 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45794321 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607656256416 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45794321 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607655203824 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13980732 CPUtime=2.61 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) R 607 607 30500 0 -1 4202560 11507 0 0 0 260 1 0 0 20 0 15 0 45794323 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607653081568 140608160899583 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) R 607 607 30500 0 -1 4202560 10408 0 0 0 251 1 0 0 20 0 15 0 45794323 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607652031944 140608164462855 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 4122 0 0 0 64 1 0 0 20 0 15 0 45794323 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 45794332 14316269568 43052 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 13990244

[startup+6.30067 s]
/proc/loadavg: 1.68 1.81 1.88 7/216 717
/proc/meminfo: memFree=31361808/32770624 swapFree=0/280544
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13982780 CPUtime=15.81 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 58073 0 0 0 1569 12 0 0 20 0 15 0 45794318 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495695 57884 3213 1 0 3483988 0
[pid=611/tid=612] ppid=607 vsize=13982780 CPUtime=6.12 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 11883 0 0 0 606 6 0 0 20 0 15 0 45794318 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140608183590096 140607794078628 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45794319 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45794319 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 45794320 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607656256416 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607655203824 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13982780 CPUtime=4.39 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) S 607 607 30500 0 -1 1077944384 20618 0 0 0 437 2 0 0 20 0 15 0 45794323 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607653100016 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13982780 CPUtime=4.43 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) S 607 607 30500 0 -1 1077944384 18455 0 0 0 442 1 0 0 20 0 15 0 45794323 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607652047472 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13982780 CPUtime=0.84 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 5268 0 0 0 82 2 0 0 20 0 15 0 45794323 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 45794332 14318366720 57884 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 13992292

[startup+12.7008 s]
/proc/loadavg: 1.87 1.85 1.89 6/216 796
/proc/meminfo: memFree=31387728/32770624 swapFree=0/280536
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13982780 CPUtime=23.3 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 60786 0 0 0 2314 16 0 0 20 0 15 0 45794318 14318366720 67591 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495695 67591 3232 1 0 3483988 0
[pid=611/tid=612] ppid=607 vsize=13982780 CPUtime=12.49 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 12083 0 0 0 1243 6 0 0 20 0 15 0 45794318 14318366720 67591 18446744073709551615 4194304 4196468 140731751554176 140608183590928 140607792702384 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13982780 CPUtime=0.01 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 45794319 14318366720 67591 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13982780 CPUtime=0.01 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 1011 0 0 0 1 0 0 0 20 0 15 0 45794319 14318366720 67591 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0

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

[pid=611/tid=620] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607656256480 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607655203840 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13982780 CPUtime=6.99 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) S 607 607 30500 0 -1 1077944384 33342 0 0 0 696 3 0 0 20 0 15 0 45794323 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607653100016 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13982780 CPUtime=6.72 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) S 607 607 30500 0 -1 1077944384 28595 0 0 0 670 2 0 0 20 0 15 0 45794323 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607652047472 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13982780 CPUtime=1.06 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 9605 0 0 0 104 2 0 0 20 0 15 0 45794323 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 1258 0 0 0 1 1 0 0 20 0 15 0 45794332 14318366720 90778 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 117.53
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.85 1.92 1.92 3/216 802
/proc/meminfo: memFree=30983280/32770624 swapFree=0/280608
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13982780 CPUtime=177.65 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 99649 0 0 0 17733 32 0 0 20 0 15 0 45794318 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495695 95903 3252 1 0 3483988 0
[pid=611/tid=612] ppid=607 vsize=13982780 CPUtime=161.88 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 17473 0 0 0 16181 7 0 0 20 0 15 0 45794318 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140608183594592 140607792702405 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13982780 CPUtime=0.22 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1134 0 0 0 18 4 0 0 20 0 15 0 45794319 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13982780 CPUtime=0.21 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 2536 0 0 0 18 3 0 0 20 0 15 0 45794319 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13982780 CPUtime=0.21 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1104 0 0 0 18 3 0 0 20 0 15 0 45794319 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13982780 CPUtime=0.21 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 993 0 0 0 18 3 0 0 20 0 15 0 45794319 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 1530 0 0 0 2 0 0 0 20 0 15 0 45794320 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607656256480 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607655203840 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13982780 CPUtime=6.99 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) S 607 607 30500 0 -1 1077944384 33600 0 0 0 696 3 0 0 20 0 15 0 45794323 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607653100016 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13982780 CPUtime=6.72 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) S 607 607 30500 0 -1 1077944384 28603 0 0 0 670 2 0 0 20 0 15 0 45794323 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607652047472 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13982780 CPUtime=1.06 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 9981 0 0 0 104 2 0 0 20 0 15 0 45794323 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13982780 CPUtime=0.03 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 1303 0 0 0 2 1 0 0 20 0 15 0 45794332 14318366720 95903 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 177.65
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 1.86 1.92 1.92 3/216 806
/proc/meminfo: memFree=30960000/32770624 swapFree=0/280644
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13982780 CPUtime=237.71 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 100308 0 0 0 23737 34 0 0 20 0 15 0 45794318 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495695 99878 3252 1 0 3483988 0
[pid=611/tid=612] ppid=607 vsize=13982780 CPUtime=221.86 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 17746 0 0 0 22179 7 0 0 20 0 15 0 45794318 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140608183594544 140607794024511 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13982780 CPUtime=0.23 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1168 0 0 0 19 4 0 0 20 0 15 0 45794319 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13982780 CPUtime=0.23 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 2558 0 0 0 20 3 0 0 20 0 15 0 45794319 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13982780 CPUtime=0.23 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1137 0 0 0 20 3 0 0 20 0 15 0 45794319 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13982780 CPUtime=0.23 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 1261 0 0 0 20 3 0 0 20 0 15 0 45794319 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 1555 0 0 0 2 0 0 0 20 0 15 0 45794320 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607656256480 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607655203840 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13982780 CPUtime=6.99 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) S 607 607 30500 0 -1 1077944384 33600 0 0 0 696 3 0 0 20 0 15 0 45794323 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607653100016 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13982780 CPUtime=6.72 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) S 607 607 30500 0 -1 1077944384 28603 0 0 0 670 2 0 0 20 0 15 0 45794323 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607652047472 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13982780 CPUtime=1.06 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 9981 0 0 0 104 2 0 0 20 0 15 0 45794323 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 1307 0 0 0 2 2 0 0 20 0 15 0 45794332 14318366720 99878 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 237.71
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.76 1.89 1.91 3/216 806
/proc/meminfo: memFree=30958940/32770624 swapFree=0/280644
[pid=607] ppid=600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/607/stat : 607 (xcsp3-exec) S 600 607 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 45794310 9740288 344 18446744073709551615 4194304 5098028 140730394962768 140730394960872 139849284039292 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 12283904 140730394964385 140730394964589 140730394964589 140730394968043 0
/proc/607/statm: 2378 344 289 221 0 87 0
[pid=611] ppid=607 vsize=13982780 CPUtime=255.43 cores=1,3,5,7
/proc/611/stat : 611 (java) S 607 607 30500 0 -1 1077944320 100882 0 0 0 25508 35 0 0 20 0 15 0 45794318 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140731751536720 140608179355383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
/proc/611/statm: 3495695 98850 3252 1 0 3483988 0
[pid=611/tid=612] ppid=607 vsize=13982780 CPUtime=239.54 cores=1,3,5,7
/proc/611/task/612/stat : 612 (java) R 607 607 30500 0 -1 4202560 18025 0 0 0 23947 7 0 0 20 0 15 0 45794318 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140608183593856 140607792702742 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=614] ppid=607 vsize=13982780 CPUtime=0.24 cores=1,3,5,7
/proc/611/task/614/stat : 614 (java) S 607 607 30500 0 -1 1077944384 1202 0 0 0 20 4 0 0 20 0 15 0 45794319 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140608113789712 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=615] ppid=607 vsize=13982780 CPUtime=0.24 cores=1,3,5,7
/proc/611/task/615/stat : 615 (java) S 607 607 30500 0 -1 1077944384 2568 0 0 0 20 4 0 0 20 0 15 0 45794319 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140608112737168 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=616] ppid=607 vsize=13982780 CPUtime=0.24 cores=1,3,5,7
/proc/611/task/616/stat : 616 (java) S 607 607 30500 0 -1 1077944384 1185 0 0 0 20 4 0 0 20 0 15 0 45794319 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140608111684624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=618] ppid=607 vsize=13982780 CPUtime=0.23 cores=1,3,5,7
/proc/611/task/618/stat : 618 (java) S 607 607 30500 0 -1 1077944384 1279 0 0 0 20 3 0 0 20 0 15 0 45794319 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140608110632080 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=619] ppid=607 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/611/task/619/stat : 619 (java) S 607 607 30500 0 -1 1077944384 1712 0 0 0 2 0 0 0 20 0 15 0 45794320 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607657310192 140608179366530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=620] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/620/stat : 620 (java) S 607 607 30500 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607656256480 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=621] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/621/stat : 621 (java) S 607 607 30500 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 45794321 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607655203840 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=622] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/622/stat : 622 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794323 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607654152400 140608179373979 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=623] ppid=607 vsize=13982780 CPUtime=6.99 cores=1,3,5,7
/proc/611/task/623/stat : 623 (java) S 607 607 30500 0 -1 1077944384 33602 0 0 0 696 3 0 0 20 0 15 0 45794323 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607653100016 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=624] ppid=607 vsize=13982780 CPUtime=6.72 cores=1,3,5,7
/proc/611/task/624/stat : 624 (java) S 607 607 30500 0 -1 1077944384 28605 0 0 0 670 2 0 0 20 0 15 0 45794323 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607652047472 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=625] ppid=607 vsize=13982780 CPUtime=1.06 cores=1,3,5,7
/proc/611/task/625/stat : 625 (java) S 607 607 30500 0 -1 1077944384 9984 0 0 0 104 2 0 0 20 0 15 0 45794323 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607650994928 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=626] ppid=607 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/611/task/626/stat : 626 (java) S 607 607 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45794324 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607649942624 140608179365589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
[pid=611/tid=627] ppid=607 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/611/task/627/stat : 627 (java) S 607 607 30500 0 -1 1077944384 1328 0 0 0 2 2 0 0 20 0 15 0 45794332 14318366720 98850 18446744073709551615 4194304 4196468 140731751554176 140607648889136 140608179366530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37322752 140731751555546 140731751555721 140731751555721 140731751559119 0
Current children cumulated CPU time (s) 255.43
Current children cumulated vsize (KiB) 13992292

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 607 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1698
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=143
# CPU time returned by wait4() is 0.001841
# while last known CPU time is 255.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 255.43
CPU user time (s): 255.08
CPU system time (s): 0.35
CPU usage (%): 106.425
Max. virtual memory (cumulated for all children) (KiB): 13994648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001698
system time used= 0.000143
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11523 second user time and 1.36374 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-06 02:22:23
IDJOB=4255295
IDBENCH=115837
IDSOLVER=2637
FILE ID=node133/4255295-1501979790
RUNJOBID= node133-1501978204-32404
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-8.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255295-1501979790/watcher-4255295-1501979790 -o /tmp/evaluation-result-4255295-1501979790/solver-4255295-1501979790 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1514499042 HOME/instance-4255295-1501979790.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9893704bf12390d346d425cfade6032e
RANDOM SEED=1514499042

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.17
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.17
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.17
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.17
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31378800 kB
MemAvailable:   31698972 kB
Buffers:          163816 kB
Cached:           441880 kB
SwapCached:            0 kB
Active:           676140 kB
Inactive:         297192 kB
Active(anon):     367600 kB
Inactive(anon):    16728 kB
Active(file):     308540 kB
Inactive(file):   280464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7844 kB
Writeback:             4 kB
AnonPages:        367060 kB
Mapped:            49960 kB
Shmem:             17084 kB
Slab:             119948 kB
SReclaimable:      94008 kB
SUnreclaim:        25940 kB
KernelStack:        3520 kB
PageTables:         5800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1156716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 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:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node133 at 2017-08-06 02:26:24