Trace number 4254413

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 4.0.5 par (2017-07-26)? (TO) 1920.33 244.73599

General information on the benchmark

NameBinPacking/BinPacking-sum-s28/
BinPacking-sum-s28-561.xml
MD5SUM0151e8a579557b2b9e30bd86d2d74102
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 variables1901
Number of constraints203
Number of domains2
Minimum domain size101
Maximum domain size178
Distribution of domain sizes[{"size":101,"count":1},{"size":178,"count":1900}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":1800},{"degree":5,"count":100}]
Minimum constraint arity19
Maximum constraint arity1900
Distribution of constraint arities[{"arity":19,"count":200},{"arity":101,"count":1},{"arity":1900,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":100},{"type":"lex","count":1},{"type":"sum","count":100},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.07	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254413-1501696454.xml"  -tl '1920s' -p 8 -x 0
0.00/0.25	c [HOME/instance-4254413-1501696454.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.32	c 8 solvers in parallel
0.00/0.38	c parse instance...
0.00/0.88	c solve instance...
1920.33/244.77	s UNKNOWN
1920.33/244.77	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-4254413-1501696454/watcher-4254413-1501696454 -o /tmp/evaluation-result-4254413-1501696454/solver-4254413-1501696454 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1139875730 HOME/instance-4254413-1501696454.xml 

pid=25583
running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.20 4.07 5.95 2/176 25586
/proc/meminfo: memFree=31689524/32770624 swapFree=0/282048
[pid=25586] ppid=25583 vsize=23672 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (runsolver) D 25583 25586 1658 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11556024 24240128 108 18446744073709551615 4194304 4338465 140734122754400 140734122752040 139737309561559 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 37249024 140734122762323 140734122762819 140734122762819 140734122766282 0
/proc/25586/statm: 5918 108 54 36 0 2156 0

[startup+0.100158 s]
/proc/loadavg: 1.20 4.07 5.95 2/176 25586
/proc/meminfo: memFree=31689524/32770624 swapFree=0/282048
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200305 s]
/proc/loadavg: 1.20 4.07 5.95 2/176 25586
/proc/meminfo: memFree=31689524/32770624 swapFree=0/282048
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.303064 s]
/proc/loadavg: 1.20 4.07 5.95 2/176 25586
/proc/meminfo: memFree=31689524/32770624 swapFree=0/282048
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70026 s]
/proc/loadavg: 1.20 4.07 5.95 2/176 25586
/proc/meminfo: memFree=31689524/32770624 swapFree=0/282048
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50754 s]
/proc/loadavg: 1.20 4.07 5.95 10/205 25615
/proc/meminfo: memFree=31537940/32770624 swapFree=0/282076
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
[pid=25588] ppid=25586 vsize=26534456 CPUtime=6.92 cores=0-7
/proc/25588/stat : 25588 (java) S 25586 25586 1658 0 -1 1077944320 17478 0 0 0 683 9 0 0 20 0 28 0 11556032 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 140735920168320 139869952360183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
/proc/25588/statm: 6633614 43029 3190 1 0 6621915 0
[pid=25588/tid=25589] ppid=25586 vsize=26534456 CPUtime=0.76 cores=0-7
/proc/25588/task/25589/stat : 25589 (java) S 25586 25586 1658 0 -1 1077944384 8738 0 0 0 71 5 0 0 20 0 28 0 11556032 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869956600960 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25590] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25590/stat : 25590 (java) S 25586 25586 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869909326480 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25591] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25591/stat : 25591 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869908273680 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25592] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25592/stat : 25592 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869907220880 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25593] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25593/stat : 25593 (java) S 25586 25586 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869906168080 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25594] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25594/stat : 25594 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869511089296 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25595] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25595/stat : 25595 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869510036496 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25596] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25596/stat : 25596 (java) S 25586 25586 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869508983696 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25597] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25597/stat : 25597 (java) S 25586 25586 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139869507930896 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25598] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25598/stat : 25598 (java) S 25586 25586 1658 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 11556034 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868631669104 139869952371330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25599] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25599/stat : 25599 (java) S 25586 25586 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868562777120 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25600] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25600/stat : 25600 (java) S 25586 25586 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868561724272 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25601] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25601/stat : 25601 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868560672592 139869952378779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25602] ppid=25586 vsize=26534456 CPUtime=0.7 cores=0-7
/proc/25588/task/25602/stat : 25602 (java) S 25586 25586 1658 0 -1 1077944384 1602 0 0 0 70 0 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868559620976 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25603] ppid=25586 vsize=26534456 CPUtime=0.66 cores=0-7
/proc/25588/task/25603/stat : 25603 (java) R 25586 25586 1658 0 -1 4202560 1853 0 0 0 66 0 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868558549192 139869935771006 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25604] ppid=25586 vsize=26534456 CPUtime=0.67 cores=0-7
/proc/25588/task/25604/stat : 25604 (java) S 25586 25586 1658 0 -1 1077944384 1433 0 0 0 67 0 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868557515376 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25605] ppid=25586 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/25588/task/25605/stat : 25605 (java) S 25586 25586 1658 0 -1 1077944384 2172 0 0 0 48 1 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868556462576 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25606] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25606/stat : 25606 (java) S 25586 25586 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868555410016 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25607] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25607/stat : 25607 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556041 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868554357296 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25608] ppid=25586 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/25588/task/25608/stat : 25608 (java) R 25586 25586 1658 0 -1 4202560 61 0 0 0 48 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868546837328 139869592220034 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25609] ppid=25586 vsize=26534456 CPUtime=0.44 cores=0-7
/proc/25588/task/25609/stat : 25609 (java) R 25586 25586 1658 0 -1 4202560 44 0 0 0 44 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868545789232 139869592219998 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25610] ppid=25586 vsize=26534456 CPUtime=0.43 cores=0-7
/proc/25588/task/25610/stat : 25610 (java) R 25586 25586 1658 0 -1 4202560 36 0 0 0 43 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868544737864 139869591949379 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25611] ppid=25586 vsize=26534456 CPUtime=0.41 cores=0-7
/proc/25588/task/25611/stat : 25611 (java) R 25586 25586 1658 0 -1 4202560 84 0 0 0 41 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868543682000 139869586344667 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25612] ppid=25586 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/25588/task/25612/stat : 25612 (java) R 25586 25586 1658 0 -1 4202560 30 0 0 0 38 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868542632128 139869591949572 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25613] ppid=25586 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/25588/task/25613/stat : 25613 (java) R 25586 25586 1658 0 -1 4202560 32 0 0 0 50 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868541579560 139869591688705 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25614] ppid=25586 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/25588/task/25614/stat : 25614 (java) R 25586 25586 1658 0 -1 4202560 39 0 0 0 40 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868540526536 139869592220124 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25615] ppid=25586 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/25588/task/25615/stat : 25615 (java) R 25586 25586 1658 0 -1 4202560 42 0 0 0 49 0 0 0 20 0 28 0 11556114 27171282944 43029 18446744073709551615 4194304 4196468 140735920185776 139868539474136 139869591688762 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 26543968

[startup+3.10154 s]
/proc/loadavg: 1.20 4.07 5.95 11/205 25615
/proc/meminfo: memFree=31465092/32770624 swapFree=0/282076
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
[pid=25588] ppid=25586 vsize=26534456 CPUtime=19.56 cores=0-7
/proc/25588/stat : 25588 (java) S 25586 25586 1658 0 -1 1077944320 20406 0 0 0 1939 17 0 0 20 0 28 0 11556032 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 140735920168320 139869952360183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
/proc/25588/statm: 6633614 59645 3209 1 0 6621915 0
[pid=25588/tid=25589] ppid=25586 vsize=26534456 CPUtime=0.76 cores=0-7
/proc/25588/task/25589/stat : 25589 (java) S 25586 25586 1658 0 -1 1077944384 8738 0 0 0 71 5 0 0 20 0 28 0 11556032 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869956600960 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25590] ppid=25586 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/25588/task/25590/stat : 25590 (java) S 25586 25586 1658 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869909326480 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25591] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25591/stat : 25591 (java) S 25586 25586 1658 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869908273680 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25592] ppid=25586 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/25588/task/25592/stat : 25592 (java) S 25586 25586 1658 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869907220880 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25593] ppid=25586 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/25588/task/25593/stat : 25593 (java) S 25586 25586 1658 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869906168080 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25594] ppid=25586 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/25588/task/25594/stat : 25594 (java) S 25586 25586 1658 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869511089296 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25595] ppid=25586 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/25588/task/25595/stat : 25595 (java) S 25586 25586 1658 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869510036496 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25596] ppid=25586 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/25588/task/25596/stat : 25596 (java) S 25586 25586 1658 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869508983696 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25597] ppid=25586 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/25588/task/25597/stat : 25597 (java) S 25586 25586 1658 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 28 0 11556033 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139869507930896 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25598] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25598/stat : 25598 (java) S 25586 25586 1658 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 11556034 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868631669104 139869952371330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25599] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25599/stat : 25599 (java) S 25586 25586 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868562777184 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25600] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25600/stat : 25600 (java) S 25586 25586 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868561724272 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25601] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25601/stat : 25601 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868560672592 139869952378779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25602] ppid=25586 vsize=26534456 CPUtime=1.06 cores=0-7
/proc/25588/task/25602/stat : 25602 (java) S 25586 25586 1658 0 -1 1077944384 3066 0 0 0 106 0 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868559620976 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25603] ppid=25586 vsize=26534456 CPUtime=0.98 cores=0-7
/proc/25588/task/25603/stat : 25603 (java) R 25586 25586 1658 0 -1 4202560 2455 0 0 0 98 0 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868558568472 139869936270688 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25604] ppid=25586 vsize=26534456 CPUtime=0.97 cores=0-7
/proc/25588/task/25604/stat : 25604 (java) S 25586 25586 1658 0 -1 1077944384 1953 0 0 0 97 0 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868557515376 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25605] ppid=25586 vsize=26534456 CPUtime=0.53 cores=0-7
/proc/25588/task/25605/stat : 25605 (java) S 25586 25586 1658 0 -1 1077944384 2260 0 0 0 52 1 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868556462576 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25606] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25606/stat : 25606 (java) S 25586 25586 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868555410016 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25607] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25607/stat : 25607 (java) R 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556041 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868554357296 139869952371330 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25608] ppid=25586 vsize=26534456 CPUtime=1.93 cores=0-7
/proc/25588/task/25608/stat : 25608 (java) R 25586 25586 1658 0 -1 4202560 65 0 0 0 193 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868546841144 139869592220130 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25609] ppid=25586 vsize=26534456 CPUtime=1.97 cores=0-7
/proc/25588/task/25609/stat : 25609 (java) R 25586 25586 1658 0 -1 4202560 49 0 0 0 197 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868545789424 139869592220034 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25610] ppid=25586 vsize=26534456 CPUtime=1.84 cores=0-7
/proc/25588/task/25610/stat : 25610 (java) R 25586 25586 1658 0 -1 4202560 40 0 0 0 184 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868544740280 139869586532041 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25611] ppid=25586 vsize=26534456 CPUtime=1.85 cores=0-7
/proc/25588/task/25611/stat : 25611 (java) R 25586 25586 1658 0 -1 4202560 88 0 0 0 185 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868543684984 139869591949509 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25612] ppid=25586 vsize=26534456 CPUtime=1.71 cores=0-7
/proc/25588/task/25612/stat : 25612 (java) R 25586 25586 1658 0 -1 4202560 31 0 0 0 171 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868542634376 139869591624666 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25613] ppid=25586 vsize=26534456 CPUtime=1.88 cores=0-7
/proc/25588/task/25613/stat : 25613 (java) R 25586 25586 1658 0 -1 4202560 35 0 0 0 188 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868541581784 139869591624587 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25614] ppid=25586 vsize=26534456 CPUtime=1.81 cores=0-7
/proc/25588/task/25614/stat : 25614 (java) R 25586 25586 1658 0 -1 4202560 40 0 0 0 181 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868540526368 139869592220060 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25615] ppid=25586 vsize=26534456 CPUtime=1.95 cores=0-7
/proc/25588/task/25615/stat : 25615 (java) R 25586 25586 1658 0 -1 4202560 42 0 0 0 195 0 0 0 20 0 28 0 11556114 27171282944 59645 18446744073709551615 4194304 4196468 140735920185776 139868539475944 139869591947908 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
Current children cumulated CPU time (s) 19.56
Current children cumulated vsize (KiB) 26543968

[startup+6.30153 s]
/proc/loadavg: 1.74 4.14 5.97 9/205 25615
/proc/meminfo: memFree=31464700/32770624 swapFree=0/282088

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

[pid=25588/tid=25614] ppid=25586 vsize=26534456 CPUtime=215.5 cores=0-7
/proc/25588/task/25614/stat : 25614 (java) R 25586 25586 1658 0 -1 4202560 2755 0 0 0 21545 5 0 0 20 0 28 0 11556114 27171282944 550022 18446744073709551615 4194304 4196468 140735920185776 139868540526408 139869591949447 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25615] ppid=25586 vsize=26534456 CPUtime=214.32 cores=0-7
/proc/25588/task/25615/stat : 25615 (java) R 25586 25586 1658 0 -1 4202560 2692 0 0 0 21427 5 0 0 20 0 28 0 11556114 27171282944 550022 18446744073709551615 4194304 4196468 140735920185776 139868539473504 139869592220130 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
Current children cumulated CPU time (s) 1741.66
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.702 s]
/proc/loadavg: 8.37 6.34 6.43 9/207 25621
/proc/meminfo: memFree=29358364/32770624 swapFree=0/282116
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
[pid=25588] ppid=25586 vsize=26534456 CPUtime=1920.33 cores=0-7
/proc/25588/stat : 25588 (java) S 25586 25586 1658 0 -1 1077944320 121794 0 0 0 191883 150 0 0 20 0 28 0 11556032 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 140735920168320 139869952360183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
/proc/25588/statm: 6633614 585458 3266 1 0 6621915 0
[pid=25588/tid=25589] ppid=25586 vsize=26534456 CPUtime=0.76 cores=0-7
/proc/25588/task/25589/stat : 25589 (java) S 25586 25586 1658 0 -1 1077944384 8738 0 0 0 71 5 0 0 20 0 28 0 11556032 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869956600960 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25590] ppid=25586 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/25588/task/25590/stat : 25590 (java) S 25586 25586 1658 0 -1 1077944384 2077 0 0 0 131 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869909326480 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25591] ppid=25586 vsize=26534456 CPUtime=1.38 cores=0-7
/proc/25588/task/25591/stat : 25591 (java) S 25586 25586 1658 0 -1 1077944384 966 0 0 0 128 10 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869908273680 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25592] ppid=25586 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/25588/task/25592/stat : 25592 (java) S 25586 25586 1658 0 -1 1077944384 3532 0 0 0 131 9 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869907220880 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25593] ppid=25586 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/25588/task/25593/stat : 25593 (java) S 25586 25586 1658 0 -1 1077944384 1149 0 0 0 125 15 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869906168080 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25594] ppid=25586 vsize=26534456 CPUtime=1.39 cores=0-7
/proc/25588/task/25594/stat : 25594 (java) S 25586 25586 1658 0 -1 1077944384 1874 0 0 0 131 8 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869511089296 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25595] ppid=25586 vsize=26534456 CPUtime=1.41 cores=0-7
/proc/25588/task/25595/stat : 25595 (java) S 25586 25586 1658 0 -1 1077944384 1799 0 0 0 130 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869510036496 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25596] ppid=25586 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/25588/task/25596/stat : 25596 (java) S 25586 25586 1658 0 -1 1077944384 1663 0 0 0 131 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869508983696 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25597] ppid=25586 vsize=26534456 CPUtime=1.41 cores=0-7
/proc/25588/task/25597/stat : 25597 (java) S 25586 25586 1658 0 -1 1077944384 1093 0 0 0 128 13 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869507930896 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25598] ppid=25586 vsize=26534456 CPUtime=4 cores=0-7
/proc/25588/task/25598/stat : 25598 (java) S 25586 25586 1658 0 -1 1077944384 13233 0 0 0 396 4 0 0 20 0 28 0 11556034 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868631669104 139869952371330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25599] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25599/stat : 25599 (java) S 25586 25586 1658 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868562777184 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25600] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25600/stat : 25600 (java) S 25586 25586 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868561724288 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25601] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25601/stat : 25601 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868560672592 139869952378779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25602] ppid=25586 vsize=26534456 CPUtime=2.2 cores=0-7
/proc/25588/task/25602/stat : 25602 (java) S 25586 25586 1658 0 -1 1077944384 16352 0 0 0 217 3 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868559620976 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25603] ppid=25586 vsize=26534456 CPUtime=1.7 cores=0-7
/proc/25588/task/25603/stat : 25603 (java) S 25586 25586 1658 0 -1 1077944384 12952 0 0 0 169 1 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868558568176 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25604] ppid=25586 vsize=26534456 CPUtime=2.66 cores=0-7
/proc/25588/task/25604/stat : 25604 (java) S 25586 25586 1658 0 -1 1077944384 21672 0 0 0 263 3 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868557515376 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25605] ppid=25586 vsize=26534456 CPUtime=0.7 cores=0-7
/proc/25588/task/25605/stat : 25605 (java) S 25586 25586 1658 0 -1 1077944384 8783 0 0 0 68 2 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868556462576 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25606] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25606/stat : 25606 (java) S 25586 25586 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868555410016 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25607] ppid=25586 vsize=26534456 CPUtime=0.09 cores=0-7
/proc/25588/task/25607/stat : 25607 (java) S 25586 25586 1658 0 -1 1077944384 1891 0 0 0 3 6 0 0 20 0 28 0 11556041 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868554357296 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25608] ppid=25586 vsize=26534456 CPUtime=237.39 cores=0-7
/proc/25588/task/25608/stat : 25608 (java) R 25586 25586 1658 0 -1 4202560 3033 0 0 0 23737 2 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868546843760 139869592220034 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25609] ppid=25586 vsize=26534456 CPUtime=237.6 cores=0-7
/proc/25588/task/25609/stat : 25609 (java) R 25586 25586 1658 0 -1 4202560 1786 0 0 0 23752 8 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868545789040 139869592008206 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25610] ppid=25586 vsize=26534456 CPUtime=237.33 cores=0-7
/proc/25588/task/25610/stat : 25610 (java) R 25586 25586 1658 0 -1 4202560 2822 0 0 0 23729 4 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868544737704 139869591624597 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25611] ppid=25586 vsize=26534456 CPUtime=235.63 cores=0-7
/proc/25588/task/25611/stat : 25611 (java) R 25586 25586 1658 0 -1 4202560 4224 0 0 0 23557 6 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868543684904 139869593281094 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25612] ppid=25586 vsize=26534456 CPUtime=237.09 cores=0-7
/proc/25588/task/25612/stat : 25612 (java) R 25586 25586 1658 0 -1 4202560 3783 0 0 0 23707 2 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868542632104 139869592020907 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25613] ppid=25586 vsize=26534456 CPUtime=237.5 cores=0-7
/proc/25588/task/25613/stat : 25613 (java) R 25586 25586 1658 0 -1 4202560 1466 0 0 0 23749 1 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868541579304 139869591950096 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25614] ppid=25586 vsize=26534456 CPUtime=237.69 cores=0-7
/proc/25588/task/25614/stat : 25614 (java) R 25586 25586 1658 0 -1 4202560 2798 0 0 0 23764 5 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868540526408 139869592220029 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25615] ppid=25586 vsize=26534456 CPUtime=236.51 cores=0-7
/proc/25588/task/25615/stat : 25615 (java) R 25586 25586 1658 0 -1 4202560 2787 0 0 0 23646 5 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868539473576 139869591949370 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
Current children cumulated CPU time (s) 1920.33
Current children cumulated vsize (KiB) 26543968

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

[startup+244.702 s]
/proc/loadavg: 8.37 6.34 6.43 9/207 25621
/proc/meminfo: memFree=29358364/32770624 swapFree=0/282116
[pid=25586] ppid=25583 vsize=9512 CPUtime=0 cores=0-7
/proc/25586/stat : 25586 (xcsp3-exec) S 25583 25586 1658 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 11556024 9740288 345 18446744073709551615 4194304 5098028 140733412094928 140733412093032 140039840293500 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 15323136 140733412098450 140733412098660 140733412098660 140733412102123 0
/proc/25586/statm: 2378 345 289 221 0 87 0
[pid=25588] ppid=25586 vsize=26534456 CPUtime=1920.33 cores=0-7
/proc/25588/stat : 25588 (java) S 25586 25586 1658 0 -1 1077944320 121794 0 0 0 191883 150 0 0 20 0 28 0 11556032 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 140735920168320 139869952360183 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
/proc/25588/statm: 6633614 585458 3266 1 0 6621915 0
[pid=25588/tid=25589] ppid=25586 vsize=26534456 CPUtime=0.76 cores=0-7
/proc/25588/task/25589/stat : 25589 (java) S 25586 25586 1658 0 -1 1077944384 8738 0 0 0 71 5 0 0 20 0 28 0 11556032 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869956600960 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25590] ppid=25586 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/25588/task/25590/stat : 25590 (java) S 25586 25586 1658 0 -1 1077944384 2077 0 0 0 131 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869909326480 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25591] ppid=25586 vsize=26534456 CPUtime=1.38 cores=0-7
/proc/25588/task/25591/stat : 25591 (java) S 25586 25586 1658 0 -1 1077944384 966 0 0 0 128 10 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869908273680 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25592] ppid=25586 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/25588/task/25592/stat : 25592 (java) S 25586 25586 1658 0 -1 1077944384 3532 0 0 0 131 9 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869907220880 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25593] ppid=25586 vsize=26534456 CPUtime=1.4 cores=0-7
/proc/25588/task/25593/stat : 25593 (java) S 25586 25586 1658 0 -1 1077944384 1149 0 0 0 125 15 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869906168080 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25594] ppid=25586 vsize=26534456 CPUtime=1.39 cores=0-7
/proc/25588/task/25594/stat : 25594 (java) S 25586 25586 1658 0 -1 1077944384 1874 0 0 0 131 8 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869511089296 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25595] ppid=25586 vsize=26534456 CPUtime=1.41 cores=0-7
/proc/25588/task/25595/stat : 25595 (java) S 25586 25586 1658 0 -1 1077944384 1799 0 0 0 130 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869510036496 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25596] ppid=25586 vsize=26534456 CPUtime=1.42 cores=0-7
/proc/25588/task/25596/stat : 25596 (java) S 25586 25586 1658 0 -1 1077944384 1663 0 0 0 131 11 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869508983696 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25597] ppid=25586 vsize=26534456 CPUtime=1.41 cores=0-7
/proc/25588/task/25597/stat : 25597 (java) S 25586 25586 1658 0 -1 1077944384 1093 0 0 0 128 13 0 0 20 0 28 0 11556033 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139869507930896 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25598] ppid=25586 vsize=26534456 CPUtime=4 cores=0-7
/proc/25588/task/25598/stat : 25598 (java) S 25586 25586 1658 0 -1 1077944384 13233 0 0 0 396 4 0 0 20 0 28 0 11556034 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868631669104 139869952371330 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25599] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25599/stat : 25599 (java) S 25586 25586 1658 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868562777184 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25600] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25600/stat : 25600 (java) S 25586 25586 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 11556035 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868561724288 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25601] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25601/stat : 25601 (java) S 25586 25586 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868560672592 139869952378779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25602] ppid=25586 vsize=26534456 CPUtime=2.2 cores=0-7
/proc/25588/task/25602/stat : 25602 (java) S 25586 25586 1658 0 -1 1077944384 16352 0 0 0 217 3 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868559620976 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25603] ppid=25586 vsize=26534456 CPUtime=1.7 cores=0-7
/proc/25588/task/25603/stat : 25603 (java) S 25586 25586 1658 0 -1 1077944384 12952 0 0 0 169 1 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868558568176 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25604] ppid=25586 vsize=26534456 CPUtime=2.66 cores=0-7
/proc/25588/task/25604/stat : 25604 (java) S 25586 25586 1658 0 -1 1077944384 21672 0 0 0 263 3 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868557515376 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25605] ppid=25586 vsize=26534456 CPUtime=0.7 cores=0-7
/proc/25588/task/25605/stat : 25605 (java) S 25586 25586 1658 0 -1 1077944384 8783 0 0 0 68 2 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868556462576 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25606] ppid=25586 vsize=26534456 CPUtime=0 cores=0-7
/proc/25588/task/25606/stat : 25606 (java) S 25586 25586 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 11556037 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868555410016 139869952370389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25607] ppid=25586 vsize=26534456 CPUtime=0.09 cores=0-7
/proc/25588/task/25607/stat : 25607 (java) S 25586 25586 1658 0 -1 1077944384 1891 0 0 0 3 6 0 0 20 0 28 0 11556041 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868554357296 139869952371330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25608] ppid=25586 vsize=26534456 CPUtime=237.39 cores=0-7
/proc/25588/task/25608/stat : 25608 (java) R 25586 25586 1658 0 -1 4202560 3033 0 0 0 23737 2 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868546843760 139869592220034 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25609] ppid=25586 vsize=26534456 CPUtime=237.6 cores=0-7
/proc/25588/task/25609/stat : 25609 (java) R 25586 25586 1658 0 -1 4202560 1786 0 0 0 23752 8 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868545789040 139869592008206 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25610] ppid=25586 vsize=26534456 CPUtime=237.33 cores=0-7
/proc/25588/task/25610/stat : 25610 (java) R 25586 25586 1658 0 -1 4202560 2822 0 0 0 23729 4 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868544737704 139869591624597 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25611] ppid=25586 vsize=26534456 CPUtime=235.63 cores=0-7
/proc/25588/task/25611/stat : 25611 (java) R 25586 25586 1658 0 -1 4202560 4224 0 0 0 23557 6 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868543684904 139869593281094 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25612] ppid=25586 vsize=26534456 CPUtime=237.09 cores=0-7
/proc/25588/task/25612/stat : 25612 (java) R 25586 25586 1658 0 -1 4202560 3783 0 0 0 23707 2 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868542632104 139869592020907 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25613] ppid=25586 vsize=26534456 CPUtime=237.5 cores=0-7
/proc/25588/task/25613/stat : 25613 (java) R 25586 25586 1658 0 -1 4202560 1466 0 0 0 23749 1 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868541579304 139869591950096 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25614] ppid=25586 vsize=26534456 CPUtime=237.69 cores=0-7
/proc/25588/task/25614/stat : 25614 (java) R 25586 25586 1658 0 -1 4202560 2798 0 0 0 23764 5 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868540526408 139869592220029 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
[pid=25588/tid=25615] ppid=25586 vsize=26534456 CPUtime=236.51 cores=0-7
/proc/25588/task/25615/stat : 25615 (java) R 25586 25586 1658 0 -1 4202560 2787 0 0 0 23646 5 0 0 20 0 28 0 11556114 27171282944 585458 18446744073709551615 4194304 4196468 140735920185776 139868539473576 139869591949370 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17100800 140735920189904 140735920190080 140735920190080 140735920193487 0
Current children cumulated CPU time (s) 1920.33
Current children cumulated vsize (KiB) 26543968

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 244.736
CPU time (s): 1920.33
CPU user time (s): 1918.83
CPU system time (s): 1.5
CPU usage (%): 784.655
Max. virtual memory (cumulated for all children) (KiB): 26546508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001012
system time used= 0.001012
maximum resident set size= 1384
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.92726 second user time and 1.79043 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 19:40:14
IDJOB=4254413
IDBENCH=137885
IDSOLVER=2636
FILE ID=node135/4254413-1501696454
RUNJOBID= node135-1501676595-1714
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-s28/BinPacking-sum-s28-561.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254413-1501696454/watcher-4254413-1501696454 -o /tmp/evaluation-result-4254413-1501696454/solver-4254413-1501696454 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1139875730 HOME/instance-4254413-1501696454.xml

TIME LIMIT= 1920 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0151e8a579557b2b9e30bd86d2d74102
RANDOM SEED=1139875730

node135.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.21
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.21
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.21
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.21
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:        31690192 kB
MemAvailable:   32013224 kB
Buffers:          153828 kB
Cached:           444184 kB
SwapCached:            0 kB
Active:           365100 kB
Inactive:         290640 kB
Active(anon):      57860 kB
Inactive(anon):     8592 kB
Active(file):     307240 kB
Inactive(file):   282048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7740 kB
Writeback:             0 kB
AnonPages:         56492 kB
Mapped:            29652 kB
Shmem:              8960 kB
Slab:             124864 kB
SReclaimable:      99160 kB
SUnreclaim:        25704 kB
KernelStack:        3536 kB
PageTables:         4716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     279156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61940 MiB
End job on node135 at 2017-08-02 19:44:18