Trace number 4254270

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 seq (2017-07-26)SAT (TO)1320 247.826 240.00999

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-4.xml
MD5SUM428eef4dc0068476798a4d67b3fd28ef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1233
Best CPU time to get the best result obtained on this benchmark251.895
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1333
Maximum domain size1333
Distribution of domain sizes[{"size":1333,"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.04	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254270-1501611927.xml"  -tl '264s' -p 1 -x 0
0.00/0.28	c [HOME/instance-4254270-1501611927.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.34	c simple solver
0.00/0.40	c parse instance...
0.00/0.69	c solve instance...
13.51/7.42	o 1332 
109.68/102.19	o 1321 
109.89/102.36	o 1320 
247.80/240.00	s SATISFIABLE
247.80/240.00	v <instantiation>
247.80/240.00	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>
247.80/240.00	v 	<values>0 40 136 195 290 366 441 504 569 788 804 875 927 1122 1221 0 210 298 397 449 517 530 568 603 660 697 790 828 896 990 213 300 346 360 581 611 726 788 842 896 903 1000 1061 1149 1200 0 19 34 76 84 156 171 247 393 541 633 896 966 1047 1167 0 68 139 142 210 301 338 441 697 966 1045 1096 1146 1211 1241 22 36 68 97 169 175 224 397 447 530 532 666 699 732 1063 114 135 300 399 469 549 620 735 856 912 1073 1150 1160 1286 1287 0 29 114 203 213 243 281 447 495 511 576 695 768 856 998 0 37 446 576 599 603 681 720 744 782 823 915 998 1091 1244 61 131 399 495 541 551 634 694 778 831 843 880 998 1073 1195 0 29 78 111 113 141 221 601 669 690 790 880 1056 1152 1191 97 178 301 338 387 473 517 581 660 694 753 1045 1118 1195 1211 40 61 175 322 471 495 549 634 726 740 753 821 927 1118 1154 139 298 393 445 568 601 613 686 828 903 915 998 1001 1091 1148 37 203 221 275 317 387 469 669 768 896 1016 1056 1148 1149 1252 1245 1061 1296 1264 1305 1122 1320 1045 1304 1246 1239 1286 1244 1154 1264 </values>
247.80/240.00	v </instantiation>
247.80/240.00	c Unexpected resolution interruption!

Verifier Data 

OK	1320

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-4254270-1501611927/watcher-4254270-1501611927 -o /tmp/evaluation-result-4254270-1501611927/solver-4254270-1501611927 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 928212070 HOME/instance-4254270-1501611927.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.96 1.82 1.10 3/180 3831
/proc/meminfo: memFree=32122172/32770624 swapFree=0/153464
[pid=3831] ppid=3828 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (runsolver) D 3828 3831 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3103301 24240128 108 18446744073709551615 4194304 4338465 140729074372384 140729074370024 139668994237143 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 25989120 140729074380895 140729074381383 140729074381383 140729074384842 0
/proc/3831/statm: 5918 108 54 36 0 2156 0

[startup+0.10009 s]
/proc/loadavg: 1.96 1.82 1.10 3/180 3831
/proc/meminfo: memFree=32122172/32770624 swapFree=0/153464
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200289 s]
/proc/loadavg: 1.96 1.82 1.10 3/180 3831
/proc/meminfo: memFree=32122172/32770624 swapFree=0/153464
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300255 s]
/proc/loadavg: 1.96 1.82 1.10 3/180 3831
/proc/meminfo: memFree=32122172/32770624 swapFree=0/153464
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700181 s]
/proc/loadavg: 1.96 1.82 1.10 3/180 3831
/proc/meminfo: memFree=32122172/32770624 swapFree=0/153464
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50066 s]
/proc/loadavg: 1.96 1.82 1.10 7/216 3872
/proc/meminfo: memFree=31944708/32770624 swapFree=0/149096
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=3.58 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 39718 0 0 0 351 7 0 0 20 0 15 0 3103305 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 29336 3174 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 9523 0 0 0 132 3 0 0 20 0 15 0 3103306 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846924315368 139846565262704 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) R 3831 3831 3187 0 -1 4202560 13677 0 0 0 89 1 0 0 20 0 15 0 3103311 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846394490024 139846903562997 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) R 3831 3831 3187 0 -1 4202560 12915 0 0 0 92 1 0 0 20 0 15 0 3103311 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846393443664 139846901594832 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 2293 0 0 0 38 0 0 0 20 0 15 0 3103311 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103320 14316269568 29336 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13990244

[startup+3.10075 s]
/proc/loadavg: 1.96 1.82 1.10 7/216 3872
/proc/meminfo: memFree=31890148/32770624 swapFree=0/149096
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=8.41 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 43300 0 0 0 834 7 0 0 20 0 15 0 3103305 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 32260 3188 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 9912 0 0 0 291 3 0 0 20 0 15 0 3103306 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846924313336 139846565262786 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) R 3831 3831 3187 0 -1 4202560 15302 0 0 0 248 1 0 0 20 0 15 0 3103311 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846394495840 139846904998829 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) R 3831 3831 3187 0 -1 4202560 14148 0 0 0 251 1 0 0 20 0 15 0 3103311 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846393443328 139846901621648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 2583 0 0 0 41 0 0 0 20 0 15 0 3103311 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 3103320 14316269568 32260 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (KiB) 13990244

[startup+6.30064 s]
/proc/loadavg: 2.04 1.84 1.11 3/216 3872
/proc/meminfo: memFree=31865932/32770624 swapFree=0/149104
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=11.98 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 48160 0 0 0 1190 8 0 0 20 0 15 0 3103305 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 36211 3193 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 10598 0 0 0 611 3 0 0 20 0 15 0 3103306 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846924312752 139846567721449 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) S 3831 3831 3187 0 -1 1077944384 16611 0 0 0 268 1 0 0 20 0 15 0 3103311 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846394509808 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) S 3831 3831 3187 0 -1 1077944384 14986 0 0 0 265 1 0 0 20 0 15 0 3103311 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846393457264 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 3289 0 0 0 44 0 0 0 20 0 15 0 3103311 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 1087 0 0 0 0 0 0 0 20 0 15 0 3103320 14316269568 36211 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 13990244

[startup+12.7006 s]
/proc/loadavg: 2.04 1.84 1.12 3/216 3872
/proc/meminfo: memFree=31755556/32770624 swapFree=0/149112
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=19.3 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 54422 0 0 0 1921 9 0 0 20 0 15 0 3103305 14316269568 52329 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 52329 3195 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 11974 0 0 0 1250 4 0 0 20 0 15 0 3103306 14316269568 52329 18446744073709551615 4194304 4196468 140732281446128 139846924314424 139846568122743 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 52329 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3103306 14316269568 52329 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0

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

/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 73410 0 0 0 10974 15 0 0 20 0 15 0 3103305 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 58227 3232 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=102.11 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 14643 0 0 0 10207 4 0 0 20 0 15 0 3103306 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846924316000 139846568123732 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1120 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 1182 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 1204 0 0 0 1 0 0 0 20 0 15 0 3103308 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=3.69 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) S 3831 3831 3187 0 -1 1077944384 23814 0 0 0 367 2 0 0 20 0 15 0 3103311 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846394509808 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=3.36 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) S 3831 3831 3187 0 -1 1077944384 19967 0 0 0 334 2 0 0 20 0 15 0 3103311 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846393457264 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 6571 0 0 0 54 1 0 0 20 0 15 0 3103311 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 1898 0 0 0 1 1 0 0 20 0 15 0 3103320 14316269568 58227 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 109.89
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.95 1.86 1.23 3/215 3877
/proc/meminfo: memFree=31680156/32770624 swapFree=0/149188
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=170.06 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 76499 0 0 0 16991 15 0 0 20 0 15 0 3103305 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 56142 3232 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=162.09 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 15340 0 0 0 16205 4 0 0 20 0 15 0 3103306 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846924316176 139846568123263 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1525 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1155 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 1244 0 0 0 1 0 0 0 20 0 15 0 3103306 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 1432 0 0 0 2 0 0 0 20 0 15 0 3103308 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) S 3831 3831 3187 0 -1 1077944384 24196 0 0 0 379 2 0 0 20 0 15 0 3103311 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846394509808 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=3.39 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) S 3831 3831 3187 0 -1 1077944384 20751 0 0 0 337 2 0 0 20 0 15 0 3103311 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846393457264 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 7054 0 0 0 55 1 0 0 20 0 15 0 3103311 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 1925 0 0 0 1 2 0 0 20 0 15 0 3103320 14316269568 56142 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.86 1.85 1.27 3/214 3879
/proc/meminfo: memFree=31703372/32770624 swapFree=0/149212
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=230.1 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 77455 0 0 0 22994 16 0 0 20 0 15 0 3103305 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 52295 3232 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=222.1 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 15754 0 0 0 22205 5 0 0 20 0 15 0 3103306 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846924316000 139846566325289 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1563 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1419 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 1286 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 1604 0 0 0 3 0 0 0 20 0 15 0 3103308 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) S 3831 3831 3187 0 -1 1077944384 24198 0 0 0 379 2 0 0 20 0 15 0 3103311 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846394509808 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=3.39 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) S 3831 3831 3187 0 -1 1077944384 20761 0 0 0 337 2 0 0 20 0 15 0 3103311 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846393457264 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 7056 0 0 0 55 1 0 0 20 0 15 0 3103311 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 1935 0 0 0 2 2 0 0 20 0 15 0 3103320 14316269568 52295 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 230.1
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.82 1.85 1.28 3/214 3879
/proc/meminfo: memFree=31715572/32770624 swapFree=0/149220
[pid=3831] ppid=3828 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3831/stat : 3831 (xcsp3-exec) S 3828 3831 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3103301 9740288 345 18446744073709551615 4194304 5098028 140727358011248 140727358009352 140706641228412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 4 0 0 7196144 7232144 24649728 140727358017949 140727358018152 140727358018152 140727358021611 0
/proc/3831/statm: 2378 345 289 221 0 87 0
[pid=3843] ppid=3831 vsize=13980732 CPUtime=247.8 cores=1,3,5,7
/proc/3843/stat : 3843 (java) S 3831 3831 3187 0 -1 1077944320 77467 0 0 0 24764 16 0 0 20 0 15 0 3103305 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 140732281428672 139846920077047 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
/proc/3843/statm: 3495183 51012 3232 1 0 3483484 0
[pid=3843/tid=3844] ppid=3831 vsize=13980732 CPUtime=239.79 cores=1,3,5,7
/proc/3843/task/3844/stat : 3844 (java) R 3831 3831 3187 0 -1 4202560 15762 0 0 0 23974 5 0 0 20 0 15 0 3103306 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846924316064 139846566793022 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3845] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3845/stat : 3845 (java) S 3831 3831 3187 0 -1 1077944384 1565 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846519704336 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3846] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3846/stat : 3846 (java) S 3831 3831 3187 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846518651792 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3847] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3847/stat : 3847 (java) S 3831 3831 3187 0 -1 1077944384 1420 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846517599248 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3848] ppid=3831 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/3843/task/3848/stat : 3848 (java) S 3831 3831 3187 0 -1 1077944384 1286 0 0 0 2 0 0 0 20 0 15 0 3103306 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846516546704 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3849] ppid=3831 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/3843/task/3849/stat : 3849 (java) S 3831 3831 3187 0 -1 1077944384 1604 0 0 0 3 0 0 0 20 0 15 0 3103308 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846398719984 139846920088194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3850] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3850/stat : 3850 (java) S 3831 3831 3187 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846397666208 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3851] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3851/stat : 3851 (java) S 3831 3831 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3103308 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846396613616 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3858] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3858/stat : 3858 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846395562192 139846920095643 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3859] ppid=3831 vsize=13980732 CPUtime=3.81 cores=1,3,5,7
/proc/3843/task/3859/stat : 3859 (java) S 3831 3831 3187 0 -1 1077944384 24198 0 0 0 379 2 0 0 20 0 15 0 3103311 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846394509808 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3860] ppid=3831 vsize=13980732 CPUtime=3.39 cores=1,3,5,7
/proc/3843/task/3860/stat : 3860 (java) S 3831 3831 3187 0 -1 1077944384 20761 0 0 0 337 2 0 0 20 0 15 0 3103311 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846393457264 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3861] ppid=3831 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/3843/task/3861/stat : 3861 (java) S 3831 3831 3187 0 -1 1077944384 7056 0 0 0 55 1 0 0 20 0 15 0 3103311 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846392404720 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3862] ppid=3831 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3843/task/3862/stat : 3862 (java) S 3831 3831 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3103311 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846391352416 139846920087253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
[pid=3843/tid=3871] ppid=3831 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3843/task/3871/stat : 3871 (java) S 3831 3831 3187 0 -1 1077944384 1935 0 0 0 2 2 0 0 20 0 15 0 3103320 14316269568 51012 18446744073709551615 4194304 4196468 140732281446128 139846390298928 139846920088194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140732281450965 140732281451140 140732281451140 140732281454543 0
Current children cumulated CPU time (s) 247.8
Current children cumulated vsize (KiB) 13990244

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

Child status: 143
Real time (s): 240.01
CPU time (s): 247.826
CPU user time (s): 247.652
CPU system time (s): 0.174102
CPU usage (%): 103.257
Max. virtual memory (cumulated for all children) (KiB): 13992836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.652
system time used= 0.174102
maximum resident set size= 239460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8412
involuntary context switches= 234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02373 second user time and 1.35601 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-01 20:11:26
IDJOB=4254270
IDBENCH=115757
IDSOLVER=2635
FILE ID=node135/4254270-1501611927
RUNJOBID= node135-1501610360-3274
PBS_JOBID= 
Free space on /tmp= 61840 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254270-1501611927/watcher-4254270-1501611927 -o /tmp/evaluation-result-4254270-1501611927/solver-4254270-1501611927 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 928212070 HOME/instance-4254270-1501611927.xml

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

MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef
RANDOM SEED=928212070

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32127456 kB
MemAvailable:   32060656 kB
Buffers:           28104 kB
Cached:           218020 kB
SwapCached:            0 kB
Active:           143652 kB
Inactive:         157700 kB
Active(anon):      55548 kB
Inactive(anon):     8592 kB
Active(file):      88104 kB
Inactive(file):   149108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7828 kB
Writeback:             4 kB
AnonPages:         55200 kB
Mapped:            28148 kB
Shmem:              8960 kB
Slab:              47592 kB
SReclaimable:      23648 kB
SUnreclaim:        23944 kB
KernelStack:        3184 kB
PageTables:         4524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     283068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61828 MiB
End job on node135 at 2017-08-01 20:15:26