Trace number 4254766

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)SAT (TO)1305 1920.6 245.136

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-2.xml
MD5SUM42633f1d08cbe99acfb79d5a930fb228
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1222
Best CPU time to get the best result obtained on this benchmark252.03
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1322
Maximum domain size1322
Distribution of domain sizes[{"size":1322,"count":240}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":15},{"degree":3,"count":225}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":15},{"arity":2,"count":225},{"arity":15,"count":15}]
Number of extensional constraints0
Number of intensional constraints240
Distribution of constraint types[{"type":"intension","count":240},{"type":"noOverlap","count":15}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.10	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254766-1501675547.xml"  -tl '1920s' -p 8 -x 0
0.00/0.28	c [HOME/instance-4254766-1501675547.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.34	c 8 solvers in parallel
0.00/0.40	c parse instance...
0.00/0.95	c solve instance...
57.15/7.92	o 1315 
388.70/49.68	o 1314 
638.96/81.25	o 1306 
1462.24/187.00	o 1305 
1920.60/245.16	s SATISFIABLE
1920.60/245.16	v <instantiation>
1920.60/245.16	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] </list>
1920.60/245.16	v 	<values>12 252 422 528 618 715 721 759 821 875 951 1091 1173 1186 1199 15 105 537 618 687 815 893 956 1010 1032 1121 1149 1179 1185 1275 43 158 212 421 489 546 631 814 910 929 964 1008 1079 1261 1270 11 44 271 352 383 545 621 632 658 757 812 909 930 1025 1051 6 52 106 119 162 231 384 414 483 631 688 729 758 950 1293 4 87 132 187 251 344 494 545 627 673 703 766 834 929 1007 93 205 293 315 517 583 676 692 713 751 803 911 981 1082 1130 17 131 206 312 315 334 493 770 989 1071 1123 1147 1202 1207 1278 17 235 345 405 465 626 713 821 875 900 1053 1147 1169 1230 1289 36 87 91 126 206 255 303 439 525 627 702 727 754 931 1181 87 140 158 255 322 369 374 425 458 563 727 843 999 1089 1208 8 115 177 328 372 387 448 582 632 925 989 1080 1107 1151 1177 11 98 210 422 483 590 675 687 714 814 829 886 950 1032 1247 1 42 130 223 286 347 412 487 577 632 748 776 835 1162 1232 239 312 325 340 411 414 461 545 629 682 740 954 1045 1136 1222 1287 1297 1291 1126 1305 1079 1194 1305 1305 1204 1246 1219 1264 1296 1297 </values>
1920.60/245.16	v </instantiation>
1920.60/245.16	c Unexpected resolution interruption!

Verifier Data 

OK	1305

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-4254766-1501675547/watcher-4254766-1501675547 -o /tmp/evaluation-result-4254766-1501675547/solver-4254766-1501675547 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1290201336 HOME/instance-4254766-1501675547.xml 

pid=8948
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: 8.35 8.11 7.38 2/174 8951
/proc/meminfo: memFree=31813728/32770624 swapFree=0/300360
[pid=8951] ppid=8948 vsize=23672 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (runsolver) D 8948 8951 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1381780 24240128 106 18446744073709551615 4194304 4338465 140731379517728 140731379515368 139693493064407 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 8310784 140731379519573 140731379520069 140731379520069 140731379523530 0
/proc/8951/statm: 5918 106 53 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 8.35 8.11 7.38 2/174 8951
/proc/meminfo: memFree=31813728/32770624 swapFree=0/300360
[pid=8951] ppid=8948 vsize=23672 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (runsolver) D 8948 8951 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1381780 24240128 106 18446744073709551615 4194304 4338465 140731379517728 140731379515368 139693493064407 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 8310784 140731379519573 140731379520069 140731379520069 140731379523530 0
/proc/8951/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200233 s]
/proc/loadavg: 8.35 8.11 7.38 2/174 8951
/proc/meminfo: memFree=31813728/32770624 swapFree=0/300360
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300235 s]
/proc/loadavg: 8.35 8.11 7.38 2/174 8951
/proc/meminfo: memFree=31813728/32770624 swapFree=0/300360
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700938 s]
/proc/loadavg: 8.35 8.11 7.38 2/174 8951
/proc/meminfo: memFree=31813728/32770624 swapFree=0/300360
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50162 s]
/proc/loadavg: 8.35 8.11 7.38 12/203 8980
/proc/meminfo: memFree=31684224/32770624 swapFree=0/300104
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
[pid=8953] ppid=8951 vsize=26534456 CPUtime=6.45 cores=0-7
/proc/8953/stat : 8953 (java) S 8951 8951 2334 0 -1 1077944320 21381 0 0 0 636 9 0 0 20 0 28 0 1381790 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 140726267806912 139898714349303 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
/proc/8953/statm: 6633614 39852 3187 1 0 6621915 0
[pid=8953/tid=8954] ppid=8951 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8953/task/8954/stat : 8954 (java) S 8951 8951 2334 0 -1 1077944384 9078 0 0 0 76 4 0 0 20 0 28 0 1381791 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898718590080 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8955] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8955/stat : 8955 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898641275920 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8956] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8956/stat : 8956 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898640223376 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8957] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8957/stat : 8957 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898639170320 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8958] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8958/stat : 8958 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898638117776 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8959] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8959/stat : 8959 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898637064720 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8960] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8960/stat : 8960 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898636012176 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8961] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8961/stat : 8961 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898634959120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8962] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8962/stat : 8962 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898633906576 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8963] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8963/stat : 8963 (java) S 8951 8951 2334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139898226748144 139898714360450 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8964] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8964/stat : 8964 (java) S 8951 8951 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897978513056 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8965] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8965/stat : 8965 (java) S 8951 8951 2334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 1381794 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897977459952 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8966] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8966/stat : 8966 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897976408528 139898714367899 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8967] ppid=8951 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8953/task/8967/stat : 8967 (java) R 8951 8951 2334 0 -1 4202560 2865 0 0 0 39 1 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897975336648 139898695049600 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8968] ppid=8951 vsize=26534456 CPUtime=0.51 cores=0-7
/proc/8953/task/8968/stat : 8968 (java) D 8951 8951 2334 0 -1 4202560 2473 0 0 0 51 0 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897974288968 139898695893026 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8969] ppid=8951 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8953/task/8969/stat : 8969 (java) D 8951 8951 2334 0 -1 4202560 2291 0 0 0 47 0 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897973236384 139898706590693 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8970] ppid=8951 vsize=26534456 CPUtime=0.57 cores=0-7
/proc/8953/task/8970/stat : 8970 (java) D 8951 8951 2334 0 -1 4202560 2714 0 0 0 56 1 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897972191864 139898707066455 0 4 1 16800974 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8971] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8971/stat : 8971 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897971145696 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8972] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8972/stat : 8972 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381800 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897970093232 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8973] ppid=8951 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8953/task/8973/stat : 8973 (java) R 8951 8951 2334 0 -1 4202560 69 0 0 0 47 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897962576376 139898308821693 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8974] ppid=8951 vsize=26534456 CPUtime=0.51 cores=0-7
/proc/8953/task/8974/stat : 8974 (java) R 8951 8951 2334 0 -1 4202560 274 0 0 0 51 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897961524272 139898308925359 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8975] ppid=8951 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8953/task/8975/stat : 8975 (java) R 8951 8951 2334 0 -1 4202560 38 0 0 0 47 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897960472792 139898308908744 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8976] ppid=8951 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8953/task/8976/stat : 8976 (java) R 8951 8951 2334 0 -1 4202560 79 0 0 0 40 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897959420232 139898308926274 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8977] ppid=8951 vsize=26534456 CPUtime=0.43 cores=0-7
/proc/8953/task/8977/stat : 8977 (java) R 8951 8951 2334 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897958366376 139898308927206 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8978] ppid=8951 vsize=26534456 CPUtime=0.42 cores=0-7
/proc/8953/task/8978/stat : 8978 (java) R 8951 8951 2334 0 -1 4202560 72 0 0 0 42 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897755128888 139898308926048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8979] ppid=8951 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8953/task/8979/stat : 8979 (java) R 8951 8951 2334 0 -1 4202560 35 0 0 0 46 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897754076904 139898308906891 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8980] ppid=8951 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8953/task/8980/stat : 8980 (java) R 8951 8951 2334 0 -1 4202560 45 0 0 0 45 0 0 0 20 0 28 0 1381877 27171282944 39852 18446744073709551615 4194304 4196468 140726267824368 139897753025416 139898308908744 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 26543968

[startup+3.10162 s]
/proc/loadavg: 8.35 8.11 7.38 12/203 8980
/proc/meminfo: memFree=31648952/32770624 swapFree=0/300104
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
[pid=8953] ppid=8951 vsize=26534456 CPUtime=19.2 cores=0-7
/proc/8953/stat : 8953 (java) S 8951 8951 2334 0 -1 1077944320 43427 0 0 0 1903 17 0 0 20 0 28 0 1381790 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 140726267806912 139898714349303 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
/proc/8953/statm: 6633614 48634 3201 1 0 6621915 0
[pid=8953/tid=8954] ppid=8951 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8953/task/8954/stat : 8954 (java) S 8951 8951 2334 0 -1 1077944384 9078 0 0 0 76 4 0 0 20 0 28 0 1381791 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898718590080 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8955] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8955/stat : 8955 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898641275920 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8956] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8956/stat : 8956 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898640223376 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8957] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8957/stat : 8957 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381791 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898639170320 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8958] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8958/stat : 8958 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898638117776 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8959] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8959/stat : 8959 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898637064720 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8960] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8960/stat : 8960 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898636012176 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8961] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8961/stat : 8961 (java) S 8951 8951 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898634959120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8962] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8962/stat : 8962 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381792 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898633906576 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8963] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8963/stat : 8963 (java) S 8951 8951 2334 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139898226748144 139898714360450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8964] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8964/stat : 8964 (java) S 8951 8951 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897978513056 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8965] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8965/stat : 8965 (java) S 8951 8951 2334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 1381794 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897977459952 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8966] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8966/stat : 8966 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897976408528 139898714367899 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8967] ppid=8951 vsize=26534456 CPUtime=1.02 cores=0-7
/proc/8953/task/8967/stat : 8967 (java) R 8951 8951 2334 0 -1 4202560 9035 0 0 0 99 3 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897975344528 139898699457275 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8968] ppid=8951 vsize=26534456 CPUtime=1.35 cores=0-7
/proc/8953/task/8968/stat : 8968 (java) R 8951 8951 2334 0 -1 4202560 7078 0 0 0 133 2 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897974289112 139898693605979 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8969] ppid=8951 vsize=26534456 CPUtime=1.25 cores=0-7
/proc/8953/task/8969/stat : 8969 (java) R 8951 8951 2334 0 -1 4202560 11353 0 0 0 122 3 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897973235912 139898695896024 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8970] ppid=8951 vsize=26534456 CPUtime=0.63 cores=0-7
/proc/8953/task/8970/stat : 8970 (java) S 8951 8951 2334 0 -1 1077944384 3743 0 0 0 62 1 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897972197488 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8971] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8971/stat : 8971 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897971145696 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8972] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8972/stat : 8972 (java) S 8951 8951 2334 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 1381800 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897970093232 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8973] ppid=8951 vsize=26534456 CPUtime=1.54 cores=0-7
/proc/8953/task/8973/stat : 8973 (java) R 8951 8951 2334 0 -1 4202560 225 0 0 0 154 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897962579736 139898308927206 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8974] ppid=8951 vsize=26534456 CPUtime=1.81 cores=0-7
/proc/8953/task/8974/stat : 8974 (java) R 8951 8951 2334 0 -1 4202560 549 0 0 0 181 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897961527792 139898308913091 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8975] ppid=8951 vsize=26534456 CPUtime=1.81 cores=0-7
/proc/8953/task/8975/stat : 8975 (java) R 8951 8951 2334 0 -1 4202560 131 0 0 0 181 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897960475304 139898308927437 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8976] ppid=8951 vsize=26534456 CPUtime=1.66 cores=0-7
/proc/8953/task/8976/stat : 8976 (java) R 8951 8951 2334 0 -1 4202560 295 0 0 0 166 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897959422648 139898314740160 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8977] ppid=8951 vsize=26534456 CPUtime=1.82 cores=0-7
/proc/8953/task/8977/stat : 8977 (java) R 8951 8951 2334 0 -1 4202560 122 0 0 0 182 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897958369224 139898308912869 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8978] ppid=8951 vsize=26534456 CPUtime=1.88 cores=0-7
/proc/8953/task/8978/stat : 8978 (java) R 8951 8951 2334 0 -1 4202560 146 0 0 0 188 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897755130280 139898308927206 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8979] ppid=8951 vsize=26534456 CPUtime=1.87 cores=0-7
/proc/8953/task/8979/stat : 8979 (java) R 8951 8951 2334 0 -1 4202560 242 0 0 0 187 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897754078248 139898308927206 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8980] ppid=8951 vsize=26534456 CPUtime=1.66 cores=0-7
/proc/8953/task/8980/stat : 8980 (java) R 8951 8951 2334 0 -1 4202560 87 0 0 0 166 0 0 0 20 0 28 0 1381877 27171282944 48634 18446744073709551615 4194304 4196468 140726267824368 139897753024840 139898308925599 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
Current children cumulated CPU time (s) 19.2
Current children cumulated vsize (KiB) 26543968

[startup+6.30162 s]
/proc/loadavg: 7.92 8.02 7.36 11/203 8980
/proc/meminfo: memFree=31557564/32770624 swapFree=0/300116

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

[pid=8953/tid=9014] ppid=8951 vsize=26534456 CPUtime=34.61 cores=0-7
/proc/8953/task/9014/stat : 9014 (java) R 8951 8951 2334 0 -1 4202560 178 0 0 0 3461 0 0 0 20 0 28 0 1400481 27171282944 66355 18446744073709551615 4194304 4196468 140726267824368 139897958367512 139898317658957 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9015] ppid=8951 vsize=26534456 CPUtime=34.71 cores=0-7
/proc/8953/task/9015/stat : 9015 (java) R 8951 8951 2334 0 -1 4202560 275 0 0 0 3471 0 0 0 20 0 28 0 1400481 27171282944 66355 18446744073709551615 4194304 4196468 140726267824368 139897960472744 139898317460812 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
Current children cumulated CPU time (s) 1741.07
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+245.102 s]
/proc/loadavg: 7.91 7.96 7.49 9/201 9017
/proc/meminfo: memFree=31545052/32770624 swapFree=0/300204
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
[pid=8953] ppid=8951 vsize=26534456 CPUtime=1920.6 cores=0-7
/proc/8953/stat : 8953 (java) S 8951 8951 2334 0 -1 1077944320 191061 0 0 0 191896 164 0 0 20 0 28 0 1381790 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 140726267806912 139898714349303 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
/proc/8953/statm: 6633614 70242 3256 1 0 6621915 0
[pid=8953/tid=8954] ppid=8951 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8953/task/8954/stat : 8954 (java) S 8951 8951 2334 0 -1 1077944384 9574 0 0 0 76 4 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898718590080 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8955] ppid=8951 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8953/task/8955/stat : 8955 (java) S 8951 8951 2334 0 -1 1077944384 2991 0 0 0 45 5 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898641275920 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8956] ppid=8951 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8953/task/8956/stat : 8956 (java) S 8951 8951 2334 0 -1 1077944384 3944 0 0 0 44 4 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898640223376 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8957] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8957/stat : 8957 (java) S 8951 8951 2334 0 -1 1077944384 5078 0 0 0 44 5 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898639170320 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8958] ppid=8951 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8953/task/8958/stat : 8958 (java) S 8951 8951 2334 0 -1 1077944384 4353 0 0 0 43 4 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898638117776 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8959] ppid=8951 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8953/task/8959/stat : 8959 (java) S 8951 8951 2334 0 -1 1077944384 5232 0 0 0 45 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898637064720 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8960] ppid=8951 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8953/task/8960/stat : 8960 (java) S 8951 8951 2334 0 -1 1077944384 2977 0 0 0 43 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898636012176 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8961] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8961/stat : 8961 (java) S 8951 8951 2334 0 -1 1077944384 3832 0 0 0 44 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898634959120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8962] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8962/stat : 8962 (java) S 8951 8951 2334 0 -1 1077944384 4019 0 0 0 45 4 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898633906576 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8963] ppid=8951 vsize=26534456 CPUtime=1.37 cores=0-7
/proc/8953/task/8963/stat : 8963 (java) S 8951 8951 2334 0 -1 1077944384 12569 0 0 0 68 69 0 0 20 0 28 0 1381793 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898226748144 139898714360450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8964] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8964/stat : 8964 (java) S 8951 8951 2334 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897978513120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8965] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8965/stat : 8965 (java) S 8951 8951 2334 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 1381794 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897977459968 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8966] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8966/stat : 8966 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897976408528 139898714367899 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8967] ppid=8951 vsize=26534456 CPUtime=2.99 cores=0-7
/proc/8953/task/8967/stat : 8967 (java) S 8951 8951 2334 0 -1 1077944384 21085 0 0 0 295 4 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897975355632 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8968] ppid=8951 vsize=26534456 CPUtime=3.35 cores=0-7
/proc/8953/task/8968/stat : 8968 (java) S 8951 8951 2334 0 -1 1077944384 19088 0 0 0 332 3 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897974303088 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8969] ppid=8951 vsize=26534456 CPUtime=3.48 cores=0-7
/proc/8953/task/8969/stat : 8969 (java) S 8951 8951 2334 0 -1 1077944384 30487 0 0 0 343 5 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897973250032 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8970] ppid=8951 vsize=26534456 CPUtime=0.88 cores=0-7
/proc/8953/task/8970/stat : 8970 (java) S 8951 8951 2334 0 -1 1077944384 17030 0 0 0 85 3 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897972197488 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8971] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8971/stat : 8971 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897971145696 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8972] ppid=8951 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/8953/task/8972/stat : 8972 (java) S 8951 8951 2334 0 -1 1077944384 2433 0 0 0 2 3 0 0 20 0 28 0 1381800 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897970093232 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9008] ppid=8951 vsize=26534456 CPUtime=57.21 cores=0-7
/proc/8953/task/9008/stat : 9008 (java) R 8951 8951 2334 0 -1 4202560 230 0 0 0 5721 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897753021088 139898317212876 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9009] ppid=8951 vsize=26534456 CPUtime=57.03 cores=0-7
/proc/8953/task/9009/stat : 9009 (java) R 8951 8951 2334 0 -1 4202560 234 0 0 0 5703 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897961525528 139898317460800 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9010] ppid=8951 vsize=26534456 CPUtime=57.11 cores=0-7
/proc/8953/task/9010/stat : 9010 (java) R 8951 8951 2334 0 -1 4202560 330 0 0 0 5711 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897755127936 139898317217348 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9011] ppid=8951 vsize=26534456 CPUtime=56.98 cores=0-7
/proc/8953/task/9011/stat : 9011 (java) R 8951 8951 2334 0 -1 4202560 475 0 0 0 5698 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897754077616 139898319568524 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9012] ppid=8951 vsize=26534456 CPUtime=57.17 cores=0-7
/proc/8953/task/9012/stat : 9012 (java) R 8951 8951 2334 0 -1 4202560 174 0 0 0 5717 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897959419136 139898319568864 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9013] ppid=8951 vsize=26534456 CPUtime=57.05 cores=0-7
/proc/8953/task/9013/stat : 9013 (java) R 8951 8951 2334 0 -1 4202560 204 0 0 0 5705 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897962578096 139898317459960 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9014] ppid=8951 vsize=26534456 CPUtime=56.96 cores=0-7
/proc/8953/task/9014/stat : 9014 (java) R 8951 8951 2334 0 -1 4202560 188 0 0 0 5696 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897958367376 139898316459277 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9015] ppid=8951 vsize=26534456 CPUtime=57.03 cores=0-7
/proc/8953/task/9015/stat : 9015 (java) R 8951 8951 2334 0 -1 4202560 280 0 0 0 5703 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897960473176 139898317460843 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
Current children cumulated CPU time (s) 1920.6
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 8953 sig 9
??? kill 8951 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+245.102 s]
/proc/loadavg: 7.91 7.96 7.49 9/201 9017
/proc/meminfo: memFree=31545052/32770624 swapFree=0/300204
[pid=8951] ppid=8948 vsize=9512 CPUtime=0 cores=0-7
/proc/8951/stat : 8951 (xcsp3-exec) S 8948 8951 2334 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 1381780 9740288 345 18446744073709551615 4194304 5098028 140722884957152 140722884955256 140572319621756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 10 0 0 7196144 7232144 35794944 140722884964756 140722884964966 140722884964966 140722884968427 0
/proc/8951/statm: 2378 345 289 221 0 87 0
[pid=8953] ppid=8951 vsize=26534456 CPUtime=1920.6 cores=0-7
/proc/8953/stat : 8953 (java) S 8951 8951 2334 0 -1 1077944320 191061 0 0 0 191896 164 0 0 20 0 28 0 1381790 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 140726267806912 139898714349303 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
/proc/8953/statm: 6633614 70242 3256 1 0 6621915 0
[pid=8953/tid=8954] ppid=8951 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8953/task/8954/stat : 8954 (java) S 8951 8951 2334 0 -1 1077944384 9574 0 0 0 76 4 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898718590080 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8955] ppid=8951 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8953/task/8955/stat : 8955 (java) S 8951 8951 2334 0 -1 1077944384 2991 0 0 0 45 5 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898641275920 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8956] ppid=8951 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8953/task/8956/stat : 8956 (java) S 8951 8951 2334 0 -1 1077944384 3944 0 0 0 44 4 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898640223376 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8957] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8957/stat : 8957 (java) S 8951 8951 2334 0 -1 1077944384 5078 0 0 0 44 5 0 0 20 0 28 0 1381791 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898639170320 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8958] ppid=8951 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8953/task/8958/stat : 8958 (java) S 8951 8951 2334 0 -1 1077944384 4353 0 0 0 43 4 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898638117776 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8959] ppid=8951 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8953/task/8959/stat : 8959 (java) S 8951 8951 2334 0 -1 1077944384 5232 0 0 0 45 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898637064720 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8960] ppid=8951 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8953/task/8960/stat : 8960 (java) S 8951 8951 2334 0 -1 1077944384 2977 0 0 0 43 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898636012176 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8961] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8961/stat : 8961 (java) S 8951 8951 2334 0 -1 1077944384 3832 0 0 0 44 5 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898634959120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8962] ppid=8951 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8953/task/8962/stat : 8962 (java) S 8951 8951 2334 0 -1 1077944384 4019 0 0 0 45 4 0 0 20 0 28 0 1381792 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898633906576 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8963] ppid=8951 vsize=26534456 CPUtime=1.37 cores=0-7
/proc/8953/task/8963/stat : 8963 (java) S 8951 8951 2334 0 -1 1077944384 12569 0 0 0 68 69 0 0 20 0 28 0 1381793 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139898226748144 139898714360450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8964] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8964/stat : 8964 (java) S 8951 8951 2334 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 1381793 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897978513120 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8965] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8965/stat : 8965 (java) S 8951 8951 2334 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 1381794 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897977459968 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8966] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8966/stat : 8966 (java) S 8951 8951 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897976408528 139898714367899 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8967] ppid=8951 vsize=26534456 CPUtime=2.99 cores=0-7
/proc/8953/task/8967/stat : 8967 (java) S 8951 8951 2334 0 -1 1077944384 21085 0 0 0 295 4 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897975355632 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8968] ppid=8951 vsize=26534456 CPUtime=3.35 cores=0-7
/proc/8953/task/8968/stat : 8968 (java) S 8951 8951 2334 0 -1 1077944384 19088 0 0 0 332 3 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897974303088 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8969] ppid=8951 vsize=26534456 CPUtime=3.48 cores=0-7
/proc/8953/task/8969/stat : 8969 (java) S 8951 8951 2334 0 -1 1077944384 30487 0 0 0 343 5 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897973250032 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8970] ppid=8951 vsize=26534456 CPUtime=0.88 cores=0-7
/proc/8953/task/8970/stat : 8970 (java) S 8951 8951 2334 0 -1 1077944384 17030 0 0 0 85 3 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897972197488 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8971] ppid=8951 vsize=26534456 CPUtime=0 cores=0-7
/proc/8953/task/8971/stat : 8971 (java) S 8951 8951 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1381796 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897971145696 139898714359509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=8972] ppid=8951 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/8953/task/8972/stat : 8972 (java) S 8951 8951 2334 0 -1 1077944384 2433 0 0 0 2 3 0 0 20 0 28 0 1381800 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897970093232 139898714360450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9008] ppid=8951 vsize=26534456 CPUtime=57.21 cores=0-7
/proc/8953/task/9008/stat : 9008 (java) R 8951 8951 2334 0 -1 4202560 230 0 0 0 5721 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897753021088 139898317212876 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9009] ppid=8951 vsize=26534456 CPUtime=57.03 cores=0-7
/proc/8953/task/9009/stat : 9009 (java) R 8951 8951 2334 0 -1 4202560 234 0 0 0 5703 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897961525528 139898317460800 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9010] ppid=8951 vsize=26534456 CPUtime=57.11 cores=0-7
/proc/8953/task/9010/stat : 9010 (java) R 8951 8951 2334 0 -1 4202560 330 0 0 0 5711 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897755127936 139898317217348 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9011] ppid=8951 vsize=26534456 CPUtime=56.98 cores=0-7
/proc/8953/task/9011/stat : 9011 (java) R 8951 8951 2334 0 -1 4202560 475 0 0 0 5698 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897754077616 139898319568524 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9012] ppid=8951 vsize=26534456 CPUtime=57.17 cores=0-7
/proc/8953/task/9012/stat : 9012 (java) R 8951 8951 2334 0 -1 4202560 174 0 0 0 5717 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897959419136 139898319568864 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9013] ppid=8951 vsize=26534456 CPUtime=57.05 cores=0-7
/proc/8953/task/9013/stat : 9013 (java) R 8951 8951 2334 0 -1 4202560 204 0 0 0 5705 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897962578096 139898317459960 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9014] ppid=8951 vsize=26534456 CPUtime=56.96 cores=0-7
/proc/8953/task/9014/stat : 9014 (java) R 8951 8951 2334 0 -1 4202560 188 0 0 0 5696 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897958367376 139898316459277 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
[pid=8953/tid=9015] ppid=8951 vsize=26534456 CPUtime=57.03 cores=0-7
/proc/8953/task/9015/stat : 9015 (java) R 8951 8951 2334 0 -1 4202560 280 0 0 0 5703 0 0 0 20 0 28 0 1400481 27171282944 70242 18446744073709551615 4194304 4196468 140726267824368 139897960473176 139898317460843 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24403968 140726267830738 140726267830914 140726267830914 140726267834319 0
Current children cumulated CPU time (s) 1920.6
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 8951 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=970
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=970
# CPU time returned by wait4() is 0.00194
# while last known CPU time is 1920.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 245.136
CPU time (s): 1920.6
CPU user time (s): 1918.96
CPU system time (s): 1.64
CPU usage (%): 783.484
Max. virtual memory (cumulated for all children) (KiB): 26545804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00097
system time used= 0.00097
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.84694 second user time and 1.79473 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-02 13:51:53
IDJOB=4254766
IDBENCH=115735
IDSOLVER=2636
FILE ID=node130/4254766-1501675547
RUNJOBID= node130-1501661057-2426
PBS_JOBID= 
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-2.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-4254766-1501675547/watcher-4254766-1501675547 -o /tmp/evaluation-result-4254766-1501675547/solver-4254766-1501675547 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1290201336 HOME/instance-4254766-1501675547.xml

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

MD5SUM BENCH= 42633f1d08cbe99acfb79d5a930fb228
RANDOM SEED=1290201336

node130.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.79
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.79
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.79
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.79
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:        31813868 kB
MemAvailable:   32023860 kB
Buffers:           99892 kB
Cached:           390968 kB
SwapCached:            0 kB
Active:           238652 kB
Inactive:         308916 kB
Active(anon):      56972 kB
Inactive(anon):     8556 kB
Active(file):     181680 kB
Inactive(file):   300360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7780 kB
Writeback:             4 kB
AnonPages:         56116 kB
Mapped:            27528 kB
Shmem:              8868 kB
Slab:             111484 kB
SReclaimable:      87572 kB
SUnreclaim:        23912 kB
KernelStack:        3184 kB
PageTables:         4296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     278176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61856 MiB
End job on node130 at 2017-08-02 13:55:58