Trace number 4244360

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
R1: choco-solver 4.0.5 (2017-07-05)SAT (TO)1323 2400.5 336.012

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-020-05-0.xml
MD5SUM1edbd0f724acb79b93e779b216f6b499
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1278
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints125
Number of domains1
Minimum domain size1378
Maximum domain size1378
Distribution of domain sizes[{"size":1378,"count":120}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":100}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":100},{"arity":20,"count":5}]
Number of extensional constraints0
Number of intensional constraints120
Distribution of constraint types[{"type":"intension","count":120},{"type":"noOverlap","count":5}]
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.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244360-1500682391.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4244360-1500682391.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.34	c parse instance...
0.00/0.80	c solve instance...
27.15/4.03	o 1376 
32.64/4.79	o 1375 
39.00/5.60	o 1373 
39.68/5.66	o 1372 
41.12/5.89	o 1371 
48.90/6.88	o 1370 
53.19/7.43	o 1369 
57.68/8.03	o 1368 
62.25/8.64	o 1367 
87.79/12.22	o 1366 
95.87/13.54	o 1365 
101.20/14.45	o 1364 
106.37/15.47	o 1363 
112.86/17.12	o 1362 
117.90/17.82	o 1361 
120.56/18.55	o 1358 
125.64/19.78	o 1357 
129.79/20.33	o 1350 
143.71/22.68	o 1349 
147.84/23.34	o 1348 
152.66/24.62	o 1347 
157.34/25.60	o 1346 
169.62/27.54	o 1341 
170.86/27.74	o 1333 
309.71/45.56	o 1332 
322.83/47.75	o 1331 
482.15/69.58	o 1330 
496.72/72.74	o 1329 
546.54/81.43	o 1328 
1160.11/162.47	o 1327 
1409.74/198.24	o 1326 
1432.53/204.40	o 1325 
1477.21/215.36	o 1324 
1497.97/221.96	o 1323 
2400.50/336.06	s SATISFIABLE
2400.50/336.06	v <instantiation>
2400.50/336.06	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] 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] e[15] e[16] e[17] e[18] e[19] </list>
2400.50/336.06	v 	<values>256 494 582 609 699 526 736 739 834 997 26 80 94 176 319 378 578 677 726 825 953 1037 1093 1192 1270 129 265 401 446 570 203 395 522 596 646 165 335 499 537 605 41 91 206 263 386 609 748 828 892 1053 877 967 970 977 1066 1030 1121 1182 1183 1198 12 96 297 366 455 68 190 360 405 521 0 33 143 207 339 449 678 692 794 910 97 169 271 312 463 790 881 987 1062 1152 310 573 598 675 757 696 804 930 1139 1170 757 1053 339 910 1323 605 699 646 455 1066 1152 1270 463 570 386 997 521 1170 825 1198 </values>
2400.50/336.06	v </instantiation>
2400.50/336.06	c Unexpected resolution interruption!

Verifier Data 

OK	1323

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-4244360-1500682391/watcher-4244360-1500682391 -o /tmp/evaluation-result-4244360-1500682391/solver-4244360-1500682391 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 574366861 HOME/instance-4244360-1500682391.xml 

pid=8011
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.47 0.92 1.38 4/263 8014
/proc/meminfo: memFree=31962588/32770624 swapFree=5880/236416
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0

[startup+0.100067 s]
/proc/loadavg: 0.47 0.92 1.38 4/263 8014
/proc/meminfo: memFree=31962588/32770624 swapFree=5880/236416
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200293 s]
/proc/loadavg: 0.47 0.92 1.38 4/263 8014
/proc/meminfo: memFree=31962588/32770624 swapFree=5880/236416
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300299 s]
/proc/loadavg: 0.47 0.92 1.38 4/263 8014
/proc/meminfo: memFree=31962588/32770624 swapFree=5880/236416
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70022 s]
/proc/loadavg: 0.47 0.92 1.38 4/263 8014
/proc/meminfo: memFree=31962588/32770624 swapFree=5880/236416
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50144 s]
/proc/loadavg: 0.47 0.92 1.38 23/300 8051
/proc/meminfo: memFree=31659704/32770624 swapFree=5880/236388
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8014 vsize=13801768 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8014 8014 7744 0 -1 1077944320 21850 0 0 0 720 9 0 0 20 0 28 0 3506760 14133010432 35431 33554432000 4194304 4196468 140731898613024 140731898595568 139864040017655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
/proc/8015/statm: 3450442 35431 3211 1 0 3437675 0
[pid=8015/tid=8016] ppid=8014 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8014 8014 7744 0 -1 1077944384 7042 0 0 0 75 4 0 0 20 0 28 0 3506760 14133010432 35431 33554432000 4194304 4196468 140731898613024 139864044258432 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8018] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8018/stat : 8018 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139864000977168 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8019] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8019/stat : 8019 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863638129040 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8020] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8020/stat : 8020 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863637076496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8021] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863636023952 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8022] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863634971408 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8023] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863633918864 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8024] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863632866320 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8025] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863631813776 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8026] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8014 8014 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3506764 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863233914864 139864040028802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8027] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8014 8014 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3506764 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863232861088 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8028] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8014 8014 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3506765 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863231808496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8029] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8029/stat : 8029 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863230757072 139864040036251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8030] ppid=8014 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8030/stat : 8030 (java) R 8014 8014 7744 0 -1 4202560 3181 0 0 0 61 0 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863229690152 139864025183241 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8031] ppid=8014 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8031/stat : 8031 (java) R 8014 8014 7744 0 -1 4202560 2691 0 0 0 63 0 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863228636648 139864025125234 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8032] ppid=8014 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) R 8014 8014 7744 0 -1 4202560 4102 0 0 0 58 1 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863227584152 139864025120069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8033] ppid=8014 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8014 8014 7744 0 -1 1077944384 3059 0 0 0 59 1 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863226547056 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8034] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506769 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863225493728 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8035] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8035/stat : 8035 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506770 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863224441264 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8036] ppid=8014 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8036/stat : 8036 (java) R 8014 8014 7744 0 -1 4202560 57 0 0 0 51 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863216426752 139863681764926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8037] ppid=8014 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8037/stat : 8037 (java) R 8014 8014 7744 0 -1 4202560 59 0 0 0 50 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863215376840 139863681765642 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8038] ppid=8014 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8038/stat : 8038 (java) R 8014 8014 7744 0 -1 4202560 48 0 0 0 49 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863214323752 139863681765208 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8039] ppid=8014 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) R 8014 8014 7744 0 -1 4202560 89 0 0 0 61 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863213269528 139863681764722 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8040] ppid=8014 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) R 8014 8014 7744 0 -1 4202560 80 0 0 0 48 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863212218976 139863681445331 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8041] ppid=8014 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) R 8014 8014 7744 0 -1 4202560 40 0 0 0 41 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863211166760 139863681764583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8042] ppid=8014 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) R 8014 8014 7744 0 -1 4202560 41 0 0 0 56 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863210110568 139863681764897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8043] ppid=8014 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) R 8014 8014 7744 0 -1 4202560 45 0 0 0 44 0 0 0 20 0 28 0 3506841 14133010432 35431 33554432000 4194304 4196468 140731898613024 139863209057768 139863681764660 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 13811280

[startup+3.10142 s]
/proc/loadavg: 0.47 0.92 1.38 23/300 8051
/proc/meminfo: memFree=31587660/32770624 swapFree=5880/236408
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8014 vsize=13801768 CPUtime=20.03 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8014 8014 7744 0 -1 1077944320 40204 0 0 0 1991 12 0 0 20 0 28 0 3506760 14133010432 40669 33554432000 4194304 4196468 140731898613024 140731898595568 139864040017655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
/proc/8015/statm: 3450442 40669 3214 1 0 3437675 0
[pid=8015/tid=8016] ppid=8014 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8014 8014 7744 0 -1 1077944384 7042 0 0 0 75 4 0 0 20 0 28 0 3506760 14133010432 40669 33554432000 4194304 4196468 140731898613024 139864044258432 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8018] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8018/stat : 8018 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139864000977168 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8019] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8019/stat : 8019 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863638129040 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8020] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8020/stat : 8020 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863637076496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8021] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863636023952 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8022] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8014 8014 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863634971408 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8023] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863633918864 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8024] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863632866320 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8025] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506761 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863631813776 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8026] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8014 8014 7744 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 3506764 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863233914864 139864040028802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8027] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8014 8014 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3506764 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863232861088 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8028] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8014 8014 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3506765 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863231808496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8029] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8029/stat : 8029 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863230757072 139864040036251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8030] ppid=8014 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8030/stat : 8030 (java) R 8014 8014 7744 0 -1 4202560 10014 0 0 0 178 1 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863229691256 139864025126652 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8031] ppid=8014 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8031/stat : 8031 (java) R 8014 8014 7744 0 -1 4202560 6707 0 0 0 160 1 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863228638712 139864023531719 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8032] ppid=8014 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) R 8014 8014 7744 0 -1 4202560 10215 0 0 0 167 2 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863227599896 139864019188944 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8033] ppid=8014 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8014 8014 7744 0 -1 1077944384 3728 0 0 0 68 1 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863226547056 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8034] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506769 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863225493728 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8035] ppid=8014 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8035/stat : 8035 (java) S 8014 8014 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3506770 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863224441264 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8036] ppid=8014 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8036/stat : 8036 (java) R 8014 8014 7744 0 -1 4202560 155 0 0 0 165 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863216424840 139863681765240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8037] ppid=8014 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8037/stat : 8037 (java) R 8014 8014 7744 0 -1 4202560 113 0 0 0 198 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863215376552 139863681765768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8038] ppid=8014 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8038/stat : 8038 (java) R 8014 8014 7744 0 -1 4202560 110 0 0 0 166 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863214320288 139863681765085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8039] ppid=8014 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) R 8014 8014 7744 0 -1 4202560 198 0 0 0 179 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863213270944 139863681764926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8040] ppid=8014 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) R 8014 8014 7744 0 -1 4202560 247 0 0 0 163 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863212217104 139863682919389 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8041] ppid=8014 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) R 8014 8014 7744 0 -1 4202560 95 0 0 0 141 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863211164536 139863681765515 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8042] ppid=8014 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) R 8014 8014 7744 0 -1 4202560 84 0 0 0 155 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863210109672 139863681452807 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8043] ppid=8014 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) R 8014 8014 7744 0 -1 4202560 144 0 0 0 170 0 0 0 20 0 28 0 3506841 14133010432 40669 33554432000 4194304 4196468 140731898613024 139863209057088 139863681765085 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
Current children cumulated CPU time (s) 20.03
Current children cumulated vsize (KiB) 13811280

[startup+6.30119 s]
/proc/loadavg: 1.56 1.13 1.45 23/300 8067
/proc/meminfo: memFree=31418592/32770624 swapFree=5880/236384

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

[pid=8015/tid=8326] ppid=8014 vsize=13871408 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8326/stat : 8326 (java) R 8014 8014 7744 0 -1 4202560 22 0 0 0 33 0 0 0 20 0 28 0 3528956 14204321792 71261 33554432000 4194304 4196468 140731898613024 139863204862664 139863683289848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8327] ppid=8014 vsize=13871408 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8327/stat : 8327 (java) R 8014 8014 7744 0 -1 4202560 28 0 0 0 35 0 0 0 20 0 28 0 3528956 14204321792 71261 33554432000 4194304 4196468 140731898613024 139863214328648 139863683813787 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
Current children cumulated CPU time (s) 1500.85
Current children cumulated vsize (KiB) 13880920

[startup+282.301 s]
/proc/loadavg: 14.83 9.16 4.77 17/302 8329
/proc/meminfo: memFree=30562044/32770624 swapFree=5880/236692
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8014 vsize=13871408 CPUtime=1975.66 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8014 8014 7744 0 -1 1077944320 205961 0 0 0 197376 190 0 0 20 0 28 0 3506760 14204321792 80236 33554432000 4194304 4196468 140731898613024 140731898595568 139864040017655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
/proc/8015/statm: 3467852 80236 3273 1 0 3455085 0
[pid=8015/tid=8016] ppid=8014 vsize=13871408 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8014 8014 7744 0 -1 1077944384 10193 0 0 0 76 5 0 0 20 0 28 0 3506760 14204321792 80236 33554432000 4194304 4196468 140731898613024 139864044258432 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8018] ppid=8014 vsize=13871408 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8018/stat : 8018 (java) S 8014 8014 7744 0 -1 1077944384 2083 0 0 0 31 9 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139864000977168 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8019] ppid=8014 vsize=13871408 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8019/stat : 8019 (java) S 8014 8014 7744 0 -1 1077944384 3628 0 0 0 30 8 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863638129040 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8020] ppid=8014 vsize=13871408 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8020/stat : 8020 (java) S 8014 8014 7744 0 -1 1077944384 4755 0 0 0 31 9 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863637076496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8021] ppid=8014 vsize=13871408 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8014 8014 7744 0 -1 1077944384 3702 0 0 0 30 8 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863636023952 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8022] ppid=8014 vsize=13871408 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8014 8014 7744 0 -1 1077944384 4142 0 0 0 30 8 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863634971408 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8023] ppid=8014 vsize=13871408 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8014 8014 7744 0 -1 1077944384 5556 0 0 0 32 7 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863633918864 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8024] ppid=8014 vsize=13871408 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8014 8014 7744 0 -1 1077944384 5206 0 0 0 32 9 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863632866320 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8025] ppid=8014 vsize=13871408 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8014 8014 7744 0 -1 1077944384 2822 0 0 0 30 9 0 0 20 0 28 0 3506761 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863631813776 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8026] ppid=8014 vsize=13871408 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8014 8014 7744 0 -1 1077944384 12530 0 0 0 62 78 0 0 20 0 28 0 3506764 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863233914864 139864040028802 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8027] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8014 8014 7744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3506764 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863232861152 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8028] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8014 8014 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3506765 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863231808512 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8029] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8029/stat : 8029 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863230757072 139864040036251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8030] ppid=8014 vsize=13871408 CPUtime=4.84 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8030/stat : 8030 (java) S 8014 8014 7744 0 -1 1077944384 24576 0 0 0 482 2 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863229704688 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8031] ppid=8014 vsize=13871408 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8031/stat : 8031 (java) S 8014 8014 7744 0 -1 1077944384 25496 0 0 0 447 4 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863228652144 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8032] ppid=8014 vsize=13871408 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8014 8014 7744 0 -1 1077944384 23824 0 0 0 477 3 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863227599600 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8033] ppid=8014 vsize=13871408 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8014 8014 7744 0 -1 1077944384 19891 0 0 0 119 3 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863226547056 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8034] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506769 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863225493728 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8035] ppid=8014 vsize=13871408 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8035/stat : 8035 (java) S 8014 8014 7744 0 -1 1077944384 2254 0 0 0 8 6 0 0 20 0 28 0 3506770 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863224441264 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8320] ppid=8014 vsize=13871408 CPUtime=59.29 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8320/stat : 8320 (java) R 8014 8014 7744 0 -1 4202560 996 0 0 0 5929 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863209056728 139863686399451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8321] ppid=8014 vsize=13871408 CPUtime=59.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8321/stat : 8321 (java) R 8014 8014 7744 0 -1 4202560 1223 0 0 0 5944 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863215374152 139863686399411 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8322] ppid=8014 vsize=13871408 CPUtime=59.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8322/stat : 8322 (java) R 8014 8014 7744 0 -1 4202560 1085 0 0 0 5963 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863211163280 139863686399424 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8323] ppid=8014 vsize=13871408 CPUtime=59.6 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8323/stat : 8323 (java) R 8014 8014 7744 0 -1 4202560 438 0 0 0 5960 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863205908552 139863686399712 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8324] ppid=8014 vsize=13871408 CPUtime=59.77 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8324/stat : 8324 (java) R 8014 8014 7744 0 -1 4202560 813 0 0 0 5977 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863212219312 139863686399748 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8325] ppid=8014 vsize=13871408 CPUtime=59.25 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8325/stat : 8325 (java) R 8014 8014 7744 0 -1 4202560 1798 0 0 0 5925 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863216427272 139863686399722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8326] ppid=8014 vsize=13871408 CPUtime=59.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8326/stat : 8326 (java) R 8014 8014 7744 0 -1 4202560 593 0 0 0 5963 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863204855304 139863684828781 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8327] ppid=8014 vsize=13871408 CPUtime=59.58 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8327/stat : 8327 (java) R 8014 8014 7744 0 -1 4202560 942 0 0 0 5958 0 0 0 20 0 28 0 3528956 14204321792 80236 33554432000 4194304 4196468 140731898613024 139863214321160 139863683813525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
Current children cumulated CPU time (s) 1975.66
Current children cumulated vsize (KiB) 13880920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+336.001 s]
/proc/loadavg: 15.96 10.44 5.45 17/301 8434
/proc/meminfo: memFree=31333112/32770624 swapFree=5880/236776
[pid=8014] ppid=8011 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8014/stat : 8014 (xcsp3-exec) S 8011 8014 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3506759 9740288 346 33554432000 4194304 5098028 140726452331696 140726452329800 140369385915004 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 19546112 140726452335759 140726452335968 140726452335968 140726452338667 0
/proc/8014/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8014 vsize=13871408 CPUtime=2400.5 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8014 8014 7744 0 -1 1077944320 209685 0 0 0 239817 233 0 0 20 0 28 0 3506760 14204321792 89480 33554432000 4194304 4196468 140731898613024 140731898595568 139864040017655 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
/proc/8015/statm: 3467852 89480 3273 1 0 3455085 0
[pid=8015/tid=8016] ppid=8014 vsize=13871408 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8014 8014 7744 0 -1 1077944384 10193 0 0 0 76 5 0 0 20 0 28 0 3506760 14204321792 89480 33554432000 4194304 4196468 140731898613024 139864044258432 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8018] ppid=8014 vsize=13871408 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8018/stat : 8018 (java) S 8014 8014 7744 0 -1 1077944384 2196 0 0 0 37 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139864000977168 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8019] ppid=8014 vsize=13871408 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8019/stat : 8019 (java) S 8014 8014 7744 0 -1 1077944384 3715 0 0 0 36 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863638129040 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8020] ppid=8014 vsize=13871408 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8020/stat : 8020 (java) S 8014 8014 7744 0 -1 1077944384 5151 0 0 0 38 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863637076496 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8021] ppid=8014 vsize=13871408 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8014 8014 7744 0 -1 1077944384 3793 0 0 0 37 9 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863636023952 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8022] ppid=8014 vsize=13871408 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8014 8014 7744 0 -1 1077944384 4184 0 0 0 37 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863634971408 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8023] ppid=8014 vsize=13871408 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8014 8014 7744 0 -1 1077944384 5747 0 0 0 40 9 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863633918864 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8024] ppid=8014 vsize=13871408 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8014 8014 7744 0 -1 1077944384 5241 0 0 0 38 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863632866320 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8025] ppid=8014 vsize=13871408 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8014 8014 7744 0 -1 1077944384 2891 0 0 0 37 10 0 0 20 0 28 0 3506761 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863631813776 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8026] ppid=8014 vsize=13871408 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8014 8014 7744 0 -1 1077944384 12912 0 0 0 81 108 0 0 20 0 28 0 3506764 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863233914864 139864040028802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8027] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8014 8014 7744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3506764 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863232861152 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8028] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8014 8014 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3506765 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863231808512 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8029] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8029/stat : 8029 (java) S 8014 8014 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863230757072 139864040036251 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8030] ppid=8014 vsize=13871408 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8030/stat : 8030 (java) S 8014 8014 7744 0 -1 1077944384 25492 0 0 0 483 2 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863229704688 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8031] ppid=8014 vsize=13871408 CPUtime=4.51 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8031/stat : 8031 (java) S 8014 8014 7744 0 -1 1077944384 25499 0 0 0 447 4 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863228652144 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8032] ppid=8014 vsize=13871408 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8014 8014 7744 0 -1 1077944384 23826 0 0 0 477 4 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863227599600 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8033] ppid=8014 vsize=13871408 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8014 8014 7744 0 -1 1077944384 19893 0 0 0 119 3 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863226547056 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8034] ppid=8014 vsize=13871408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8014 8014 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3506769 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863225493728 139864040027861 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8035] ppid=8014 vsize=13871408 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8035/stat : 8035 (java) S 8014 8014 7744 0 -1 1077944384 2328 0 0 0 9 8 0 0 20 0 28 0 3506770 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863224441264 139864040028802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8320] ppid=8014 vsize=13871408 CPUtime=112.19 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8320/stat : 8320 (java) R 8014 8014 7744 0 -1 4202560 1151 0 0 0 11219 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863209056888 139863683813236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8321] ppid=8014 vsize=13871408 CPUtime=112.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8321/stat : 8321 (java) R 8014 8014 7744 0 -1 4202560 1352 0 0 0 11244 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863215374152 139863686399431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8322] ppid=8014 vsize=13871408 CPUtime=112.77 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8322/stat : 8322 (java) R 8014 8014 7744 0 -1 4202560 1402 0 0 0 11277 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863211166128 139863676544514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8323] ppid=8014 vsize=13871408 CPUtime=112.82 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8323/stat : 8323 (java) R 8014 8014 7744 0 -1 4202560 596 0 0 0 11282 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863205908304 139863686399438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8324] ppid=8014 vsize=13871408 CPUtime=112.61 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8324/stat : 8324 (java) R 8014 8014 7744 0 -1 4202560 924 0 0 0 11261 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863212216520 139863686399445 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8325] ppid=8014 vsize=13871408 CPUtime=112.09 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8325/stat : 8325 (java) R 8014 8014 7744 0 -1 4202560 2091 0 0 0 11208 1 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863216427896 139863686399748 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8326] ppid=8014 vsize=13871408 CPUtime=112.3 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8326/stat : 8326 (java) R 8014 8014 7744 0 -1 4202560 650 0 0 0 11230 0 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863204855304 139863683813965 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
[pid=8015/tid=8327] ppid=8014 vsize=13871408 CPUtime=112.6 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8327/stat : 8327 (java) R 8014 8014 7744 0 -1 4202560 1043 0 0 0 11259 1 0 0 20 0 28 0 3528956 14204321792 89480 33554432000 4194304 4196468 140731898613024 139863214321160 139863683813938 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31858688 140731898614972 140731898615148 140731898615148 140731898617807 0
Current children cumulated CPU time (s) 2400.5
Current children cumulated vsize (KiB) 13880920

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 336.012
CPU time (s): 2400.5
CPU user time (s): 2398.17
CPU system time (s): 2.33
CPU usage (%): 714.409
Max. virtual memory (cumulated for all children) (KiB): 13880920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002024
system time used= 0.001012
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24111 second user time and 3.9585 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-22 02:13:11
IDJOB=4244360
IDBENCH=115607
IDSOLVER=2625
FILE ID=node127/4244360-1500682391
RUNJOBID= node127-1500682387-7776
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-020-05-0.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244360-1500682391/watcher-4244360-1500682391 -o /tmp/evaluation-result-4244360-1500682391/solver-4244360-1500682391 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 574366861 HOME/instance-4244360-1500682391.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1edbd0f724acb79b93e779b216f6b499
RANDOM SEED=574366861

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

/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		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.94
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31965496 kB
MemAvailable:   32011580 kB
Buffers:           43656 kB
Cached:           313740 kB
SwapCached:            0 kB
Active:           180920 kB
Inactive:         245080 kB
Active(anon):      71468 kB
Inactive(anon):     8664 kB
Active(file):     109452 kB
Inactive(file):   236416 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15732 kB
Writeback:             4 kB
AnonPages:        109292 kB
Mapped:            38444 kB
Shmem:              8840 kB
Slab:              64512 kB
SReclaimable:      32100 kB
SUnreclaim:        32412 kB
KernelStack:        5184 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1242876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 02:18:47