Trace number 4254768

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)1309 1920.17 243.83099

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-7.xml
MD5SUMfe547a27c953c30f0dd43f8aa0b4ac9f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1229
Best CPU time to get the best result obtained on this benchmark251.996
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1320
Maximum domain size1320
Distribution of domain sizes[{"size":1320,"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.05	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254768-1501674545.xml"  -tl '1920s' -p 8 -x 0
0.00/0.24	c [HOME/instance-4254768-1501674545.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.30	c 8 solvers in parallel
0.00/0.37	c parse instance...
0.00/0.91	c solve instance...
29.79/4.50	o 1319 
80.36/10.82	o 1313 
331.18/42.42	o 1312 
1888.01/239.72	o 1309 
1920.17/243.86	s SATISFIABLE
1920.17/243.86	v <instantiation>
1920.17/243.86	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.17/243.86	v 	<values>38 121 129 354 440 511 689 773 782 831 883 902 994 1059 1164 0 26 94 243 264 348 475 541 594 677 856 924 994 1065 1187 21 121 178 258 333 421 479 535 570 818 900 924 1020 1081 1210 0 34 103 169 267 275 356 437 475 514 517 576 657 687 770 264 479 629 665 722 831 865 879 900 990 1089 1098 1142 1237 1264 0 28 156 222 224 259 449 583 667 742 830 928 1009 1089 1181 0 21 34 129 296 318 356 433 518 594 640 788 877 1104 1148 0 49 129 348 435 476 514 638 818 865 986 1020 1104 1203 1241 0 275 326 394 487 716 755 854 902 936 963 1032 1114 1119 1209 67 156 225 310 401 570 655 689 703 755 788 879 883 901 1009 190 267 275 349 354 398 463 496 576 666 771 879 944 996 1085 0 38 121 169 243 258 268 357 398 495 592 608 655 676 771 24 152 332 496 511 763 828 863 902 990 1114 1181 1187 1228 1241 0 90 156 178 236 326 332 435 597 657 741 743 744 748 990 0 24 90 103 129 208 258 281 296 310 401 487 592 655 743 1228 1263 1290 841 1291 1204 1185 1309 1210 1085 1096 791 1264 1065 746 </values>
1920.17/243.86	v </instantiation>
1920.17/243.86	c Unexpected resolution interruption!

Verifier Data 

OK	1309

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-4254768-1501674545/watcher-4254768-1501674545 -o /tmp/evaluation-result-4254768-1501674545/solver-4254768-1501674545 -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 1224645923 HOME/instance-4254768-1501674545.xml 

pid=8472
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: 7.21 5.76 5.89 2/172 8475
/proc/meminfo: memFree=31815656/32770624 swapFree=0/299712
[pid=8475] ppid=8472 vsize=23672 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (runsolver) D 8472 8475 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 1281573 24240128 106 18446744073709551615 4194304 4338465 140730128771344 140730128768984 140590915429079 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25726976 140730128777301 140730128777797 140730128777797 140730128781258 0
/proc/8475/statm: 5918 106 53 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 7.21 5.76 5.89 2/172 8475
/proc/meminfo: memFree=31815656/32770624 swapFree=0/299712
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200343 s]
/proc/loadavg: 7.21 5.76 5.89 2/172 8475
/proc/meminfo: memFree=31815656/32770624 swapFree=0/299712
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300279 s]
/proc/loadavg: 7.21 5.76 5.89 2/172 8475
/proc/meminfo: memFree=31815656/32770624 swapFree=0/299712
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700239 s]
/proc/loadavg: 7.21 5.76 5.89 2/172 8475
/proc/meminfo: memFree=31815656/32770624 swapFree=0/299712
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50115 s]
/proc/loadavg: 7.21 5.76 5.89 12/201 8504
/proc/meminfo: memFree=31679052/32770624 swapFree=0/299696
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
[pid=8477] ppid=8475 vsize=26534456 CPUtime=6.75 cores=0-7
/proc/8477/stat : 8477 (java) S 8475 8475 2334 0 -1 1077944320 24119 0 0 0 667 8 0 0 20 0 28 0 1281579 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140735328725808 140063623638775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
/proc/8477/statm: 6633614 43273 3186 1 0 6621915 0
[pid=8477/tid=8478] ppid=8475 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8477/task/8478/stat : 8478 (java) S 8475 8475 2334 0 -1 1077944384 9088 0 0 0 76 4 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063627879552 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8479] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8479/stat : 8479 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063584537104 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8480] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8480/stat : 8480 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063583484560 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8481] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8481/stat : 8481 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063582431504 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8482] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8482/stat : 8482 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063183337872 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8483] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8483/stat : 8483 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063182285840 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8484] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8484/stat : 8484 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063181233296 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8485] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8485/stat : 8485 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063180180240 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8486] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8486/stat : 8486 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063179127696 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8487] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8487/stat : 8487 (java) S 8475 8475 2334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063023724784 140063623649922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8488] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8488/stat : 8488 (java) S 8475 8475 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063022671008 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8489] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8489/stat : 8489 (java) S 8475 8475 2334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 1281583 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063021617904 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8490] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8490/stat : 8490 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063020566480 140063623657371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8491] ppid=8475 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8477/task/8491/stat : 8491 (java) R 8475 8475 2334 0 -1 4202560 3002 0 0 0 44 1 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063019495624 140063601655767 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8492] ppid=8475 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8477/task/8492/stat : 8492 (java) R 8475 8475 2334 0 -1 4202560 3267 0 0 0 45 1 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063018443080 140063607137923 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8493] ppid=8475 vsize=26534456 CPUtime=0.52 cores=0-7
/proc/8477/task/8493/stat : 8493 (java) R 8475 8475 2334 0 -1 4202560 3417 0 0 0 52 0 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063017394888 140063603327184 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8494] ppid=8475 vsize=26534456 CPUtime=0.56 cores=0-7
/proc/8477/task/8494/stat : 8494 (java) S 8475 8475 2334 0 -1 1077944384 3146 0 0 0 56 0 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063016356464 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8495] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8495/stat : 8495 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063015303648 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8496] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8496/stat : 8496 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281589 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063014251184 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8497] ppid=8475 vsize=26534456 CPUtime=0.49 cores=0-7
/proc/8477/task/8497/stat : 8497 (java) R 8475 8475 2334 0 -1 4202560 62 0 0 0 49 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063006239184 140063262500581 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8498] ppid=8475 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8477/task/8498/stat : 8498 (java) R 8475 8475 2334 0 -1 4202560 293 0 0 0 50 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063005187824 140063262513316 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8499] ppid=8475 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8477/task/8499/stat : 8499 (java) R 8475 8475 2334 0 -1 4202560 42 0 0 0 45 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063004136408 140063262500803 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8500] ppid=8475 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8477/task/8500/stat : 8500 (java) R 8475 8475 2334 0 -1 4202560 93 0 0 0 45 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063003083976 140063262500608 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8501] ppid=8475 vsize=26534456 CPUtime=0.5 cores=0-7
/proc/8477/task/8501/stat : 8501 (java) R 8475 8475 2334 0 -1 4202560 28 0 0 0 50 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063002032120 140063262513311 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8502] ppid=8475 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/8477/task/8502/stat : 8502 (java) R 8475 8475 2334 0 -1 4202560 276 0 0 0 48 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140063000976584 140063262515149 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8503] ppid=8475 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8477/task/8503/stat : 8503 (java) R 8475 8475 2334 0 -1 4202560 36 0 0 0 46 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140062999925112 140063262514932 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8504] ppid=8475 vsize=26534456 CPUtime=0.53 cores=0-7
/proc/8477/task/8504/stat : 8504 (java) R 8475 8475 2334 0 -1 4202560 56 0 0 0 53 0 0 0 20 0 28 0 1281666 27171282944 43273 18446744073709551615 4194304 4196468 140735328743264 140062998857424 140063262666220 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 26543968

[startup+3.10615 s]
/proc/loadavg: 7.51 5.85 5.92 12/201 8504
/proc/meminfo: memFree=31633448/32770624 swapFree=0/299696
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
[pid=8477] ppid=8475 vsize=26534456 CPUtime=19.54 cores=0-7
/proc/8477/stat : 8477 (java) S 8475 8475 2334 0 -1 1077944320 45690 0 0 0 1938 16 0 0 20 0 28 0 1281579 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140735328725808 140063623638775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
/proc/8477/statm: 6633614 48076 3192 1 0 6621915 0
[pid=8477/tid=8478] ppid=8475 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/8477/task/8478/stat : 8478 (java) S 8475 8475 2334 0 -1 1077944384 9088 0 0 0 76 4 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063627879552 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8479] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8479/stat : 8479 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063584537104 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8480] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8480/stat : 8480 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063583484560 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8481] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8481/stat : 8481 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063582431504 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8482] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8482/stat : 8482 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063183337872 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8483] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8483/stat : 8483 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063182285840 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8484] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8484/stat : 8484 (java) S 8475 8475 2334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063181233296 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8485] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8485/stat : 8485 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063180180240 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8486] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8486/stat : 8486 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281580 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063179127696 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8487] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8487/stat : 8487 (java) S 8475 8475 2334 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063023724784 140063623649922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8488] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8488/stat : 8488 (java) S 8475 8475 2334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063022671008 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8489] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8489/stat : 8489 (java) S 8475 8475 2334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 1281583 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063021617904 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8490] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8490/stat : 8490 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063020566480 140063623657371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8491] ppid=8475 vsize=26534456 CPUtime=1.68 cores=0-7
/proc/8477/task/8491/stat : 8491 (java) R 8475 8475 2334 0 -1 4202560 9672 0 0 0 166 2 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063019496176 140063605186067 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8492] ppid=8475 vsize=26534456 CPUtime=1.53 cores=0-7
/proc/8477/task/8492/stat : 8492 (java) R 8475 8475 2334 0 -1 4202560 10671 0 0 0 149 4 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063018452320 140063605169090 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8493] ppid=8475 vsize=26534456 CPUtime=1.54 cores=0-7
/proc/8477/task/8493/stat : 8493 (java) R 8475 8475 2334 0 -1 4202560 9882 0 0 0 152 2 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063017396512 140063607883712 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8494] ppid=8475 vsize=26534456 CPUtime=0.63 cores=0-7
/proc/8477/task/8494/stat : 8494 (java) S 8475 8475 2334 0 -1 1077944384 3607 0 0 0 63 0 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063016356464 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8495] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8495/stat : 8495 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063015303648 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8496] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8496/stat : 8496 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281589 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063014251184 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8497] ppid=8475 vsize=26534456 CPUtime=1.62 cores=0-7
/proc/8477/task/8497/stat : 8497 (java) R 8475 8475 2334 0 -1 4202560 94 0 0 0 162 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063006237736 140063262515149 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8498] ppid=8475 vsize=26534456 CPUtime=1.68 cores=0-7
/proc/8477/task/8498/stat : 8498 (java) R 8475 8475 2334 0 -1 4202560 429 0 0 0 168 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063005190488 140063262513311 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8499] ppid=8475 vsize=26534456 CPUtime=1.5 cores=0-7
/proc/8477/task/8499/stat : 8499 (java) R 8475 8475 2334 0 -1 4202560 87 0 0 0 150 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063004135352 140063262513311 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8500] ppid=8475 vsize=26534456 CPUtime=1.37 cores=0-7
/proc/8477/task/8500/stat : 8500 (java) R 8475 8475 2334 0 -1 4202560 166 0 0 0 137 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063003085992 140063262526896 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8501] ppid=8475 vsize=26534456 CPUtime=1.68 cores=0-7
/proc/8477/task/8501/stat : 8501 (java) R 8475 8475 2334 0 -1 4202560 72 0 0 0 168 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063002029384 140063262500581 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8502] ppid=8475 vsize=26534456 CPUtime=1.87 cores=0-7
/proc/8477/task/8502/stat : 8502 (java) R 8475 8475 2334 0 -1 4202560 382 0 0 0 187 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140063000975856 140063262514918 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8503] ppid=8475 vsize=26534456 CPUtime=1.79 cores=0-7
/proc/8477/task/8503/stat : 8503 (java) R 8475 8475 2334 0 -1 4202560 73 0 0 0 179 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140062999926568 140063262515149 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8504] ppid=8475 vsize=26534456 CPUtime=1.74 cores=0-7
/proc/8477/task/8504/stat : 8504 (java) R 8475 8475 2334 0 -1 4202560 133 0 0 0 174 0 0 0 20 0 28 0 1281666 27171282944 48076 18446744073709551615 4194304 4196468 140735328743264 140062998869672 140063262514932 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
Current children cumulated CPU time (s) 19.54
Current children cumulated vsize (KiB) 26543968

[startup+6.30815 s]
/proc/loadavg: 7.51 5.85 5.92 9/201 8512
/proc/meminfo: memFree=31573128/32770624 swapFree=0/299708

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

[pid=8477/tid=8528] ppid=8475 vsize=26534456 CPUtime=118.55 cores=0-7
/proc/8477/task/8528/stat : 8528 (java) R 8475 8475 2334 0 -1 4202560 919 0 0 0 11855 0 0 0 20 0 28 0 1285816 27171282944 54803 18446744073709551615 4194304 4196468 140735328743264 140062998871336 140063271005158 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8529] ppid=8475 vsize=26534456 CPUtime=118.69 cores=0-7
/proc/8477/task/8529/stat : 8529 (java) R 8475 8475 2334 0 -1 4202560 1349 0 0 0 11869 0 0 0 20 0 28 0 1285816 27171282944 54803 18446744073709551615 4194304 4196468 140735328743264 140063003082112 140063268269626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
Current children cumulated CPU time (s) 1281.63
Current children cumulated vsize (KiB) 26543968

[startup+222.307 s]
/proc/loadavg: 8.02 7.01 6.38 9/201 8532
/proc/meminfo: memFree=31584980/32770624 swapFree=0/299768
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
[pid=8477] ppid=8475 vsize=26534456 CPUtime=1755.85 cores=0-7
/proc/8477/stat : 8477 (java) S 8475 8475 2334 0 -1 1077944320 149770 0 0 0 175460 125 0 0 20 0 28 0 1281579 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140735328725808 140063623638775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
/proc/8477/statm: 6633614 61245 3255 1 0 6621915 0
[pid=8477/tid=8478] ppid=8475 vsize=26534456 CPUtime=0.81 cores=0-7
/proc/8477/task/8478/stat : 8478 (java) S 8475 8475 2334 0 -1 1077944384 9488 0 0 0 77 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063627879552 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8479] ppid=8475 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8477/task/8479/stat : 8479 (java) S 8475 8475 2334 0 -1 1077944384 1736 0 0 0 36 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063584537104 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8480] ppid=8475 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8477/task/8480/stat : 8480 (java) S 8475 8475 2334 0 -1 1077944384 1986 0 0 0 36 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063583484560 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8481] ppid=8475 vsize=26534456 CPUtime=0.42 cores=0-7
/proc/8477/task/8481/stat : 8481 (java) S 8475 8475 2334 0 -1 1077944384 3039 0 0 0 36 6 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063582431504 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8482] ppid=8475 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/8477/task/8482/stat : 8482 (java) S 8475 8475 2334 0 -1 1077944384 1674 0 0 0 34 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063183337872 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8483] ppid=8475 vsize=26534456 CPUtime=0.38 cores=0-7
/proc/8477/task/8483/stat : 8483 (java) S 8475 8475 2334 0 -1 1077944384 2865 0 0 0 34 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063182285840 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8484] ppid=8475 vsize=26534456 CPUtime=0.39 cores=0-7
/proc/8477/task/8484/stat : 8484 (java) S 8475 8475 2334 0 -1 1077944384 3659 0 0 0 35 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063181233296 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8485] ppid=8475 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8477/task/8485/stat : 8485 (java) S 8475 8475 2334 0 -1 1077944384 1796 0 0 0 36 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063180180240 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8486] ppid=8475 vsize=26534456 CPUtime=0.4 cores=0-7
/proc/8477/task/8486/stat : 8486 (java) S 8475 8475 2334 0 -1 1077944384 2262 0 0 0 36 4 0 0 20 0 28 0 1281580 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063179127696 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8487] ppid=8475 vsize=26534456 CPUtime=1.03 cores=0-7
/proc/8477/task/8487/stat : 8487 (java) S 8475 8475 2334 0 -1 1077944384 6968 0 0 0 54 49 0 0 20 0 28 0 1281582 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063023724784 140063623649922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8488] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8488/stat : 8488 (java) S 8475 8475 2334 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063022671072 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8489] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8489/stat : 8489 (java) S 8475 8475 2334 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 1281583 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063021617920 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8490] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8490/stat : 8490 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063020566480 140063623657371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8491] ppid=8475 vsize=26534456 CPUtime=3.42 cores=0-7
/proc/8477/task/8491/stat : 8491 (java) S 8475 8475 2334 0 -1 1077944384 20064 0 0 0 338 4 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063019514608 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8492] ppid=8475 vsize=26534456 CPUtime=3.11 cores=0-7
/proc/8477/task/8492/stat : 8492 (java) S 8475 8475 2334 0 -1 1077944384 23047 0 0 0 306 5 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063018462064 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8493] ppid=8475 vsize=26534456 CPUtime=3.02 cores=0-7
/proc/8477/task/8493/stat : 8493 (java) S 8475 8475 2334 0 -1 1077944384 22380 0 0 0 299 3 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063017409008 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8494] ppid=8475 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/8477/task/8494/stat : 8494 (java) S 8475 8475 2334 0 -1 1077944384 16400 0 0 0 86 3 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063016356464 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8495] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8495/stat : 8495 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063015303648 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8496] ppid=8475 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/8477/task/8496/stat : 8496 (java) S 8475 8475 2334 0 -1 1077944384 1600 0 0 0 0 5 0 0 20 0 28 0 1281589 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063014251184 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8522] ppid=8475 vsize=26534456 CPUtime=177.28 cores=0-7
/proc/8477/task/8522/stat : 8522 (java) R 8475 8475 2334 0 -1 4202560 1407 0 0 0 17727 1 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140062999925712 140063269944557 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8523] ppid=8475 vsize=26534456 CPUtime=177.65 cores=0-7
/proc/8477/task/8523/stat : 8523 (java) R 8475 8475 2334 0 -1 4202560 1295 0 0 0 17765 0 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063000976376 140063271004683 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8524] ppid=8475 vsize=26534456 CPUtime=177.57 cores=0-7
/proc/8477/task/8524/stat : 8524 (java) R 8475 8475 2334 0 -1 4202560 1440 0 0 0 17756 1 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063006241088 140063270418825 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8525] ppid=8475 vsize=26534456 CPUtime=177.8 cores=0-7
/proc/8477/task/8525/stat : 8525 (java) R 8475 8475 2334 0 -1 4202560 2956 0 0 0 17778 2 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063002030304 140063263489344 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8526] ppid=8475 vsize=26534456 CPUtime=177.47 cores=0-7
/proc/8477/task/8526/stat : 8526 (java) R 8475 8475 2334 0 -1 4202560 2098 0 0 0 17745 2 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063005187936 140063263488904 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8527] ppid=8475 vsize=26534456 CPUtime=177.35 cores=0-7
/proc/8477/task/8527/stat : 8527 (java) R 8475 8475 2334 0 -1 4202560 1012 0 0 0 17734 1 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063004135272 140063271004982 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8528] ppid=8475 vsize=26534456 CPUtime=177.6 cores=0-7
/proc/8477/task/8528/stat : 8528 (java) R 8475 8475 2334 0 -1 4202560 1212 0 0 0 17759 1 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140062998871528 140063271005328 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8529] ppid=8475 vsize=26534456 CPUtime=177.82 cores=0-7
/proc/8477/task/8529/stat : 8529 (java) R 8475 8475 2334 0 -1 4202560 1863 0 0 0 17781 1 0 0 20 0 28 0 1285816 27171282944 61245 18446744073709551615 4194304 4196468 140735328743264 140063003081920 140063272351451 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
Current children cumulated CPU time (s) 1755.85
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.801 s]
/proc/loadavg: 8.01 7.07 6.41 9/201 8540
/proc/meminfo: memFree=31566628/32770624 swapFree=0/299776
[pid=8475] ppid=8472 vsize=9512 CPUtime=0 cores=0-7
/proc/8475/stat : 8475 (xcsp3-exec) S 8472 8475 2334 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 1281573 9740288 345 18446744073709551615 4194304 5098028 140732607642144 140732607640248 139882482573948 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 17530880 140732607648148 140732607648358 140732607648358 140732607651819 0
/proc/8475/statm: 2378 345 289 221 0 87 0
[pid=8477] ppid=8475 vsize=26534456 CPUtime=1920.17 cores=0-7
/proc/8477/stat : 8477 (java) S 8475 8475 2334 0 -1 1077944320 151336 0 0 0 191876 141 0 0 20 0 28 0 1281579 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140735328725808 140063623638775 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
/proc/8477/statm: 6633614 65250 3255 1 0 6621915 0
[pid=8477/tid=8478] ppid=8475 vsize=26534456 CPUtime=0.81 cores=0-7
/proc/8477/task/8478/stat : 8478 (java) S 8475 8475 2334 0 -1 1077944384 9593 0 0 0 77 4 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063627879552 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8479] ppid=8475 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8477/task/8479/stat : 8479 (java) S 8475 8475 2334 0 -1 1077944384 1940 0 0 0 41 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063584537104 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8480] ppid=8475 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8477/task/8480/stat : 8480 (java) S 8475 8475 2334 0 -1 1077944384 2022 0 0 0 40 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063583484560 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8481] ppid=8475 vsize=26534456 CPUtime=0.47 cores=0-7
/proc/8477/task/8481/stat : 8481 (java) S 8475 8475 2334 0 -1 1077944384 3090 0 0 0 41 6 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063582431504 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8482] ppid=8475 vsize=26534456 CPUtime=0.43 cores=0-7
/proc/8477/task/8482/stat : 8482 (java) S 8475 8475 2334 0 -1 1077944384 1738 0 0 0 39 4 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063183337872 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8483] ppid=8475 vsize=26534456 CPUtime=0.44 cores=0-7
/proc/8477/task/8483/stat : 8483 (java) S 8475 8475 2334 0 -1 1077944384 2901 0 0 0 39 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063182285840 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8484] ppid=8475 vsize=26534456 CPUtime=0.45 cores=0-7
/proc/8477/task/8484/stat : 8484 (java) S 8475 8475 2334 0 -1 1077944384 3686 0 0 0 40 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063181233296 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8485] ppid=8475 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8477/task/8485/stat : 8485 (java) S 8475 8475 2334 0 -1 1077944384 1832 0 0 0 41 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063180180240 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8486] ppid=8475 vsize=26534456 CPUtime=0.46 cores=0-7
/proc/8477/task/8486/stat : 8486 (java) S 8475 8475 2334 0 -1 1077944384 2276 0 0 0 41 5 0 0 20 0 28 0 1281580 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063179127696 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8487] ppid=8475 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/8477/task/8487/stat : 8487 (java) S 8475 8475 2334 0 -1 1077944384 6974 0 0 0 64 60 0 0 20 0 28 0 1281582 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063023724784 140063623649922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8488] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8488/stat : 8488 (java) S 8475 8475 2334 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 1281582 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063022671072 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8489] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8489/stat : 8489 (java) S 8475 8475 2334 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 1281583 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063021617920 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8490] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8490/stat : 8490 (java) S 8475 8475 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063020566480 140063623657371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8491] ppid=8475 vsize=26534456 CPUtime=3.43 cores=0-7
/proc/8477/task/8491/stat : 8491 (java) S 8475 8475 2334 0 -1 1077944384 20163 0 0 0 339 4 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063019514608 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8492] ppid=8475 vsize=26534456 CPUtime=3.11 cores=0-7
/proc/8477/task/8492/stat : 8492 (java) S 8475 8475 2334 0 -1 1077944384 23089 0 0 0 306 5 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063018462064 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8493] ppid=8475 vsize=26534456 CPUtime=3.03 cores=0-7
/proc/8477/task/8493/stat : 8493 (java) S 8475 8475 2334 0 -1 1077944384 22420 0 0 0 300 3 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063017409008 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8494] ppid=8475 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/8477/task/8494/stat : 8494 (java) S 8475 8475 2334 0 -1 1077944384 16828 0 0 0 86 3 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063016356464 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8495] ppid=8475 vsize=26534456 CPUtime=0 cores=0-7
/proc/8477/task/8495/stat : 8495 (java) S 8475 8475 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 1281585 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063015303648 140063623648981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8496] ppid=8475 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/8477/task/8496/stat : 8496 (java) S 8475 8475 2334 0 -1 1077944384 1601 0 0 0 0 6 0 0 20 0 28 0 1281589 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063014251184 140063623649922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8533] ppid=8475 vsize=26534456 CPUtime=3.99 cores=0-7
/proc/8477/task/8533/stat : 8533 (java) R 8475 8475 2334 0 -1 4202560 31 0 0 0 399 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063000975880 140063271005120 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8534] ppid=8475 vsize=26534456 CPUtime=4.01 cores=0-7
/proc/8477/task/8534/stat : 8534 (java) R 8475 8475 2334 0 -1 4202560 26 0 0 0 401 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063003082112 140063270560549 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8535] ppid=8475 vsize=26534456 CPUtime=3.95 cores=0-7
/proc/8477/task/8535/stat : 8535 (java) R 8475 8475 2334 0 -1 4202560 17 0 0 0 395 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063005187880 140063271004989 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8536] ppid=8475 vsize=26534456 CPUtime=4.01 cores=0-7
/proc/8477/task/8536/stat : 8536 (java) R 8475 8475 2334 0 -1 4202560 19 0 0 0 401 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140062999924960 140063263489032 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8537] ppid=8475 vsize=26534456 CPUtime=3.98 cores=0-7
/proc/8477/task/8537/stat : 8537 (java) R 8475 8475 2334 0 -1 4202560 19 0 0 0 398 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063004135400 140063263489005 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8538] ppid=8475 vsize=26534456 CPUtime=4.01 cores=0-7
/proc/8477/task/8538/stat : 8538 (java) R 8475 8475 2334 0 -1 4202560 18 0 0 0 401 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063006240632 140063271005148 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8539] ppid=8475 vsize=26534456 CPUtime=4.01 cores=0-7
/proc/8477/task/8539/stat : 8539 (java) R 8475 8475 2334 0 -1 4202560 19 0 0 0 401 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140062998871392 140063271005116 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
[pid=8477/tid=8540] ppid=8475 vsize=26534456 CPUtime=4 cores=0-7
/proc/8477/task/8540/stat : 8540 (java) R 8475 8475 2334 0 -1 4202560 20 0 0 0 400 0 0 0 20 0 28 0 1305546 27171282944 65250 18446744073709551615 4194304 4196468 140735328743264 140063002032480 140063271005415 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140735328752082 140735328752258 140735328752258 140735328755663 0
Current children cumulated CPU time (s) 1920.17
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 8477 sig 9
??? kill 8475 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 243.831
CPU time (s): 1920.17
CPU user time (s): 1918.76
CPU system time (s): 1.41
CPU usage (%): 787.5
Max. virtual memory (cumulated for all children) (KiB): 26543968

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

The end

Launcher Data 

Begin job on node130 at 2017-08-02 13:35:11
IDJOB=4254768
IDBENCH=115729
IDSOLVER=2636
FILE ID=node130/4254768-1501674545
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-7.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-4254768-1501674545/watcher-4254768-1501674545 -o /tmp/evaluation-result-4254768-1501674545/solver-4254768-1501674545 -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 1224645923 HOME/instance-4254768-1501674545.xml

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

MD5SUM BENCH= fe547a27c953c30f0dd43f8aa0b4ac9f
RANDOM SEED=1224645923

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:        31815968 kB
MemAvailable:   32025192 kB
Buffers:           99492 kB
Cached:           390972 kB
SwapCached:            0 kB
Active:           237980 kB
Inactive:         308268 kB
Active(anon):      56276 kB
Inactive(anon):     8556 kB
Active(file):     181704 kB
Inactive(file):   299712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7888 kB
Writeback:             0 kB
AnonPages:         54172 kB
Mapped:            27316 kB
Shmem:              8868 kB
Slab:             111368 kB
SReclaimable:      87288 kB
SUnreclaim:        24080 kB
KernelStack:        3040 kB
PageTables:         4084 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:      6144 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:39:15