Trace number 4280754

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT 52.191601 8.16957

General information on the benchmark

NameHanoi/Hanoi-m1-s1/
Hanoi-07.xml
MD5SUM7f68b5f256bf6bd8019eb0158af88fa3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.61620301
Satisfiable
(Un)Satisfiability was proved
Number of variables126
Number of constraints126
Number of domains1
Minimum domain size2187
Maximum domain size2187
Distribution of domain sizes[{"size":2187,"count":126}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":125},{"degree":2,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":125}]
Number of extensional constraints125
Number of intensional constraints1
Distribution of constraint types[{"type":"extension","count":125},{"type":"intension","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280754-1503171499.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280754-1503171499.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
15.36/3.37	c solve instance...
52.12/8.15	s SATISFIABLE
52.12/8.15	v <instantiation>
52.12/8.15	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] </list>
52.12/8.15	v 	<values>2 5 4 3 6 7 1 2 0 1 2 5 4 22 23 21 24 26 53 51 52 46 45 36 38 41 40 202 201 204 206 197 196 190 189 216 218 221 220 238 239 237 240 241 242 485 484 483 485 484 478 479 478 477 468 470 473 472 418 417 420 422 413 412 406 405 324 326 329 328 346 345 348 350 377 375 372 374 371 369 360 361 367 366 363 364 1822 1821 1824 1826 1817 1815 1816 1810 1809 1836 1837 1843 1844 1853 1852 1846 1852 1846 1847 1845 1854 1856 1855 1861 1862 1781 1779 1780 1774 1773 1764 1765 1766 1764 1765 1771 1772 1763 1761 1758 </values>
52.12/8.15	v </instantiation>

Verifier Data

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280754-1503171499/watcher-4280754-1503171499 -o /tmp/evaluation-result-4280754-1503171499/solver-4280754-1503171499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1934712498 HOME/instance-4280754-1503171499.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=5446, runsolver pid=5443

[startup+0.100159 s]*
/proc/loadavg: 7.41 7.15 6.32 4/200 5467
/proc/meminfo: memFree=25490928/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=25999808 memory=26456 CPUtime=0.11 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 5482 0 0 0 10 1 0 0 20 0 20 0 150230822 26623803392 6614 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6499952 6614 2861 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 3472 0 0 0 8 0 0 0 20 0 20 0 150230822 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309944497968 140309940286042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=25999808 memory=140550002693760 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26623803392 6614 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27836 KiB

[startup+0.210573 s]*
/proc/loadavg: 7.41 7.15 6.32 2/200 5467
/proc/meminfo: memFree=25476444/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004064 memory=39072 CPUtime=0.32 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 8350 0 0 0 30 2 0 0 20 0 20 0 150230822 26628161536 9768 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501016 9768 3050 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 5394 0 0 0 18 1 0 0 20 0 20 0 150230822 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309944485688 140309921913729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004064 memory=288370926154405504 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 9768 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628194304 9768 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26628194304 9768 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 150230828 26628194304 9789 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 9789 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB

[startup+0.309882 s]*
/proc/loadavg: 7.41 7.15 6.32 5/200 5467
/proc/meminfo: memFree=25469868/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004064 memory=45752 CPUtime=0.49 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 9250 0 0 0 46 3 0 0 20 0 20 0 150230822 26628161536 11438 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501016 11438 3082 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) R 5446 5446 4250 0 -1 4202560 6120 0 0 0 27 2 0 0 20 0 20 0 150230822 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309944504336 140309940286621 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26004064 memory=140549852066735 CPUtime=0 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26004064 memory=140549852069040 CPUtime=0 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26004064 memory=140549852071344 CPUtime=0 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230823 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26004064 memory=281099704149648 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309335037472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26004064 memory=281099704156560 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230825 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309132469616 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26004064 memory=281099704097840 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26004064 memory=281099704170384 CPUtime=0.02 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26004064 memory=281099704177296 CPUtime=0 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26004064 memory=281099704174992 CPUtime=0.03 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26004064 memory=281099704191152 CPUtime=0.11 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) R 5446 5446 4250 0 -1 4202560 855 0 0 0 11 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309127206896 140309940286042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150230828 26628161536 11501 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47132 KiB

[startup+0.701499 s]
/proc/loadavg: 7.41 7.15 6.32 6/200 5467
/proc/meminfo: memFree=25440724/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26004140 memory=253256 CPUtime=2.07 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 12713 0 0 0 180 27 0 0 20 0 20 0 150230822 26628239360 63314 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6501035 63314 3196 1 0 6488269 0
[pid=5448/tid=5449] ppid=5446 vsize=26004140 memory=281099704549040 CPUtime=0.63 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6514 0 0 0 59 4 0 0 20 0 20 0 150230822 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309944502560 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26004140 memory=140549852275568 CPUtime=0.03 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) R 5446 5446 4250 0 -1 4202560 39 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309892885648 140309933361396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26004140 memory=0 CPUtime=0.03 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) R 5446 5446 4250 0 -1 4202560 38 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309891833048 140309925292578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26004140 memory=1204 CPUtime=0.03 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) R 5446 5446 4250 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 20 0 150230823 26628239360 63314 33554432000 4194304 4196468 140724450314704 140309890778024 140309933361396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0

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

[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=6944656575208382560 CPUtime=0.46 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2426 0 0 0 45 1 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.17 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) R 5446 5446 4250 0 -1 4202560 473 0 0 0 416 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309117090776 140309557227273 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=140549852259701 CPUtime=3.96 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 232 0 0 0 396 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309116039208 140309557308555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=0 CPUtime=4.17 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) R 5446 5446 4250 0 -1 4202560 228 0 0 0 417 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309114986408 140309932506085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=0 CPUtime=4.1 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) R 5446 5446 4250 0 -1 4202560 152 0 0 0 410 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309113933608 140309925958193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=4616 CPUtime=4.14 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) R 5446 5446 4250 0 -1 4202560 248 0 0 0 410 4 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309112883336 140309557227444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=8620 CPUtime=4.19 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) R 5446 5446 4250 0 -1 4202560 1370 0 0 0 418 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309111830248 140309557227293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=792 CPUtime=4.16 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) R 5446 5446 4250 0 -1 4202560 264 0 0 0 416 0 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309110776120 140309557227427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=1204 CPUtime=4.14 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) R 5446 5446 4250 0 -1 4202560 228 0 0 0 413 1 0 0 20 0 28 0 150231161 27175628800 411487 33554432000 4194304 4196468 140724450314704 140309109725288 140309557227491 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 48.98 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1647328 KiB

[startup+8.00152 s]*
/proc/loadavg: 6.90 7.04 6.30 4/208 5475
/proc/meminfo: memFree=23865864/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26538700 memory=1647424 CPUtime=51.89 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 47942 0 0 0 4855 334 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6634675 411856 3264 1 0 6621909 0
[pid=5448/tid=5449] ppid=5446 vsize=26538700 memory=8112282956445269571 CPUtime=1.82 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6938 0 0 0 174 8 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309944505472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26538700 memory=4126316290023845779 CPUtime=1.42 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 7732 0 0 0 102 40 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26538700 memory=25573577460458 CPUtime=1.41 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 2124 0 0 0 104 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26538700 memory=25573577460202 CPUtime=1.41 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2021 0 0 0 102 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26538700 memory=25573577460202 CPUtime=1.42 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 2025 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26538700 memory=25573577459946 CPUtime=1.4 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 3160 0 0 0 102 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2159 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26538700 memory=17 CPUtime=1.43 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2029 0 0 0 104 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26538700 memory=3 CPUtime=1.42 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 2306 0 0 0 104 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2054 0 0 0 4 1 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26538700 memory=22212 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309335037536 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26538700 memory=588846155374620711 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309132469632 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26538700 memory=3467834618008844350 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 2250 0 0 0 67 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26538700 memory=0 CPUtime=0.77 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 1995 0 0 0 76 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 2908 0 0 0 79 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=0 CPUtime=0.47 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2474 0 0 0 46 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) S 5446 5446 4250 0 -1 1077944384 577 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309117095872 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=-6352670693803649130 CPUtime=4.34 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 360 0 0 0 434 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309116039208 140309557502208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=-7595718147998060693 CPUtime=4.46 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) S 5446 5446 4250 0 -1 1077944384 293 0 0 0 446 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309114991696 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=7013631194645291367 CPUtime=4.36 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) S 5446 5446 4250 0 -1 1077944384 669 0 0 0 436 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309113938896 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=6441370576508249454 CPUtime=4.48 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) R 5446 5446 4250 0 -1 4202560 250 0 0 0 444 4 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309112883336 140309557502346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) S 5446 5446 4250 0 -1 1077944384 1389 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309111833296 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) S 5446 5446 4250 0 -1 1077944384 266 0 0 0 451 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309110781520 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) R 5446 5446 4250 0 -1 4202560 229 0 0 0 450 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309109725288 140309557502198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 51.89 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1648804 KiB

[startup+8.11054 s]
/proc/loadavg: 6.90 7.04 6.30 4/208 5475
/proc/meminfo: memFree=23865864/32770624 swapFree=67108860/67108860
[pid=5446] ppid=5443 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/5446/stat : 5446 (xcsp3-exec) S 5443 5446 4250 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150230822 9740288 345 33554432000 4194304 5098028 140731400527728 140731400525832 140120404689532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24367104 140731400528996 140731400529207 140731400529207 140731400531947 0
/proc/5446/statm: 2378 345 289 221 0 87 0
[pid=5448] ppid=5446 vsize=26538700 memory=1647424 CPUtime=52.12 cores=0-7
/proc/5448/stat : 5448 (java) S 5446 5446 4250 0 -1 1077944320 47947 0 0 0 4878 334 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140724450297248 140309940264695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
/proc/5448/statm: 6634675 411856 3264 1 0 6621909 0
[pid=5448/tid=5449] ppid=5446 vsize=26538700 memory=1647392 CPUtime=1.82 cores=0-7
/proc/5448/task/5449/stat : 5449 (java) S 5446 5446 4250 0 -1 1077944384 6938 0 0 0 174 8 0 0 20 0 28 0 150230822 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309944505472 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5450] ppid=5446 vsize=26538700 memory=1645396 CPUtime=1.42 cores=0-7
/proc/5448/task/5450/stat : 5450 (java) S 5446 5446 4250 0 -1 1077944384 7732 0 0 0 102 40 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309892885648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5451] ppid=5446 vsize=26538700 memory=0 CPUtime=1.41 cores=0-7
/proc/5448/task/5451/stat : 5451 (java) S 5446 5446 4250 0 -1 1077944384 2124 0 0 0 104 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309891832848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5452] ppid=5446 vsize=26538700 memory=140549851985056 CPUtime=1.41 cores=0-7
/proc/5448/task/5452/stat : 5452 (java) S 5446 5446 4250 0 -1 1077944384 2021 0 0 0 102 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309890780048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5453] ppid=5446 vsize=26538700 memory=55 CPUtime=1.42 cores=0-7
/proc/5448/task/5453/stat : 5453 (java) S 5446 5446 4250 0 -1 1077944384 2025 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309889727248 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5454] ppid=5446 vsize=26538700 memory=13871 CPUtime=1.4 cores=0-7
/proc/5448/task/5454/stat : 5454 (java) S 5446 5446 4250 0 -1 1077944384 3160 0 0 0 102 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309888674448 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5455] ppid=5446 vsize=26538700 memory=25367 CPUtime=1.42 cores=0-7
/proc/5448/task/5455/stat : 5455 (java) S 5446 5446 4250 0 -1 1077944384 2159 0 0 0 105 37 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309887621648 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5456] ppid=5446 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/5448/task/5456/stat : 5456 (java) S 5446 5446 4250 0 -1 1077944384 2029 0 0 0 104 39 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309886568848 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5457] ppid=5446 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7
/proc/5448/task/5457/stat : 5457 (java) S 5446 5446 4250 0 -1 1077944384 2306 0 0 0 104 38 0 0 20 0 28 0 150230823 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309885516048 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5458] ppid=5446 vsize=26538700 memory=140554297661055 CPUtime=0.05 cores=0-7
/proc/5448/task/5458/stat : 5458 (java) S 5446 5446 4250 0 -1 1077944384 2054 0 0 0 4 1 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309336091504 140309940275842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5459] ppid=5446 vsize=26538700 memory=5780995989620102258 CPUtime=0 cores=0-7
/proc/5448/task/5459/stat : 5459 (java) S 5446 5446 4250 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309335037536 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5460] ppid=5446 vsize=26538700 memory=281099703946768 CPUtime=0 cores=0-7
/proc/5448/task/5460/stat : 5460 (java) S 5446 5446 4250 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 150230825 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309132469632 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5461] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5461/stat : 5461 (java) S 5446 5446 4250 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309131417936 140309940283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5462] ppid=5446 vsize=26538700 memory=6656426216303648864 CPUtime=0.67 cores=0-7
/proc/5448/task/5462/stat : 5462 (java) S 5446 5446 4250 0 -1 1077944384 2250 0 0 0 67 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309130365296 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5463] ppid=5446 vsize=26538700 memory=6656426216303648864 CPUtime=0.77 cores=0-7
/proc/5448/task/5463/stat : 5463 (java) S 5446 5446 4250 0 -1 1077944384 1995 0 0 0 76 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309129312496 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5464] ppid=5446 vsize=26538700 memory=55 CPUtime=0.8 cores=0-7
/proc/5448/task/5464/stat : 5464 (java) S 5446 5446 4250 0 -1 1077944384 2908 0 0 0 79 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309128259696 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5465] ppid=5446 vsize=26538700 memory=288230591755990336 CPUtime=0.47 cores=0-7
/proc/5448/task/5465/stat : 5465 (java) S 5446 5446 4250 0 -1 1077944384 2478 0 0 0 46 1 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309127206896 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5466] ppid=5446 vsize=26538700 memory=15539617718550738 CPUtime=0 cores=0-7
/proc/5448/task/5466/stat : 5466 (java) S 5446 5446 4250 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309126155360 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5467] ppid=5446 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/5448/task/5467/stat : 5467 (java) S 5446 5446 4250 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 28 0 150230828 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309125102640 140309940275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5468] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5468/stat : 5468 (java) S 5446 5446 4250 0 -1 1077944384 577 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309117095872 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5469] ppid=5446 vsize=26538700 memory=0 CPUtime=4.44 cores=0-7
/proc/5448/task/5469/stat : 5469 (java) R 5446 5446 4250 0 -1 4202560 361 0 0 0 444 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309116039208 140309557502334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5470] ppid=5446 vsize=26538700 memory=314 CPUtime=4.46 cores=0-7
/proc/5448/task/5470/stat : 5470 (java) S 5446 5446 4250 0 -1 1077944384 293 0 0 0 446 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309114991696 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5471] ppid=5446 vsize=26538700 memory=0 CPUtime=4.36 cores=0-7
/proc/5448/task/5471/stat : 5471 (java) S 5446 5446 4250 0 -1 1077944384 669 0 0 0 436 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309113938896 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5472] ppid=5446 vsize=26538700 memory=0 CPUtime=4.55 cores=0-7
/proc/5448/task/5472/stat : 5472 (java) S 5446 5446 4250 0 -1 1077944384 250 0 0 0 451 4 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309112886096 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5473] ppid=5446 vsize=26538700 memory=0 CPUtime=4.54 cores=0-7
/proc/5448/task/5473/stat : 5473 (java) S 5446 5446 4250 0 -1 1077944384 1389 0 0 0 453 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309111833296 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5474] ppid=5446 vsize=26538700 memory=0 CPUtime=4.51 cores=0-7
/proc/5448/task/5474/stat : 5474 (java) S 5446 5446 4250 0 -1 1077944384 266 0 0 0 451 0 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309110781520 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
[pid=5448/tid=5475] ppid=5446 vsize=26538700 memory=0 CPUtime=4.56 cores=0-7
/proc/5448/task/5475/stat : 5475 (java) S 5446 5446 4250 0 -1 1077944384 229 0 0 0 455 1 0 0 20 0 28 0 150231161 27175628800 411856 33554432000 4194304 4196468 140724450314704 140309109728720 140309940274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10371072 140724450317458 140724450317635 140724450317635 140724450320335 0
Current children cumulated CPU time: 52.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1648804 KiB

Child status: 0
Real time (s): 8.16957
CPU time (s): 52.1916
CPU user time (s): 48.8321
CPU system time (s): 3.35951
CPU usage (%): 638.854
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1648804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8321
system time used= 3.35951
maximum resident set size= 1649716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4665
involuntary context switches= 581


# summary of solver processes directly reported to runsolver:
#   pid: 5446
#   total CPU time (s): 52.1916
#   total CPU user time (s): 48.8321
#   total CPU system time (s): 3.35951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102325 second user time and 0.118314 second system time

The end

Launcher Data

Begin job on node148 at 2017-08-19 21:23:59
IDJOB=4280754
IDBENCH=138763
IDSOLVER=2675
FILE ID=node148/4280754-1503171499
RUNJOBID= node148-1503164239-4277
PBS_JOBID= 20630830
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Hanoi/Hanoi-m1-s1/Hanoi-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280754-1503171499/watcher-4280754-1503171499 -o /tmp/evaluation-result-4280754-1503171499/solver-4280754-1503171499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503164239-4277 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1934712498 HOME/instance-4280754-1503171499.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7f68b5f256bf6bd8019eb0158af88fa3
RANDOM SEED=1934712498

node148.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.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.19
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:        25507000 kB
MemAvailable:   31974724 kB
Buffers:          294220 kB
Cached:          6467260 kB
SwapCached:            0 kB
Active:          1166076 kB
Inactive:        5648844 kB
Active(anon):       4848 kB
Inactive(anon):    84704 kB
Active(file):    1161228 kB
Inactive(file):  5564140 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8224 kB
Writeback:             0 kB
AnonPages:         73416 kB
Mapped:            51472 kB
Shmem:             33416 kB
Slab:             143324 kB
SReclaimable:     116380 kB
SUnreclaim:        26944 kB
KernelStack:        3536 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 21:24:08