Trace number 4403892

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-09-20SAT (TO)668 2520.38 634.588

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-6.xml
MD5SUM0823366b416f0d4f591b1c2bb0d09de5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark616
Best CPU time to get the best result obtained on this benchmark1735.1
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size723
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
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-4403892-1568987983.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403892-1568987983.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
1.92/0.84	c solve instance...
89.74/22.98	o 722 
92.01/23.53	o 721 
92.32/23.65	o 719 
93.09/23.87	o 718 
94.14/24.11	o 717 
136.25/34.70	o 711 
192.79/48.96	o 710 
226.62/57.46	o 709 
286.75/72.54	o 708 
398.63/100.62	o 707 
424.88/107.29	o 706 
428.42/108.12	o 702 
508.75/128.35	o 701 
532.60/134.34	o 700 
548.04/138.28	o 698 
551.22/139.05	o 697 
553.96/139.76	o 695 
572.67/144.48	o 693 
573.83/144.78	o 692 
625.17/157.69	o 691 
632.63/159.50	o 690 
638.20/160.96	o 689 
782.25/197.12	o 688 
786.97/198.35	o 687 
789.79/199.03	o 686 
829.13/208.95	o 685 
1148.20/289.13	o 684 
1218.14/306.75	o 683 
1220.50/307.35	o 682 
1222.41/307.89	o 681 
1239.11/312.02	o 680 
1505.89/379.19	o 679 
1538.83/387.40	o 678 
1702.92/428.70	o 677 
1760.52/443.24	o 676 
1836.03/462.20	o 672 
1840.40/463.39	o 671 
2298.05/578.60	o 670 
2350.07/591.78	o 669 
2363.96/595.28	o 668 
2520.09/634.56	s SATISFIABLE
2520.09/634.56	v <instantiation>
2520.09/634.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[0][7] s[0][8] s[0][9] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list>
2520.09/634.56	v 	<values>1 98 180 260 351 370 480 528 627 648 87 141 238 323 436 531 552 604 630 656 4 98 131 167 235 280 370 393 485 609 15 239 287 312 369 403 422 441 484 550 2 176 240 243 305 368 434 465 575 624 28 99 180 292 332 404 467 503 542 558 0 61 134 219 244 357 379 486 555 649 13 133 171 286 292 441 484 532 604 615 0 92 123 222 295 423 515 555 621 647 0 82 85 112 135 230 333 435 519 614 667 667 668 614 666 623 651 668 668 668 97 81 64 72 18 70 14 84 20 19 54 78 64 98 43 20 52 16 10 11 77 30 36 68 45 77 21 88 88 59 77 41 3 56 34 19 19 26 37 64 90 63 3 61 62 66 31 77 48 42 71 77 99 40 36 60 34 38 13 65 61 70 84 1 89 22 56 45 71 2 71 38 48 2 97 38 20 49 5 53 92 30 99 70 83 92 35 65 22 21 82 3 27 22 93 74 71 83 95 54 0 1 3 6 5 2 7 4 8 9 6 4 8 7 1 9 0 2 3 5 6 7 5 8 2 1 4 9 3 0 3 0 9 8 5 4 7 2 6 1 1 0 9 7 4 6 5 8 3 2 4 0 1 5 6 3 2 7 8 9 7 5 2 4 3 1 0 9 8 6 8 3 5 2 9 7 1 6 0 4 2 3 9 5 0 4 1 7 6 8 9 6 8 2 7 4 3 0 5 1 1 98 370 180 528 351 260 480 627 648 552 436 604 630 141 656 87 323 238 531 609 280 235 485 370 131 4 98 167 393 239 550 441 15 403 369 484 422 312 287 176 2 624 575 305 434 368 243 465 240 99 180 467 404 28 292 332 503 542 558 379 357 134 244 219 61 649 0 555 486 604 484 286 133 615 171 532 441 13 292 295 515 0 92 423 222 621 555 647 123 435 614 112 333 230 519 82 135 85 0 </values>
2520.09/634.56	v </instantiation>
2520.09/634.56	c Unexpected resolution interruption!

Verifier Data 

OK	668

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403892-1568987983/watcher-4403892-1568987983 -o /var/tmp/evaluation-result-4403892-1568987983/solver-4403892-1568987983 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 576784803 HOME/instance-4403892-1568987983.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25172, runsolver pid=25165

[startup+0.10052 s]*
/proc/loadavg: 0.78 0.85 1.06 7/229 25203
/proc/meminfo: memFree=6163288/32770624 swapFree=67002236/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 5668 0 0 0 12 1 0 0 20 0 15 0 475046928 15508250624 7232 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3786194 7232 3185 1 0 3748377 0
[pid=25175/tid=25177] ppid=25172 vsize=15144776 memory=4351193298085119631 CPUtime=0.09 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) R 25172 25172 25111 0 -1 4202560 3539 0 0 0 9 0 0 0 20 0 15 0 475046928 15508250624 7232 33554432000 4194304 4196468 140732354783888 140530582651776 140530578427286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7232 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7232 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7232 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7232 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046930 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529449817504 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529448764912 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) S 25172 25172 25111 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529446660080 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) S 25172 25172 25111 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0.02 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) R 25172 25172 25111 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529444554992 140530578427286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15508250624 7232 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210645 s]*
/proc/loadavg: 0.78 0.85 1.06 7/229 25203
/proc/meminfo: memFree=6137060/32770624 swapFree=67002236/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15144776 memory=41108 CPUtime=0.34 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 9455 0 0 0 32 2 0 0 20 0 15 0 475046928 15508250624 10277 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3786194 10277 3317 1 0 3748377 0
[pid=25175/tid=25177] ppid=25172 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) R 25172 25172 25111 0 -1 4202560 6561 0 0 0 19 1 0 0 20 0 15 0 475046928 15508250624 10277 33554432000 4194304 4196468 140732354783888 140530582653168 140530562495838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10277 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15144776 memory=140008309926968 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10277 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10277 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10277 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475046930 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529449817504 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529448764912 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) S 25172 25172 25111 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529446660080 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) S 25172 25172 25111 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15144776 memory=140008306402944 CPUtime=0.08 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) R 25172 25172 25111 0 -1 4202560 800 0 0 0 8 0 0 0 20 0 15 0 475046933 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529444554992 140530557692061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15508250624 10277 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42560 KiB

[startup+0.311235 s]*
/proc/loadavg: 0.78 0.85 1.06 7/229 25203
/proc/meminfo: memFree=6121628/32770624 swapFree=67002236/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15149032 memory=49852 CPUtime=0.53 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 10775 0 0 0 51 2 0 0 20 0 15 0 475046928 15512608768 12463 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3787258 12463 3365 1 0 3748377 0
[pid=25175/tid=25177] ppid=25172 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) R 25172 25172 25111 0 -1 4202560 7685 0 0 0 28 2 0 0 20 0 15 0 475046928 15512608768 12463 33554432000 4194304 4196468 140732354783888 140530582646464 140530578437277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12463 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15149032 memory=3546237 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12463 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12463 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12463 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475046930 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529449817504 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529448764912 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) R 25172 25172 25111 0 -1 4202560 579 0 0 0 5 0 0 0 20 0 15 0 475046933 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529446660080 140530555643902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) R 25172 25172 25111 0 -1 1077944384 315 0 0 0 4 0 0 0 20 0 15 0 475046933 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) S 25172 25172 25111 0 -1 1077944384 891 0 0 0 13 0 0 0 20 0 15 0 475046933 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529444554992 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15512608768 12463 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51304 KiB

[startup+0.702494 s]
/proc/loadavg: 0.78 0.85 1.06 10/229 25203
/proc/meminfo: memFree=6096108/32770624 swapFree=67002236/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15151156 memory=82992 CPUtime=1.55 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 14896 0 0 0 151 4 0 0 20 0 15 0 475046928 15514783744 20748 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3787789 20748 3454 1 0 3748889 0
[pid=25175/tid=25177] ppid=25172 vsize=15151156 memory=1770331833601 CPUtime=0.68 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) R 25172 25172 25111 0 -1 4202560 9312 0 0 0 65 3 0 0 20 0 15 0 475046928 15514783744 20748 33554432000 4194304 4196468 140732354783888 140530582647600 140530205884871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15514783744 20748 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15514783744 20748 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15514783744 20748 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15514783744 20748 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475046930 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529449817504 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529448764912 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15151156 memory=2676 CPUtime=0.22 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) R 25172 25172 25111 0 -1 4202560 1290 0 0 0 22 0 0 0 20 0 15 0 475046933 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529446650000 140530561826166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15151156 memory=1764 CPUtime=0.21 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) R 25172 25172 25111 0 -1 4202560 915 0 0 0 21 0 0 0 20 0 15 0 475046933 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529445599456 140530557640176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15151156 memory=111632 CPUtime=0.42 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) R 25172 25172 25111 0 -1 1077944384 2071 0 0 0 42 0 0 0 20 0 15 0 475046933 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529444550032 140530578425557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15514783744 20748 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84444 KiB

[startup+1.50475 s]
/proc/loadavg: 1.04 0.91 1.07 13/237 25211
/proc/meminfo: memFree=5993320/32770624 swapFree=67002236/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0

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

/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 249400 0 0 0 231191 83 0 0 20 0 19 0 475046928 15789527040 125908 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3854865 125908 3549 1 0 3815965 0
[pid=25175/tid=25177] ppid=25172 vsize=15419460 memory=503632 CPUtime=0.86 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) S 25172 25172 25111 0 -1 1077944384 13188 0 0 0 82 4 0 0 20 0 19 0 475046928 15789527040 125908 33554432000 4194304 4196468 140732354783888 140530582656128 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15419460 memory=517264 CPUtime=0.84 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 12341 0 0 0 77 7 0 0 20 0 19 0 475046929 15789527040 125908 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15419460 memory=517264 CPUtime=0.83 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 11851 0 0 0 76 7 0 0 20 0 19 0 475046929 15789527040 125908 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 13743 0 0 0 76 7 0 0 20 0 19 0 475046929 15789527040 125908 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 11594 0 0 0 76 7 0 0 20 0 19 0 475046929 15789527040 125908 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15419460 memory=506472 CPUtime=0.67 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 30570 0 0 0 35 32 0 0 20 0 19 0 475046930 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529449817568 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529448764928 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15419460 memory=1452 CPUtime=3.83 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) S 25172 25172 25111 0 -1 1077944384 30987 0 0 0 380 3 0 0 20 0 19 0 475046933 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529446660080 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15419460 memory=505444 CPUtime=3.56 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) S 25172 25172 25111 0 -1 1077944384 26028 0 0 0 354 2 0 0 20 0 19 0 475046933 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15419460 memory=504148 CPUtime=0.95 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) S 25172 25172 25111 0 -1 1077944384 25115 0 0 0 93 2 0 0 20 0 19 0 475046933 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529444554992 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15419460 memory=505444 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 3461 0 0 0 0 12 0 0 20 0 19 0 475046934 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25922] ppid=25172 vsize=15419460 memory=3616 CPUtime=3.63 cores=0,2,4,6
/proc/25175/task/25922/stat : 25922 (java) R 25172 25172 25111 0 -1 4202560 21 0 0 0 363 0 0 0 20 0 19 0 475104788 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529429265624 140530212400397 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25923] ppid=25172 vsize=15419460 memory=55264 CPUtime=3.64 cores=0,2,4,6
/proc/25175/task/25923/stat : 25923 (java) R 25172 25172 25111 0 -1 4202560 22 0 0 0 364 0 0 0 20 0 19 0 475104788 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529428216832 140530208835459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25924] ppid=25172 vsize=15419460 memory=517264 CPUtime=3.64 cores=0,2,4,6
/proc/25175/task/25924/stat : 25924 (java) R 25172 25172 25111 0 -1 4202560 20 0 0 0 364 0 0 0 20 0 19 0 475104788 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529431371920 140530216537862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25925] ppid=25172 vsize=15419460 memory=517264 CPUtime=3.66 cores=0,2,4,6
/proc/25175/task/25925/stat : 25925 (java) R 25172 25172 25111 0 -1 4202560 20 0 0 0 366 0 0 0 20 0 19 0 475104788 15789527040 125908 33554432000 4194304 4196468 140732354783888 140529430318224 140530214322480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 2312.74 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 505084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.512 s]
/proc/loadavg: 8.21 7.57 4.72 9/237 25939
/proc/meminfo: memFree=3303528/32770624 swapFree=67002240/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15419460 memory=480316 CPUtime=2520.09 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 269013 0 0 0 251914 95 0 0 20 0 19 0 475046928 15789527040 120079 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3854865 120079 3549 1 0 3815965 0
[pid=25175/tid=25177] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) S 25172 25172 25111 0 -1 1077944384 13522 0 0 0 82 4 0 0 20 0 19 0 475046928 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530582656128 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15419460 memory=480316 CPUtime=0.97 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 14272 0 0 0 90 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.96 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 13036 0 0 0 89 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15419460 memory=480828 CPUtime=0.95 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 15053 0 0 0 88 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 13145 0 0 0 88 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15419460 memory=481344 CPUtime=0.84 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 36550 0 0 0 41 43 0 0 20 0 19 0 475046930 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529449817568 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15419460 memory=490576 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529448764928 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15419460 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15419460 memory=496220 CPUtime=3.83 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) S 25172 25172 25111 0 -1 1077944384 31007 0 0 0 380 3 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529446660080 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15419460 memory=1452 CPUtime=3.56 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) S 25172 25172 25111 0 -1 1077944384 26041 0 0 0 354 2 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15419460 memory=1808 CPUtime=0.96 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) S 25172 25172 25111 0 -1 1077944384 26916 0 0 0 93 3 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529444554992 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15419460 memory=482880 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15419460 memory=480316 CPUtime=0.13 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 3615 0 0 0 0 13 0 0 20 0 19 0 475046934 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25933] ppid=25172 vsize=15419460 memory=480316 CPUtime=38.84 cores=0,2,4,6
/proc/25175/task/25933/stat : 25933 (java) R 25172 25172 25111 0 -1 4202560 580 0 0 0 3884 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529431373696 140530563656654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25934] ppid=25172 vsize=15419460 memory=1452 CPUtime=38.88 cores=0,2,4,6
/proc/25175/task/25934/stat : 25934 (java) R 25172 25172 25111 0 -1 4202560 834 0 0 0 3888 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529430319384 140530208835486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25935] ppid=25172 vsize=15419460 memory=1568 CPUtime=38.78 cores=0,2,4,6
/proc/25175/task/25935/stat : 25935 (java) R 25172 25172 25111 0 -1 4202560 844 0 0 0 3878 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529429267200 140530559239457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25936] ppid=25172 vsize=15419460 memory=480828 CPUtime=38.71 cores=0,2,4,6
/proc/25175/task/25936/stat : 25936 (java) R 25172 25172 25111 0 -1 4202560 829 0 0 0 3871 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529428213056 140530214741610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 481768 KiB

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

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

[startup+634.588 s]
# the end of solver process 25175 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.42 s, system=0.959538 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+634.512 s]
/proc/loadavg: 8.21 7.57 4.72 9/237 25939
/proc/meminfo: memFree=3303528/32770624 swapFree=67002240/67108860
[pid=25172] ppid=25165 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25172/stat : 25172 (xcsp3-exec) S 25165 25172 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 363 33554432000 4194304 5098028 140730219052560 140730219050664 140190318170748 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23552000 140730219053911 140730219054169 140730219054169 140730219057094 0
/proc/25172/statm: 28282 363 305 221 0 87 0
[pid=25175] ppid=25172 vsize=15419460 memory=480316 CPUtime=2520.09 cores=0,2,4,6
/proc/25175/stat : 25175 (java) S 25172 25172 25111 0 -1 1077944320 269013 0 0 0 251914 95 0 0 20 0 19 0 475046928 15789527040 120079 33554432000 4194304 4196468 140732354783888 140732354766432 140530578415351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
/proc/25175/statm: 3854865 120079 3549 1 0 3815965 0
[pid=25175/tid=25177] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/25175/task/25177/stat : 25177 (java) S 25172 25172 25111 0 -1 1077944384 13522 0 0 0 82 4 0 0 20 0 19 0 475046928 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530582656128 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25179] ppid=25172 vsize=15419460 memory=480316 CPUtime=0.97 cores=0,2,4,6
/proc/25175/task/25179/stat : 25179 (java) S 25172 25172 25111 0 -1 1077944384 14272 0 0 0 90 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530531035408 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25180] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.96 cores=0,2,4,6
/proc/25175/task/25180/stat : 25180 (java) S 25172 25172 25111 0 -1 1077944384 13036 0 0 0 89 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530529982864 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25182] ppid=25172 vsize=15419460 memory=480828 CPUtime=0.95 cores=0,2,4,6
/proc/25175/task/25182/stat : 25182 (java) S 25172 25172 25111 0 -1 1077944384 15053 0 0 0 88 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530528930320 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25184] ppid=25172 vsize=15419460 memory=1452 CPUtime=0.95 cores=0,2,4,6
/proc/25175/task/25184/stat : 25184 (java) S 25172 25172 25111 0 -1 1077944384 13145 0 0 0 88 7 0 0 20 0 19 0 475046929 15789527040 120079 33554432000 4194304 4196468 140732354783888 140530527877776 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25187] ppid=25172 vsize=15419460 memory=481344 CPUtime=0.84 cores=0,2,4,6
/proc/25175/task/25187/stat : 25187 (java) S 25172 25172 25111 0 -1 1077944384 36550 0 0 0 41 43 0 0 20 0 19 0 475046930 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529450871280 140530578426498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25189] ppid=25172 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25189/stat : 25189 (java) S 25172 25172 25111 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529449817568 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25191] ppid=25172 vsize=15419460 memory=490576 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25191/stat : 25191 (java) S 25172 25172 25111 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529448764928 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25196] ppid=25172 vsize=15419460 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25196/stat : 25196 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529447713488 140530578433947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25197] ppid=25172 vsize=15419460 memory=496220 CPUtime=3.83 cores=0,2,4,6
/proc/25175/task/25197/stat : 25197 (java) S 25172 25172 25111 0 -1 1077944384 31007 0 0 0 380 3 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529446660080 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25198] ppid=25172 vsize=15419460 memory=1452 CPUtime=3.56 cores=0,2,4,6
/proc/25175/task/25198/stat : 25198 (java) S 25172 25172 25111 0 -1 1077944384 26041 0 0 0 354 2 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529445607536 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25199] ppid=25172 vsize=15419460 memory=1808 CPUtime=0.96 cores=0,2,4,6
/proc/25175/task/25199/stat : 25199 (java) S 25172 25172 25111 0 -1 1077944384 26916 0 0 0 93 3 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529444554992 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25201] ppid=25172 vsize=15419460 memory=482880 CPUtime=0 cores=0,2,4,6
/proc/25175/task/25201/stat : 25201 (java) S 25172 25172 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529443502688 140530578425557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25203] ppid=25172 vsize=15419460 memory=480316 CPUtime=0.13 cores=0,2,4,6
/proc/25175/task/25203/stat : 25203 (java) S 25172 25172 25111 0 -1 1077944384 3615 0 0 0 0 13 0 0 20 0 19 0 475046934 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529442450224 140530578426498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25933] ppid=25172 vsize=15419460 memory=480316 CPUtime=38.84 cores=0,2,4,6
/proc/25175/task/25933/stat : 25933 (java) R 25172 25172 25111 0 -1 4202560 580 0 0 0 3884 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529431373696 140530563656654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25934] ppid=25172 vsize=15419460 memory=1452 CPUtime=38.88 cores=0,2,4,6
/proc/25175/task/25934/stat : 25934 (java) R 25172 25172 25111 0 -1 4202560 834 0 0 0 3888 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529430319384 140530208835486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25935] ppid=25172 vsize=15419460 memory=1568 CPUtime=38.78 cores=0,2,4,6
/proc/25175/task/25935/stat : 25935 (java) R 25172 25172 25111 0 -1 4202560 844 0 0 0 3878 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529429267200 140530559239457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
[pid=25175/tid=25936] ppid=25172 vsize=15419460 memory=480828 CPUtime=38.71 cores=0,2,4,6
/proc/25175/task/25936/stat : 25936 (java) R 25172 25172 25111 0 -1 4202560 829 0 0 0 3871 0 0 0 20 0 19 0 475106456 15789527040 120079 33554432000 4194304 4196468 140732354783888 140529428213056 140530214741610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38817792 140732354786267 140732354786442 140732354786442 140732354789327 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 481768 KiB

Child status: 143
Real time (s): 634.588
CPU time (s): 2520.38
CPU user time (s): 2519.42
CPU system time (s): 0.959538
CPU usage (%): 397.168
Max. virtual memory (cumulated for all children) (KiB): 15536092
Max. memory (cumulated for all children) (KiB): 705460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.42
system time used= 0.959538
maximum resident set size= 708672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32617
involuntary context switches= 42133


# summary of solver processes directly reported to runsolver:
#   pid: 25172,25175
#   total CPU time (s): 2520.38
#   total CPU user time (s): 2519.42
#   total CPU system time (s): 0.959538

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95208 second user time and 6.97473 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-20 15:58:58
IDJOB=4403892
IDBENCH=115840
IDSOLVER=2863
FILE ID=node136/4403892-1568987983
RUNJOBID= node136-1568987938-25142
PBS_JOBID= 21704639
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.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 /var/tmp/evaluation-result-4403892-1568987983/watcher-4403892-1568987983 -o /var/tmp/evaluation-result-4403892-1568987983/solver-4403892-1568987983 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 576784803 HOME/instance-4403892-1568987983.xml

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

MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5
RANDOM SEED=576784803

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         6195084 kB
MemAvailable:   31851072 kB
Buffers:          148796 kB
Cached:         25415908 kB
SwapCached:         3532 kB
Active:         12763464 kB
Inactive:       12804828 kB
Active(anon):       2764 kB
Inactive(anon):    49868 kB
Active(file):   12760700 kB
Inactive(file): 12754960 kB
Unevictable:      110480 kB
Mlocked:          110480 kB
SwapTotal:      67108860 kB
SwapFree:       67002236 kB
Dirty:             52252 kB
Writeback:             0 kB
AnonPages:        112628 kB
Mapped:            51736 kB
Shmem:             40192 kB
Slab:             596960 kB
SReclaimable:     568788 kB
SUnreclaim:        28172 kB
KernelStack:        3456 kB
PageTables:         5476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     511020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13436 MiB
End job on node136 at 2019-09-20 16:09:33