Trace number 4393325

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 2019-06-14SAT (TO)460 2520.52 874.584

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-07-07-8.xml
MD5SUM3801e67c429176a130b0cb7922d17a7f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark458
Best CPU time to get the best result obtained on this benchmark29.0983
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of constraints168
Number of domains9
Minimum domain size6
Maximum domain size560
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints49
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393325-1568313271.xml"  -tl '2520s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4393325-1568313271.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.56/0.76	c solve instance...
27.66/7.39	o 559 
29.23/7.74	o 557 
30.04/7.91	o 554 
30.77/8.15	o 551 
32.72/8.63	o 550 
32.72/8.66	o 546 
33.09/8.70	o 544 
33.09/8.71	o 543 
33.09/8.78	o 540 
34.48/9.17	o 539 
35.00/9.52	o 538 
37.32/11.77	o 534 
37.65/11.93	o 533 
38.98/12.70	o 532 
39.92/13.32	o 531 
40.98/14.37	o 530 
42.28/15.30	o 529 
44.65/17.63	o 527 
47.99/20.73	o 526 
60.03/29.94	o 525 
60.88/30.79	o 524 
62.25/32.01	o 523 
64.47/33.80	o 522 
65.74/35.03	o 521 
66.86/36.09	o 520 
69.40/38.60	o 519 
74.19/43.09	o 518 
75.67/44.40	o 517 
76.93/45.52	o 516 
79.58/48.12	o 515 
80.93/49.44	o 514 
81.78/50.22	o 513 
82.66/51.01	o 512 
85.61/53.98	o 511 
89.61/57.77	o 510 
113.42/81.45	o 509 
114.63/82.38	o 508 
117.46/83.45	o 507 
119.54/85.36	o 506 
121.02/86.43	o 505 
121.83/87.12	o 504 
124.31/89.08	o 503 
130.95/95.62	o 502 
133.31/96.64	o 501 
135.08/98.32	o 500 
137.48/100.38	o 499 
139.38/102.18	o 498 
141.57/103.29	o 497 
143.88/105.31	o 496 
148.90/110.21	o 495 
154.88/116.13	o 494 
155.87/116.97	o 493 
157.45/117.79	o 492 
159.46/119.49	o 491 
164.36/121.23	o 490 
166.43/122.89	o 489 
170.34/126.49	o 488 
181.54/130.13	o 487 
182.81/131.06	o 486 
188.89/133.88	o 485 
229.51/146.35	o 484 
255.55/163.50	o 483 
311.04/217.57	o 481 
313.19/218.81	o 480 
321.32/222.53	o 479 
322.82/223.80	o 478 
327.76/225.11	o 477 
329.97/227.21	o 476 
345.46/234.30	o 475 
347.36/236.06	o 474 
373.64/243.63	o 473 
377.96/245.54	o 472 
392.52/249.48	o 471 
405.70/257.25	o 470 
422.59/273.43	o 469 
426.92/275.57	o 468 
435.43/277.84	o 467 
458.26/284.61	o 466 
784.74/399.50	o 465 
815.86/411.87	o 464 
1083.42/479.64	o 463 
1176.03/508.45	o 462 
1290.82/538.66	o 461 
2452.09/857.29	o 460 
2520.21/874.56	s SATISFIABLE
2520.21/874.56	v <instantiation>
2520.21/874.56	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list>
2520.21/874.56	v 	<values>1 35 118 191 227 280 351 39 74 116 176 222 298 394 0 45 130 219 254 351 366 2 44 139 189 258 278 368 15 102 139 225 276 351 446 11 74 140 208 292 319 371 2 33 127 190 208 277 368 394 460 460 460 459 460 460 32 67 72 32 31 71 43 35 41 60 13 72 47 66 44 73 46 6 23 15 94 42 95 50 69 20 90 92 68 37 86 51 75 93 13 63 65 62 82 27 47 89 31 93 62 17 64 86 92 2 1 5 0 6 4 3 2 4 6 0 1 5 3 3 5 0 6 2 4 1 5 3 1 4 6 0 2 6 1 2 0 3 5 4 4 2 3 5 6 1 0 1 0 4 5 3 2 6 191 35 1 351 280 118 227 176 222 39 394 74 298 116 130 366 254 0 351 45 219 278 139 368 44 189 2 258 225 102 139 276 446 351 15 371 319 74 140 11 208 292 33 2 277 208 127 190 368 </values>
2520.21/874.56	v </instantiation>
2520.21/874.56	c Unexpected resolution interruption!

Verifier Data 

OK	460

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 (8692 MiB free)
  memory of node 1: 16384 MiB (13847 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393325-1568313271/watcher-4393325-1568313271 -o /tmp/evaluation-result-4393325-1568313271/solver-4393325-1568313271 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1455429522 HOME/instance-4393325-1568313271.xml 

running on 4 cores: 1,3,5,7

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=15643, runsolver pid=15640

[startup+0.102756 s]*
/proc/loadavg: 0.60 0.64 0.87 5/222 15678
/proc/meminfo: memFree=23051160/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15144768 memory=30108 CPUtime=0.14 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 5984 0 0 0 12 2 0 0 20 0 15 0 407584421 15508242432 7527 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3786192 7527 3143 1 0 3748377 0
[pid=15645/tid=15646] ppid=15643 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) R 15643 15643 15592 0 -1 4202560 3844 0 0 0 8 1 0 0 20 0 15 0 407584421 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868726078944 139868714095741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15144768 memory=288370688618071680 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407584423 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407584424 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868188972704 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407584424 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868187919600 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584426 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 407584426 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) S 15643 15643 15592 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 407584426 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868184762736 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15144768 memory=140312466359936 CPUtime=0.02 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) R 15643 15643 15592 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 407584426 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868183709680 139868721868182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584427 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584427 15508242432 7527 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31556 KiB

[startup+0.210697 s]*
/proc/loadavg: 0.60 0.64 0.87 4/228 15684
/proc/meminfo: memFree=23022628/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15144768 memory=41016 CPUtime=0.34 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 9485 0 0 0 31 3 0 0 20 0 15 0 407584421 15508242432 10254 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3786192 10254 3296 1 0 3748377 0
[pid=15645/tid=15646] ppid=15643 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) R 15643 15643 15592 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 15 0 407584421 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868726089216 139868721868182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15144768 memory=140312466375812 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407584422 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15144768 memory=140312466359936 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407584423 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407584424 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868188972704 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407584424 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868187919600 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584426 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 15 0 407584426 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) S 15643 15643 15592 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 407584426 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868184762736 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15144768 memory=140312466359936 CPUtime=0.08 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) R 15643 15643 15592 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 407584426 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868183709680 139868721868182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584427 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584427 15508242432 10254 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42464 KiB

[startup+0.310559 s]*
/proc/loadavg: 0.60 0.64 0.87 7/228 15684
/proc/meminfo: memFree=23010496/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15149024 memory=50072 CPUtime=0.53 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 10829 0 0 0 49 4 0 0 20 0 15 0 407584421 15512600576 12518 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3787256 12518 3357 1 0 3748377 0
[pid=15645/tid=15646] ppid=15643 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) R 15643 15643 15592 0 -1 4202560 7777 0 0 0 26 3 0 0 20 0 15 0 407584421 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868726087360 139868705936734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15149024 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407584422 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407584423 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407584424 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868188972704 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407584424 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868187919600 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584426 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15149024 memory=4500088463514900084 CPUtime=0.04 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 15 0 407584426 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15149024 memory=6944613755495348631 CPUtime=0.04 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) R 15643 15643 15592 0 -1 4202560 426 0 0 0 4 0 0 0 20 0 15 0 407584426 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868184745104 139868703377523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15149024 memory=7893295687695687954 CPUtime=0.12 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) S 15643 15643 15592 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 407584426 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868183709680 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584427 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15149024 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584427 15512600576 12518 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51520 KiB

[startup+0.703403 s]
/proc/loadavg: 0.60 0.64 0.87 9/228 15684
/proc/meminfo: memFree=22987080/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15151148 memory=79464 CPUtime=1.56 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 14591 0 0 0 150 6 0 0 20 0 15 0 407584421 15514775552 19866 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3787787 19866 3450 1 0 3748889 0
[pid=15645/tid=15646] ppid=15643 vsize=15151148 memory=4283950746081398134 CPUtime=0.68 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) R 15643 15643 15592 0 -1 1077944384 9335 0 0 0 64 4 0 0 20 0 15 0 407584421 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868726090544 139868721866453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15151148 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15151148 memory=7156334510635766096 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15151148 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584422 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15151148 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407584422 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407584423 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407584424 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868188972704 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407584424 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868187919600 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584426 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15151148 memory=14012 CPUtime=0.22 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 1187 0 0 0 22 0 0 0 20 0 15 0 407584426 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15151148 memory=14048 CPUtime=0.23 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) R 15643 15643 15592 0 -1 4202560 941 0 0 0 23 0 0 0 20 0 15 0 407584426 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868184747664 139868701157452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15151148 memory=20144 CPUtime=0.41 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) R 15643 15643 15592 0 -1 4202560 1823 0 0 0 41 0 0 0 20 0 15 0 407584426 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868183708576 139868703266255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15151148 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407584427 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15151148 memory=532 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407584427 15514775552 19866 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 80912 KiB

[startup+1.50104 s]
/proc/loadavg: 0.79 0.68 0.89 13/236 15692
/proc/meminfo: memFree=22896752/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0

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

/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 187656 0 0 0 241307 166 0 0 20 0 19 0 407584421 15926894592 88957 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3888402 88957 3546 1 0 3849504 0
[pid=15645/tid=15646] ppid=15643 vsize=15553608 memory=1412 CPUtime=0.8 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) S 15643 15643 15592 0 -1 1077944384 16680 0 0 0 75 5 0 0 20 0 19 0 407584421 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868726097024 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15553608 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 11315 0 0 0 151 8 0 0 20 0 19 0 407584422 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.58 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 6990 0 0 0 150 8 0 0 20 0 19 0 407584422 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15553608 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 11789 0 0 0 151 8 0 0 20 0 19 0 407584422 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15553608 memory=1448 CPUtime=1.59 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 9706 0 0 0 152 7 0 0 20 0 19 0 407584422 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.97 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 12272 0 0 0 86 111 0 0 20 0 19 0 407584423 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868188972768 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868187919616 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584426 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15553608 memory=355828 CPUtime=4.27 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 18657 0 0 0 426 1 0 0 20 0 19 0 407584426 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15553608 memory=355828 CPUtime=4.49 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) S 15643 15643 15592 0 -1 1077944384 24204 0 0 0 446 3 0 0 20 0 19 0 407584426 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868184762736 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15553608 memory=355828 CPUtime=0.92 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) S 15643 15643 15592 0 -1 1077944384 19849 0 0 0 89 3 0 0 20 0 19 0 407584426 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868183709680 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15553608 memory=355620 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584427 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15553608 memory=355828 CPUtime=0.32 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 2620 0 0 0 17 15 0 0 20 0 19 0 407584427 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16534] ppid=15643 vsize=15553608 memory=355828 CPUtime=279.42 cores=1,3,5,7
/proc/15645/task/16534/stat : 16534 (java) R 15643 15643 15592 0 -1 4202560 991 0 0 0 27942 0 0 0 20 0 19 0 407638287 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868166325904 139868321285649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16535] ppid=15643 vsize=15553608 memory=1448 CPUtime=279.27 cores=1,3,5,7
/proc/15645/task/16535/stat : 16535 (java) R 15643 15643 15592 0 -1 4202560 2182 0 0 0 27926 1 0 0 20 0 19 0 407638287 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868164218680 139868316534552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16536] ppid=15643 vsize=15553608 memory=1448 CPUtime=279.67 cores=1,3,5,7
/proc/15645/task/16536/stat : 16536 (java) R 15643 15643 15592 0 -1 4202560 971 0 0 0 27967 0 0 0 20 0 19 0 407638287 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868165271832 139868321748705 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16537] ppid=15643 vsize=15553608 memory=988 CPUtime=279.89 cores=1,3,5,7
/proc/15645/task/16537/stat : 16537 (java) R 15643 15643 15592 0 -1 4202560 868 0 0 0 27988 1 0 0 20 0 19 0 407638287 15926894592 88957 33554432000 4194304 4196468 140733780422752 139868170535120 139868322140163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 2414.73 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 357276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+874.503 s]
/proc/loadavg: 7.01 7.29 4.80 7/230 16598
/proc/meminfo: memFree=22721852/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15553608 memory=355840 CPUtime=2520.21 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 193227 0 0 0 251846 175 0 0 20 0 19 0 407584421 15926894592 88960 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3888402 88960 3546 1 0 3849504 0
[pid=15645/tid=15646] ppid=15643 vsize=15553608 memory=357612 CPUtime=0.8 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) S 15643 15643 15592 0 -1 1077944384 16780 0 0 0 75 5 0 0 20 0 19 0 407584421 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868726097024 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 11781 0 0 0 158 8 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 7952 0 0 0 157 9 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15553608 memory=1448 CPUtime=1.65 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 12163 0 0 0 157 8 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 10834 0 0 0 159 7 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15553608 memory=355828 CPUtime=2.08 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 12941 0 0 0 90 118 0 0 20 0 19 0 407584423 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868188972768 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868187919616 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15553608 memory=356196 CPUtime=4.28 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 18661 0 0 0 427 1 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15553608 memory=355840 CPUtime=4.52 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) S 15643 15643 15592 0 -1 1077944384 24329 0 0 0 449 3 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868184762736 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15553608 memory=355840 CPUtime=0.92 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) S 15643 15643 15592 0 -1 1077944384 19932 0 0 0 89 3 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868183709680 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584427 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15553608 memory=355840 CPUtime=0.34 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 2669 0 0 0 18 16 0 0 20 0 19 0 407584427 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16563] ppid=15643 vsize=15553608 memory=988 CPUtime=16.91 cores=1,3,5,7
/proc/15645/task/16563/stat : 16563 (java) R 15643 15643 15592 0 -1 4202560 258 0 0 0 1691 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868166323888 139868319458472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16564] ppid=15643 vsize=15553608 memory=2004 CPUtime=16.84 cores=1,3,5,7
/proc/15645/task/16564/stat : 16564 (java) R 15643 15643 15592 0 -1 4202560 535 0 0 0 1684 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868170534864 139868322140173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16565] ppid=15643 vsize=15553608 memory=356196 CPUtime=16.93 cores=1,3,5,7
/proc/15645/task/16565/stat : 16565 (java) R 15643 15643 15592 0 -1 4202560 371 0 0 0 1693 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868164221584 139868319459224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16566] ppid=15643 vsize=15553608 memory=2319547108336979267 CPUtime=16.93 cores=1,3,5,7
/proc/15645/task/16566/stat : 16566 (java) R 15643 15643 15592 0 -1 4202560 223 0 0 0 1693 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868165271248 139868322140585 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 357288 KiB

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

[startup+874.537 s]
# the end of solver process 15643 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001145 s, system=0.001145 s

[startup+874.584 s]
# the end of solver process 15645 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.76 s, system=1.76201 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+874.503 s]
/proc/loadavg: 7.01 7.29 4.80 7/230 16598
/proc/meminfo: memFree=22721852/32770624 swapFree=66977612/67108860
[pid=15643] ppid=15640 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15643/stat : 15643 (xcsp3-exec) S 15640 15643 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407584420 115843072 362 33554432000 4194304 5098028 140726211841680 140726211839784 139664871723644 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7811072 140726211842938 140726211843181 140726211843181 140726211846090 0
/proc/15643/statm: 28282 362 304 221 0 87 0
[pid=15645] ppid=15643 vsize=15553608 memory=355840 CPUtime=2520.21 cores=1,3,5,7
/proc/15645/stat : 15645 (java) S 15643 15643 15592 0 -1 1077944320 193227 0 0 0 251846 175 0 0 20 0 19 0 407584421 15926894592 88960 33554432000 4194304 4196468 140733780422752 140733780405296 139868721856247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
/proc/15645/statm: 3888402 88960 3546 1 0 3849504 0
[pid=15645/tid=15646] ppid=15643 vsize=15553608 memory=357612 CPUtime=0.8 cores=1,3,5,7
/proc/15645/task/15646/stat : 15646 (java) S 15643 15643 15592 0 -1 1077944384 16780 0 0 0 75 5 0 0 20 0 19 0 407584421 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868726097024 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15647] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15647/stat : 15647 (java) S 15643 15643 15592 0 -1 1077944384 11781 0 0 0 158 8 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868633512464 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15648] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15648/stat : 15648 (java) S 15643 15643 15592 0 -1 1077944384 7952 0 0 0 157 9 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868632459920 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15649] ppid=15643 vsize=15553608 memory=1448 CPUtime=1.65 cores=1,3,5,7
/proc/15645/task/15649/stat : 15649 (java) S 15643 15643 15592 0 -1 1077944384 12163 0 0 0 157 8 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868631406864 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15650] ppid=15643 vsize=15553608 memory=355828 CPUtime=1.66 cores=1,3,5,7
/proc/15645/task/15650/stat : 15650 (java) S 15643 15643 15592 0 -1 1077944384 10834 0 0 0 159 7 0 0 20 0 19 0 407584422 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868311120272 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15652] ppid=15643 vsize=15553608 memory=355828 CPUtime=2.08 cores=1,3,5,7
/proc/15645/task/15652/stat : 15652 (java) S 15643 15643 15592 0 -1 1077944384 12941 0 0 0 90 118 0 0 20 0 19 0 407584423 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868190026480 139868721867394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15656] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15656/stat : 15656 (java) S 15643 15643 15592 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868188972768 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15657] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15657/stat : 15657 (java) S 15643 15643 15592 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 407584424 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868187919616 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15666] ppid=15643 vsize=15553608 memory=355828 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15666/stat : 15666 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868186868176 139868721874843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15667] ppid=15643 vsize=15553608 memory=356196 CPUtime=4.28 cores=1,3,5,7
/proc/15645/task/15667/stat : 15667 (java) S 15643 15643 15592 0 -1 1077944384 18661 0 0 0 427 1 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868185815280 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15668] ppid=15643 vsize=15553608 memory=355840 CPUtime=4.52 cores=1,3,5,7
/proc/15645/task/15668/stat : 15668 (java) S 15643 15643 15592 0 -1 1077944384 24329 0 0 0 449 3 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868184762736 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15669] ppid=15643 vsize=15553608 memory=355840 CPUtime=0.92 cores=1,3,5,7
/proc/15645/task/15669/stat : 15669 (java) S 15643 15643 15592 0 -1 1077944384 19932 0 0 0 89 3 0 0 20 0 19 0 407584426 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868183709680 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15674] ppid=15643 vsize=15553608 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15645/task/15674/stat : 15674 (java) S 15643 15643 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407584427 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868182657376 139868721866453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=15675] ppid=15643 vsize=15553608 memory=355840 CPUtime=0.34 cores=1,3,5,7
/proc/15645/task/15675/stat : 15675 (java) S 15643 15643 15592 0 -1 1077944384 2669 0 0 0 18 16 0 0 20 0 19 0 407584427 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868181605424 139868721867394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16563] ppid=15643 vsize=15553608 memory=988 CPUtime=16.91 cores=1,3,5,7
/proc/15645/task/16563/stat : 16563 (java) R 15643 15643 15592 0 -1 4202560 258 0 0 0 1691 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868166323888 139868319458472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16564] ppid=15643 vsize=15553608 memory=2004 CPUtime=16.84 cores=1,3,5,7
/proc/15645/task/16564/stat : 16564 (java) R 15643 15643 15592 0 -1 4202560 535 0 0 0 1684 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868170534864 139868322140173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16565] ppid=15643 vsize=15553608 memory=356196 CPUtime=16.93 cores=1,3,5,7
/proc/15645/task/16565/stat : 16565 (java) R 15643 15643 15592 0 -1 4202560 371 0 0 0 1693 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868164221584 139868319459224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
[pid=15645/tid=16566] ppid=15643 vsize=15553608 memory=2319547108336979267 CPUtime=16.93 cores=1,3,5,7
/proc/15645/task/16566/stat : 16566 (java) R 15643 15643 15592 0 -1 4202560 223 0 0 0 1693 0 0 0 20 0 19 0 407670150 15926894592 88960 33554432000 4194304 4196468 140733780422752 139868165271248 139868322140585 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140733780431855 140733780432026 140733780432026 140733780434895 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 357288 KiB

Child status: 143
Real time (s): 874.584
CPU time (s): 2520.52
CPU user time (s): 2518.76
CPU system time (s): 1.76201
CPU usage (%): 288.197
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 505804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.76
system time used= 1.76201
maximum resident set size= 504460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45876
involuntary context switches= 45945


# summary of solver processes directly reported to runsolver:
#   pid: 15643,15645
#   total CPU time (s): 2520.52
#   total CPU user time (s): 2518.76
#   total CPU system time (s): 1.76201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66161 second user time and 9.55886 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-12 19:24:14
IDJOB=4393325
IDBENCH=115852
IDSOLVER=2840
FILE ID=node104/4393325-1568313271
RUNJOBID= node104-1568309054-15624
PBS_JOBID= 21701133
Free space on /tmp= 56576 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-8.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393325-1568313271/watcher-4393325-1568313271 -o /tmp/evaluation-result-4393325-1568313271/solver-4393325-1568313271 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1455429522 HOME/instance-4393325-1568313271.xml

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

MD5SUM BENCH= 3801e67c429176a130b0cb7922d17a7f
RANDOM SEED=1455429522

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        23081268 kB
MemAvailable:   31828028 kB
Buffers:          137216 kB
Cached:          8800052 kB
SwapCached:        31864 kB
Active:          2156524 kB
Inactive:        6818204 kB
Active(anon):       5260 kB
Inactive(anon):    73448 kB
Active(file):    2151264 kB
Inactive(file):  6744756 kB
Unevictable:      108064 kB
Mlocked:          108064 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:             51824 kB
Writeback:             0 kB
AnonPages:        114648 kB
Mapped:            42228 kB
Shmem:             32780 kB
Slab:             308888 kB
SReclaimable:     279200 kB
SUnreclaim:        29688 kB
KernelStack:        3264 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     493068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 56524 MiB
End job on node104 at 2019-09-12 19:38:49