Trace number 4283496

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)SAT (TO)1342 2520.1001 2486.9199

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-015-15-9.xml
MD5SUMa459d91dacc3f59ecbf6a687bb73e496
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1243
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints255
Number of domains1
Minimum domain size1359
Maximum domain size1359
Distribution of domain sizes[{"size":1359,"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.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283496-1503177315.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4283496-1503177315.xml, -tl, 2520s, -p, 1, -x, 3]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
1.12/0.73	c solve instance...
27.42/15.92	o 1358 
27.81/16.13	o 1357 
27.91/16.27	o 1356 
28.44/16.70	o 1355 
173.43/159.07	o 1354 
461.57/443.94	o 1352 
497.94/479.79	o 1342 
2520.07/2486.91	s SATISFIABLE
2520.07/2486.91	v <instantiation>
2520.07/2486.91	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>
2520.07/2486.91	v 	<values>0 35 113 192 257 310 349 481 551 604 694 789 838 890 1310 113 270 311 442 471 523 594 725 858 952 1019 1093 1178 1240 1285 0 60 103 174 176 226 263 403 507 567 624 733 796 1015 1204 0 150 436 471 552 694 751 752 796 890 920 1023 1116 1173 1273 174 270 309 384 482 484 545 614 692 787 931 935 946 1031 1126 0 332 360 403 450 614 702 735 748 755 804 882 933 1023 1122 27 30 110 459 559 650 681 784 848 931 933 1023 1087 1103 1121 92 115 145 310 551 662 725 933 1107 1136 1173 1178 1220 1242 1296 35 79 145 232 324 375 482 652 692 735 753 768 786 1116 1151 0 27 41 161 371 523 590 681 700 854 1005 1176 1206 1297 1308 0 67 161 549 567 650 669 787 824 882 914 952 1088 1193 1242 311 371 378 522 604 662 789 853 854 923 930 996 1108 1122 1167 0 92 196 200 294 471 577 848 853 914 975 1019 1028 1160 1260 0 67 226 264 332 426 436 484 702 818 946 1001 1116 1220 1304 0 115 200 301 318 360 406 471 619 757 824 910 1015 1126 1254 1311 1315 1273 1289 1204 1194 1146 1342 1211 1319 1312 1260 1334 1326 1310 </values>
2520.07/2486.91	v </instantiation>
2520.07/2486.91	c Unexpected resolution interruption!

Verifier Data 

OK	1342

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15393 MiB free)
  memory of node 1: 16384 MiB (15159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283496-1503177315/watcher-4283496-1503177315 -o /tmp/evaluation-result-4283496-1503177315/solver-4283496-1503177315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 271049522 HOME/instance-4283496-1503177315.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3212, runsolver pid=3209

[startup+0.106833 s]*
/proc/loadavg: 1.69 1.58 1.47 3/209 3222
/proc/meminfo: memFree=31277184/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13574484 memory=18284 CPUtime=0.03 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 3902 0 0 0 3 0 0 0 20 0 9 0 16138530 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3393621 4571 2138 1 0 3383118 0
[pid=3214/tid=3215] ppid=3212 vsize=13574484 memory=4206751525541407381 CPUtime=0.03 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 2619 0 0 0 3 0 0 0 20 0 9 0 16138530 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379624091512 140379619878045 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13574484 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16138531 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13574484 memory=139939486459520 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16138531 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16138531 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13574484 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16138531 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16138532 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 16138533 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379097117984 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 16138533 13900271616 4571 18446744073709551615 4194304 4196468 140734645794512 140379096065648 140379619866325 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19660 KiB

[startup+0.210188 s]*
/proc/loadavg: 1.69 1.58 1.47 4/215 3228
/proc/meminfo: memFree=31274388/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13974352 memory=23496 CPUtime=0.07 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 4816 0 0 0 6 1 0 0 20 0 15 0 16138530 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3493588 5874 2698 1 0 3482964 0
[pid=3214/tid=3215] ppid=3212 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 2980 0 0 0 5 0 0 0 20 0 15 0 16138530 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379624081808 140379605924112 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13974352 memory=288230583233163505 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13974352 memory=139939486647241 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13974352 memory=139939486459520 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16138532 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16138533 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379097117984 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16138533 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379096065648 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13974352 memory=139939486459520 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13974352 memory=139939486459520 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138544 14309736448 5874 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24872 KiB

[startup+0.311045 s]*
/proc/loadavg: 1.69 1.58 1.47 3/215 3228
/proc/meminfo: memFree=31263680/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13974352 memory=36936 CPUtime=0.25 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 8358 0 0 0 23 2 0 0 20 0 15 0 16138530 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3493588 9234 2967 1 0 3482964 0
[pid=3214/tid=3215] ppid=3212 vsize=13974352 memory=-7677926825137650786 CPUtime=0.16 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 5710 0 0 0 14 2 0 0 20 0 15 0 16138530 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379624058096 140379601419629 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16138531 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16138532 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16138533 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379097117984 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16138533 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379096065648 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 15 0 16138535 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 15 0 16138535 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13974352 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 658 0 0 0 5 0 0 0 20 0 15 0 16138535 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13974352 memory=139939486459520 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138544 14309736448 9234 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38312 KiB

[startup+0.706828 s]
/proc/loadavg: 1.69 1.58 1.47 3/215 3228
/proc/meminfo: memFree=31250812/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13980732 memory=66064 CPUtime=1.12 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 12616 0 0 0 107 5 0 0 20 0 15 0 16138530 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3495183 16516 3168 1 0 3483476 0
[pid=3214/tid=3215] ppid=3212 vsize=13980732 memory=6656426216303648864 CPUtime=0.54 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) S 3212 3212 18108 0 -1 1077944384 8114 0 0 0 51 3 0 0 20 0 15 0 16138530 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379624086576 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16138532 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379097117984 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13980732 memory=16024522984493 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379096065648 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13980732 memory=302304370639515854 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13980732 memory=14418102955827425 CPUtime=0.13 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 722 0 0 0 13 0 0 0 20 0 15 0 16138535 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379093948960 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13980732 memory=6226600750024779072 CPUtime=0.13 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) R 3212 3212 18108 0 -1 4202560 1090 0 0 0 13 0 0 0 20 0 15 0 16138535 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379092894584 140379210907758 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13980732 memory=7375036169830230336 CPUtime=0.29 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 1383 0 0 0 29 0 0 0 20 0 15 0 16138535 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13980732 memory=7158559913882643561 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13980732 memory=7445410411700710766 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138544 14316269568 16516 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67440 KiB

[startup+1.50275 s]
/proc/loadavg: 1.69 1.58 1.47 5/215 3228
/proc/meminfo: memFree=31208472/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13980732 memory=125284 CPUtime=3.52 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 39749 0 0 0 345 7 0 0 20 0 15 0 16138530 14316269568 31321 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3495183 31321 3189 1 0 3483476 0
[pid=3214/tid=3215] ppid=3212 vsize=13980732 memory=1376 CPUtime=1.34 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 9059 0 0 0 130 4 0 0 20 0 15 0 16138530 14316269568 31321 18446744073709551615 4194304 4196468 140734645794512 140379624090968 140379215708063 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13980732 memory=82744 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 31321 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13980732 memory=279878725979072 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 31321 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13980732 memory=279878725620384 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16138531 14316269568 31321 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379096065664 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13980732 memory=0 CPUtime=7.42 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 39345 0 0 0 739 3 0 0 20 0 15 0 16138535 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13980732 memory=303360 CPUtime=8.04 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 48270 0 0 0 800 4 0 0 20 0 15 0 16138535 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13980732 memory=303360 CPUtime=0.99 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 11290 0 0 0 96 3 0 0 20 0 15 0 16138535 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13980732 memory=1376 CPUtime=0.75 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1061 0 0 0 37 38 0 0 20 0 15 0 16138544 14316269568 75853 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 2414.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 304788 KiB

[startup+2442.3 s]
/proc/loadavg: 1.99 1.83 1.70 3/212 3445
/proc/meminfo: memFree=30947428/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13980732 memory=302420 CPUtime=2475.11 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 179070 0 0 0 247398 113 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3495183 75605 3261 1 0 3483476 0
[pid=3214/tid=3215] ppid=3212 vsize=13980732 memory=302420 CPUtime=2434.93 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 35010 0 0 0 243483 10 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379624095824 140379216169370 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.46 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 7861 0 0 0 531 15 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.45 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 7584 0 0 0 531 14 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13980732 memory=1376 CPUtime=5.47 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 8324 0 0 0 531 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13980732 memory=0 CPUtime=5.45 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 7265 0 0 0 529 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13980732 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 11515 0 0 0 91 10 0 0 20 0 15 0 16138532 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13980732 memory=302420 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379097118048 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13980732 memory=302932 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379096065664 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13980732 memory=302420 CPUtime=7.42 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 39347 0 0 0 739 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13980732 memory=1376 CPUtime=8.04 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 48272 0 0 0 800 4 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13980732 memory=302420 CPUtime=1 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 11460 0 0 0 97 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13980732 memory=302420 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13980732 memory=4128 CPUtime=0.76 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1084 0 0 0 38 38 0 0 20 0 15 0 16138544 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 2475.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 303796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.9 s]
/proc/loadavg: 2.67 2.04 1.77 3/212 3447
/proc/meminfo: memFree=30947816/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13980732 memory=302420 CPUtime=2520.07 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 180377 0 0 0 251893 114 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3495183 75605 3261 1 0 3483476 0
[pid=3214/tid=3215] ppid=3212 vsize=13980732 memory=1376 CPUtime=2479.39 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 35556 0 0 0 247929 10 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379624095792 140379216355717 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.58 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 7934 0 0 0 543 15 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.57 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 7879 0 0 0 543 14 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13980732 memory=1376 CPUtime=5.59 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 8473 0 0 0 543 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.57 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 7310 0 0 0 541 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13980732 memory=1376 CPUtime=1.03 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 11695 0 0 0 93 10 0 0 20 0 15 0 16138532 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379097118048 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13980732 memory=302420 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379096065664 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13980732 memory=2764 CPUtime=7.42 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 39349 0 0 0 739 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13980732 memory=1376 CPUtime=8.04 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 48274 0 0 0 800 4 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13980732 memory=302420 CPUtime=1 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 11462 0 0 0 97 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13980732 memory=302420 CPUtime=0.78 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1097 0 0 0 39 39 0 0 20 0 15 0 16138544 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 303796 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2486.92 s]
# the end of solver process 3212 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001868 s

[startup+2486.92 s]
# the end of solver process 3214 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.95 s, system=1.15338 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2486.9 s]
/proc/loadavg: 2.67 2.04 1.77 3/212 3447
/proc/meminfo: memFree=30947816/32770624 swapFree=67108860/67108860
[pid=3212] ppid=3209 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3212/stat : 3212 (xcsp3-exec) S 3209 3212 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16138523 9740288 344 18446744073709551615 4194304 5098028 140723147025952 140723147024056 140608573526652 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 13885440 140723147026810 140723147027014 140723147027014 140723147030507 0
/proc/3212/statm: 2378 344 289 221 0 87 0
[pid=3214] ppid=3212 vsize=13980732 memory=302420 CPUtime=2520.07 cores=0,2,4,6
/proc/3214/stat : 3214 (java) S 3212 3212 18108 0 -1 1077944320 180377 0 0 0 251893 114 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140734645777056 140379619856119 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
/proc/3214/statm: 3495183 75605 3261 1 0 3483476 0
[pid=3214/tid=3215] ppid=3212 vsize=13980732 memory=1376 CPUtime=2479.39 cores=0,2,4,6
/proc/3214/task/3215/stat : 3215 (java) R 3212 3212 18108 0 -1 4202560 35556 0 0 0 247929 10 0 0 20 0 15 0 16138530 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379624095792 140379216355717 0 4 1 16800974 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3216] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.58 cores=0,2,4,6
/proc/3214/task/3216/stat : 3216 (java) S 3212 3212 18108 0 -1 1077944384 7934 0 0 0 543 15 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379539270032 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3217] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.57 cores=0,2,4,6
/proc/3214/task/3217/stat : 3217 (java) S 3212 3212 18108 0 -1 1077944384 7879 0 0 0 543 14 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379538217232 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3218] ppid=3212 vsize=13980732 memory=1376 CPUtime=5.59 cores=0,2,4,6
/proc/3214/task/3218/stat : 3218 (java) S 3212 3212 18108 0 -1 1077944384 8473 0 0 0 543 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379537164944 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3219] ppid=3212 vsize=13980732 memory=302420 CPUtime=5.57 cores=0,2,4,6
/proc/3214/task/3219/stat : 3219 (java) S 3212 3212 18108 0 -1 1077944384 7310 0 0 0 541 16 0 0 20 0 15 0 16138531 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379536112144 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3220] ppid=3212 vsize=13980732 memory=1376 CPUtime=1.03 cores=0,2,4,6
/proc/3214/task/3220/stat : 3220 (java) S 3212 3212 18108 0 -1 1077944384 11695 0 0 0 93 10 0 0 20 0 15 0 16138532 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379098172016 140379619867266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3221] ppid=3212 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3221/stat : 3221 (java) S 3212 3212 18108 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379097118048 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3222] ppid=3212 vsize=13980732 memory=302420 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (java) S 3212 3212 18108 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 16138533 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379096065664 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3223] ppid=3212 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3223/stat : 3223 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379095013968 140379619874715 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3224] ppid=3212 vsize=13980732 memory=2764 CPUtime=7.42 cores=0,2,4,6
/proc/3214/task/3224/stat : 3224 (java) S 3212 3212 18108 0 -1 1077944384 39349 0 0 0 739 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379093960816 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3225] ppid=3212 vsize=13980732 memory=1376 CPUtime=8.04 cores=0,2,4,6
/proc/3214/task/3225/stat : 3225 (java) S 3212 3212 18108 0 -1 1077944384 48274 0 0 0 800 4 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379092908016 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3226] ppid=3212 vsize=13980732 memory=302420 CPUtime=1 cores=0,2,4,6
/proc/3214/task/3226/stat : 3226 (java) S 3212 3212 18108 0 -1 1077944384 11462 0 0 0 97 3 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379091855728 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3227] ppid=3212 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3227/stat : 3227 (java) S 3212 3212 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16138535 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379090803168 140379619866325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
[pid=3214/tid=3228] ppid=3212 vsize=13980732 memory=302420 CPUtime=0.78 cores=0,2,4,6
/proc/3214/task/3228/stat : 3228 (java) S 3212 3212 18108 0 -1 1077944384 1097 0 0 0 39 39 0 0 20 0 15 0 16138544 14316269568 75605 18446744073709551615 4194304 4196468 140734645794512 140379089750960 140379619867266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38191104 140734645801394 140734645801570 140734645801570 140734645805007 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 303796 KiB

Child status: 143
Real time (s): 2486.92
CPU time (s): 2520.1
CPU user time (s): 2518.95
CPU system time (s): 1.15338
CPU usage (%): 101.334
Max. virtual memory (cumulated for all children) (KiB): 13995084
Max. memory (cumulated for all children) (KiB): 506660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.95
system time used= 1.15338
maximum resident set size= 505696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78976
involuntary context switches= 3647


# summary of solver processes directly reported to runsolver:
#   pid: 3212,3214
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.95
#   total CPU system time (s): 1.15338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3985 second user time and 23.0369 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-19 23:01:35
IDJOB=4283496
IDBENCH=115789
IDSOLVER=2679
FILE ID=node131/4283496-1503177315
RUNJOBID= node131-1503171558-2270
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-9.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-4283496-1503177315/watcher-4283496-1503177315 -o /tmp/evaluation-result-4283496-1503177315/solver-4283496-1503177315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 271049522 HOME/instance-4283496-1503177315.xml

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

MD5SUM BENCH= a459d91dacc3f59ecbf6a687bb73e496
RANDOM SEED=271049522

node131.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.69
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.69
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.69
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.69
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:        31285840 kB
MemAvailable:   31665868 kB
Buffers:          192216 kB
Cached:           475344 kB
SwapCached:            0 kB
Active:           599360 kB
Inactive:         472128 kB
Active(anon):     404644 kB
Inactive(anon):    16748 kB
Active(file):     194716 kB
Inactive(file):   455380 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8000 kB
Writeback:             0 kB
AnonPages:        404084 kB
Mapped:            46068 kB
Shmem:             17060 kB
Slab:             116576 kB
SReclaimable:      91536 kB
SUnreclaim:        25040 kB
KernelStack:        3472 kB
PageTables:         6328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     938660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-08-19 23:43:02