Trace number 4249084

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 5a (2017-07-05)OPT-7772 112.253 14.6773

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-sentoy.xml
MD5SUMf29e5165c598919c9834c408fde8edbe
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7772
Best CPU time to get the best result obtained on this benchmark47.226799
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints30
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":60}]
Minimum variable degree31
Maximum variable degree31
Distribution of variable degrees[{"degree":31,"count":60}]
Minimum constraint arity60
Maximum constraint arity60
Distribution of constraint arities[{"arity":60,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":30}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4249084-1500693789.xml"  -tl '2400s' -p 8 -x 3
0.00/0.16	c [HOME/instance-4249084-1500693789.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.21	c 8 solvers in parallel
0.00/0.28	c parse instance...
0.00/0.60	c solve instance...
0.00/0.65	o -3161 
0.00/0.65	o -3355 
0.00/0.66	o -4085 
0.00/0.66	o -4340 
0.00/0.67	o -4356 
0.00/0.68	o -4520 
0.00/0.68	o -4553 
0.00/0.69	o -4559 
0.00/0.69	o -4575 
0.00/0.69	o -4581 
0.00/0.70	o -4668 
0.00/0.70	o -4675 
0.00/0.70	o -4681 
0.00/0.71	o -4852 
0.00/0.71	o -5046 
0.00/0.72	o -5057 
0.00/0.72	o -5080 
0.00/0.73	o -5086 
0.00/0.73	o -5143 
0.00/0.73	o -5144 
0.00/0.74	o -5149 
0.00/0.74	o -5167 
0.00/0.75	o -5173 
0.00/0.75	o -5181 
0.00/0.75	o -5234 
0.00/0.75	o -5242 
0.00/0.76	o -5244 
0.00/0.76	o -5248 
0.00/0.76	o -5299 
0.00/0.76	o -5305 
0.00/0.76	o -5311 
0.00/0.76	o -5312 
0.00/0.77	o -5318 
0.00/0.77	o -5332 
0.00/0.77	o -5338 
0.00/0.77	o -5342 
0.00/0.78	o -5343 
0.00/0.78	o -5350 
0.00/0.78	o -5379 
0.00/0.79	o -5394 
0.00/0.79	o -5400 
0.00/0.79	o -5452 
0.00/0.80	o -5522 
0.00/0.80	o -5622 
0.00/0.85	o -6006 
0.00/0.85	o -6507 
0.00/0.89	o -6513 
0.00/0.91	o -6516 
0.00/0.91	o -6522 
0.00/0.91	o -6528 
0.00/0.91	o -6549 
0.00/0.91	o -6555 
0.00/0.91	o -6559 
0.00/0.92	o -6563 
0.00/0.92	o -6569 
0.00/0.93	o -6571 
0.00/0.93	o -6596 
0.00/0.93	o -6600 
0.00/0.93	o -6619 
0.00/0.94	o -6621 
0.00/0.94	o -6623 
0.00/0.95	o -6650 
0.00/0.95	o -6680 
0.00/0.95	o -6686 
0.00/0.96	o -6702 
0.00/0.98	o -6704 
0.00/0.98	o -6733 
0.00/0.98	o -6752 
0.00/1.00	o -6756 
0.00/1.00	o -6784 
0.00/1.01	o -6790 
0.00/1.01	o -6813 
0.00/1.01	o -6819 
0.00/1.03	o -6822 
0.00/1.05	o -6854 
0.00/1.05	o -6872 
0.00/1.07	o -6901 
0.00/1.09	o -6908 
0.00/1.09	o -6925 
0.00/1.10	o -6964 
0.00/1.10	o -6995 
0.00/1.11	o -7001 
0.00/1.11	o -7003 
4.91/1.11	o -7034 
4.91/1.11	o -7040 
4.91/1.11	o -7164 
4.91/1.13	o -7203 
4.91/1.15	o -7209 
4.91/1.17	o -7236 
4.91/1.17	o -7242 
4.91/1.18	o -7253 
4.91/1.18	o -7259 
4.91/1.18	o -7292 
4.91/1.20	o -7298 
4.91/1.21	o -7301 
4.91/1.21	o -7334 
5.58/1.21	o -7340 
5.58/1.21	o -7469 
5.58/1.27	o -7498 
6.24/1.39	o -7505 
7.04/1.40	o -7511 
7.04/1.42	o -7515 
7.04/1.43	o -7565 
7.04/1.44	o -7571 
7.04/1.44	o -7592 
7.04/1.44	o -7598 
7.04/1.46	o -7616 
7.72/1.51	o -7635 
7.72/1.53	o -7641 
12.48/2.11	o -7643 
14.20/2.34	o -7648 
15.60/2.54	o -7691 
28.28/4.18	o -7696 
36.21/5.16	o -7701 
49.73/6.83	o -7703 
50.47/6.97	o -7705 
53.65/7.34	o -7723 
57.74/7.82	o -7738 
59.22/8.02	o -7746 
59.22/8.07	o -7772 
111.69/14.66	s OPTIMUM FOUND
111.69/14.66	v <instantiation>
111.69/14.66	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] </list>
111.69/14.66	v 	<values>0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 </values>
111.69/14.66	v </instantiation>

Verifier Data 

OK	-7772

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249084-1500693789/watcher-4249084-1500693789 -o /tmp/evaluation-result-4249084-1500693789/solver-4249084-1500693789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 326316047 HOME/instance-4249084-1500693789.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.97 8.58 8.90 3/263 398
/proc/meminfo: memFree=27219628/32770624 swapFree=5884/289388
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0

[startup+0.100122 s]
/proc/loadavg: 8.97 8.58 8.90 3/263 398
/proc/meminfo: memFree=27219628/32770624 swapFree=5884/289388
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200301 s]
/proc/loadavg: 8.97 8.58 8.90 3/263 398
/proc/meminfo: memFree=27219628/32770624 swapFree=5884/289388
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300289 s]
/proc/loadavg: 8.97 8.58 8.90 3/263 398
/proc/meminfo: memFree=27219628/32770624 swapFree=5884/289388
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700229 s]
/proc/loadavg: 8.97 8.58 8.90 3/263 398
/proc/meminfo: memFree=27219628/32770624 swapFree=5884/289388
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50117 s]
/proc/loadavg: 8.97 8.58 8.90 12/292 1108
/proc/meminfo: memFree=27020096/32770624 swapFree=5884/289416
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
[pid=399] ppid=398 vsize=14069968 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/399/stat : 399 (java) S 398 398 8571 0 -1 1077944320 33291 0 0 0 750 22 0 0 20 0 28 0 4646699 14407647232 86831 33554432000 4194304 4196468 140724687002816 140724686985360 140222317846263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
/proc/399/statm: 3517492 86831 3258 1 0 3504725 0
[pid=399/tid=400] ppid=398 vsize=14069968 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/400/stat : 400 (java) S 398 398 8571 0 -1 1077944384 6361 0 0 0 60 3 0 0 20 0 28 0 4646699 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222322087040 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=402] ppid=398 vsize=14069968 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/402/stat : 402 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222236326160 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=403] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/403/stat : 403 (java) S 398 398 8571 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222235273616 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=404] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/404/stat : 404 (java) S 398 398 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222234221072 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=406] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/406/stat : 406 (java) S 398 398 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222233168528 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=407] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/407/stat : 407 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222232115984 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=408] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/408/stat : 408 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222231063440 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=409] ppid=398 vsize=14069968 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/409/stat : 409 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222230010896 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=410] ppid=398 vsize=14069968 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/410/stat : 410 (java) S 398 398 8571 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4646700 14407647232 86831 33554432000 4194304 4196468 140724687002816 140222228958352 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=411] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/411/stat : 411 (java) S 398 398 8571 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 28 0 4646702 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221511735280 140222317857410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=412] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=415] ppid=398 vsize=14069968 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/399/task/415/stat : 415 (java) R 398 398 8571 0 -1 4202560 2085 0 0 0 93 0 0 0 20 0 28 0 4646705 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221507511008 140222302734102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=416] ppid=398 vsize=14069968 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/399/task/416/stat : 416 (java) R 398 398 8571 0 -1 4202560 2800 0 0 0 87 1 0 0 20 0 28 0 4646705 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221506459104 140222295863272 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=417] ppid=398 vsize=14069968 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/399/task/417/stat : 417 (java) R 398 398 8571 0 -1 4202560 4400 0 0 0 92 0 0 0 20 0 28 0 4646705 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221505406040 140222299367663 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=418] ppid=398 vsize=14069968 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/399/task/418/stat : 418 (java) S 398 398 8571 0 -1 1077944384 2813 0 0 0 59 0 0 0 20 0 28 0 4646705 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221504367472 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=419] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/419/stat : 419 (java) S 398 398 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646706 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221503314144 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=420] ppid=398 vsize=14069968 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/420/stat : 420 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646706 14407647232 86831 33554432000 4194304 4196468 140724687002816 140221502261680 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 14079480

[startup+3.10109 s]
/proc/loadavg: 8.97 8.58 8.90 13/292 1355
/proc/meminfo: memFree=26876712/32770624 swapFree=5884/289416
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
[pid=399] ppid=398 vsize=14068024 CPUtime=20.35 cores=1,3,5,7,9,11,13,15
/proc/399/stat : 399 (java) S 398 398 8571 0 -1 1077944320 35984 0 0 0 2011 24 0 0 20 0 28 0 4646699 14405656576 88392 33554432000 4194304 4196468 140724687002816 140724686985360 140222317846263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
/proc/399/statm: 3517006 88392 3258 1 0 3504239 0
[pid=399/tid=400] ppid=398 vsize=14068024 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/400/stat : 400 (java) S 398 398 8571 0 -1 1077944384 6362 0 0 0 60 3 0 0 20 0 28 0 4646699 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222322087040 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=402] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/402/stat : 402 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222236326160 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=403] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/403/stat : 403 (java) S 398 398 8571 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222235273616 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=404] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/404/stat : 404 (java) S 398 398 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222234221072 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=406] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/406/stat : 406 (java) S 398 398 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222233168528 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=407] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/407/stat : 407 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222232115984 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=408] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/408/stat : 408 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222231063440 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=409] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/409/stat : 409 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222230010896 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=410] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/410/stat : 410 (java) S 398 398 8571 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88392 33554432000 4194304 4196468 140724687002816 140222228958352 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=411] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/411/stat : 411 (java) S 398 398 8571 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221511735280 140222317857410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=412] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=415] ppid=398 vsize=14068024 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/399/task/415/stat : 415 (java) S 398 398 8571 0 -1 1077944384 2713 0 0 0 158 0 0 0 20 0 28 0 4646705 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221507525104 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=416] ppid=398 vsize=14068024 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/399/task/416/stat : 416 (java) S 398 398 8571 0 -1 1077944384 3927 0 0 0 174 1 0 0 20 0 28 0 4646705 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221506472560 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=417] ppid=398 vsize=14068024 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/399/task/417/stat : 417 (java) S 398 398 8571 0 -1 1077944384 4524 0 0 0 183 0 0 0 20 0 28 0 4646705 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221505420016 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=418] ppid=398 vsize=14068024 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/418/stat : 418 (java) S 398 398 8571 0 -1 1077944384 2898 0 0 0 63 0 0 0 20 0 28 0 4646705 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221504367472 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=419] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/419/stat : 419 (java) S 398 398 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221503314144 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=420] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/420/stat : 420 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88392 33554432000 4194304 4196468 140724687002816 140221502261680 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
Current children cumulated CPU time (s) 20.35
Current children cumulated vsize (KiB) 14077536

[startup+6.30149 s]
/proc/loadavg: 9.21 8.63 8.92 10/292 1388
/proc/meminfo: memFree=26880516/32770624 swapFree=5884/289428
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
[pid=399] ppid=398 vsize=14068024 CPUtime=45.72 cores=1,3,5,7,9,11,13,15
/proc/399/stat : 399 (java) S 398 398 8571 0 -1 1077944320 39139 0 0 0 4547 25 0 0 20 0 28 0 4646699 14405656576 87275 33554432000 4194304 4196468 140724687002816 140724686985360 140222317846263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
/proc/399/statm: 3517006 87275 3262 1 0 3504239 0
[pid=399/tid=400] ppid=398 vsize=14068024 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/400/stat : 400 (java) S 398 398 8571 0 -1 1077944384 6365 0 0 0 60 3 0 0 20 0 28 0 4646699 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222322087040 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=402] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/402/stat : 402 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222236326160 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=403] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/403/stat : 403 (java) S 398 398 8571 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222235273616 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=404] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/404/stat : 404 (java) S 398 398 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222234221072 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=406] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/406/stat : 406 (java) S 398 398 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222233168528 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=407] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/407/stat : 407 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222232115984 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=408] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/408/stat : 408 (java) S 398 398 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222231063440 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=409] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/409/stat : 409 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222230010896 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=410] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/410/stat : 410 (java) S 398 398 8571 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 87275 33554432000 4194304 4196468 140724687002816 140222228958352 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=411] ppid=398 vsize=14068024 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/399/task/411/stat : 411 (java) S 398 398 8571 0 -1 1077944384 503 0 0 0 1 1 0 0 20 0 28 0 4646702 14405656576 87275 33554432000 4194304 4196468 140724687002816 140221511735280 140222317857410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=412] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 87275 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 87275 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14405656576 87275 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0

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

/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=415] ppid=398 vsize=14068024 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/399/task/415/stat : 415 (java) S 398 398 8571 0 -1 1077944384 3502 0 0 0 162 0 0 0 20 0 28 0 4646705 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221507525104 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=416] ppid=398 vsize=14068024 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/399/task/416/stat : 416 (java) S 398 398 8571 0 -1 1077944384 4948 0 0 0 184 1 0 0 20 0 28 0 4646705 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221506472560 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=417] ppid=398 vsize=14068024 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/399/task/417/stat : 417 (java) S 398 398 8571 0 -1 1077944384 6007 0 0 0 197 0 0 0 20 0 28 0 4646705 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221505420016 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=418] ppid=398 vsize=14068024 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/399/task/418/stat : 418 (java) S 398 398 8571 0 -1 1077944384 3910 0 0 0 66 0 0 0 20 0 28 0 4646705 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221504367472 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=419] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/419/stat : 419 (java) S 398 398 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221503314144 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=420] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/420/stat : 420 (java) S 398 398 8571 0 -1 1077944384 887 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221502261680 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1429] ppid=398 vsize=14068024 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/399/task/1429/stat : 1429 (java) R 398 398 8571 0 -1 4202560 308 0 0 0 549 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221491088824 140221912336370 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1430] ppid=398 vsize=14068024 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/399/task/1430/stat : 1430 (java) R 398 398 8571 0 -1 4202560 45 0 0 0 550 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140220886910120 140221912336349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1431] ppid=398 vsize=14068024 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/399/task/1431/stat : 1431 (java) R 398 398 8571 0 -1 4202560 166 0 0 0 550 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140220887964568 140221912336251 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1432] ppid=398 vsize=14068024 CPUtime=5.36 cores=1,3,5,7,9,11,13,15
/proc/399/task/1432/stat : 1432 (java) R 398 398 8571 0 -1 4202560 283 0 0 0 536 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221493195448 140221912336333 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1433] ppid=398 vsize=14068024 CPUtime=5.47 cores=1,3,5,7,9,11,13,15
/proc/399/task/1433/stat : 1433 (java) R 398 398 8571 0 -1 4202560 179 0 0 0 547 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140220891120040 140221912336237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1434] ppid=398 vsize=14068024 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/399/task/1434/stat : 1434 (java) R 398 398 8571 0 -1 4202560 30 0 0 0 548 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140221490036656 140221912336214 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1435] ppid=398 vsize=14068024 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/399/task/1435/stat : 1435 (java) R 398 398 8571 0 -1 4202560 215 0 0 0 550 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140220890069560 140221912336295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1436] ppid=398 vsize=14068024 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/399/task/1436/stat : 1436 (java) R 398 398 8571 0 -1 4202560 70 0 0 0 548 0 0 0 20 0 28 0 4647506 14405656576 88958 33554432000 4194304 4196468 140724687002816 140220892173096 140221912227749 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
Current children cumulated CPU time (s) 103.74
Current children cumulated vsize (KiB) 14077536

[startup+14.4221 s]
/proc/loadavg: 9.02 8.61 8.91 10/292 1436
/proc/meminfo: memFree=26873800/32770624 swapFree=5884/289436
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
[pid=399] ppid=398 vsize=14068024 CPUtime=110.28 cores=1,3,5,7,9,11,13,15
/proc/399/stat : 399 (java) S 398 398 8571 0 -1 1077944320 45835 0 0 0 11000 28 0 0 20 0 28 0 4646699 14405656576 88981 33554432000 4194304 4196468 140724687002816 140724686985360 140222317846263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
/proc/399/statm: 3517006 88981 3264 1 0 3504239 0
[pid=399/tid=400] ppid=398 vsize=14068024 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/400/stat : 400 (java) S 398 398 8571 0 -1 1077944384 6515 0 0 0 60 3 0 0 20 0 28 0 4646699 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222322087040 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=402] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/402/stat : 402 (java) S 398 398 8571 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222236326160 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=403] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/403/stat : 403 (java) S 398 398 8571 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222235273616 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=404] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/404/stat : 404 (java) S 398 398 8571 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222234221072 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=406] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/406/stat : 406 (java) S 398 398 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222233168528 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=407] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/407/stat : 407 (java) S 398 398 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222232115984 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=408] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/408/stat : 408 (java) S 398 398 8571 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222231063440 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=409] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/409/stat : 409 (java) S 398 398 8571 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222230010896 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=410] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/410/stat : 410 (java) S 398 398 8571 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222228958352 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=411] ppid=398 vsize=14068024 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/399/task/411/stat : 411 (java) S 398 398 8571 0 -1 1077944384 775 0 0 0 1 2 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221511735280 140222317857410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=412] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=415] ppid=398 vsize=14068024 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/399/task/415/stat : 415 (java) S 398 398 8571 0 -1 1077944384 3502 0 0 0 162 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221507525104 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=416] ppid=398 vsize=14068024 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/399/task/416/stat : 416 (java) S 398 398 8571 0 -1 1077944384 5312 0 0 0 186 1 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221506472560 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=417] ppid=398 vsize=14068024 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/399/task/417/stat : 417 (java) S 398 398 8571 0 -1 1077944384 6007 0 0 0 197 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221505420016 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=418] ppid=398 vsize=14068024 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/399/task/418/stat : 418 (java) S 398 398 8571 0 -1 1077944384 3920 0 0 0 66 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221504367472 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=419] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/419/stat : 419 (java) S 398 398 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221503314144 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=420] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/420/stat : 420 (java) S 398 398 8571 0 -1 1077944384 887 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221502261680 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1429] ppid=398 vsize=14068024 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/399/task/1429/stat : 1429 (java) R 398 398 8571 0 -1 4202560 338 0 0 0 631 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221491090744 140221912336200 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1430] ppid=398 vsize=14068024 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/399/task/1430/stat : 1430 (java) R 398 398 8571 0 -1 4202560 71 0 0 0 630 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220886910120 140221912336237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1431] ppid=398 vsize=14068024 CPUtime=6.32 cores=1,3,5,7,9,11,13,15
/proc/399/task/1431/stat : 1431 (java) R 398 398 8571 0 -1 4202560 186 0 0 0 632 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220887964568 140221912336403 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1432] ppid=398 vsize=14068024 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/399/task/1432/stat : 1432 (java) R 398 398 8571 0 -1 4202560 310 0 0 0 616 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221493195448 140222303790417 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1433] ppid=398 vsize=14068024 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/399/task/1433/stat : 1433 (java) R 398 398 8571 0 -1 4202560 194 0 0 0 629 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220891120040 140221912336403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1434] ppid=398 vsize=14068024 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/399/task/1434/stat : 1434 (java) R 398 398 8571 0 -1 4202560 31 0 0 0 630 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221490036656 140221912336251 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1435] ppid=398 vsize=14068024 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/399/task/1435/stat : 1435 (java) R 398 398 8571 0 -1 4202560 240 0 0 0 631 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220890067192 140221912336170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1436] ppid=398 vsize=14068024 CPUtime=6.3 cores=1,3,5,7,9,11,13,15
/proc/399/task/1436/stat : 1436 (java) R 398 398 8571 0 -1 4202560 111 0 0 0 630 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220892173096 140221912336170 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
Current children cumulated CPU time (s) 110.28
Current children cumulated vsize (KiB) 14077536

[startup+14.6014 s]
/proc/loadavg: 9.02 8.61 8.91 10/292 1436
/proc/meminfo: memFree=26873800/32770624 swapFree=5884/289436
[pid=398] ppid=395 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/398/stat : 398 (xcsp3-exec) S 395 398 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4646698 9740288 345 33554432000 4194304 5098028 140720981593888 140720981591992 139797542441596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 18440192 140720981595279 140720981595488 140720981595488 140720981598187 0
/proc/398/statm: 2378 345 289 221 0 87 0
[pid=399] ppid=398 vsize=14068024 CPUtime=111.69 cores=1,3,5,7,9,11,13,15
/proc/399/stat : 399 (java) S 398 398 8571 0 -1 1077944320 45851 0 0 0 11141 28 0 0 20 0 28 0 4646699 14405656576 88981 33554432000 4194304 4196468 140724687002816 140724686985360 140222317846263 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
/proc/399/statm: 3517006 88981 3264 1 0 3504239 0
[pid=399/tid=400] ppid=398 vsize=14068024 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/399/task/400/stat : 400 (java) S 398 398 8571 0 -1 1077944384 6515 0 0 0 60 3 0 0 20 0 28 0 4646699 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222322087040 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=402] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/402/stat : 402 (java) S 398 398 8571 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222236326160 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=403] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/403/stat : 403 (java) S 398 398 8571 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222235273616 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=404] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/404/stat : 404 (java) S 398 398 8571 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222234221072 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=406] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/406/stat : 406 (java) S 398 398 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222233168528 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=407] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/407/stat : 407 (java) S 398 398 8571 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222232115984 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=408] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/408/stat : 408 (java) S 398 398 8571 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222231063440 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=409] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/409/stat : 409 (java) S 398 398 8571 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222230010896 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=410] ppid=398 vsize=14068024 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/399/task/410/stat : 410 (java) S 398 398 8571 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 4646700 14405656576 88981 33554432000 4194304 4196468 140724687002816 140222228958352 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=411] ppid=398 vsize=14068024 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/399/task/411/stat : 411 (java) S 398 398 8571 0 -1 1077944384 781 0 0 0 2 2 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221511735280 140222317857410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=412] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/412/stat : 412 (java) S 398 398 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221510681568 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=413] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/413/stat : 413 (java) S 398 398 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4646702 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221509628928 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=414] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/414/stat : 414 (java) S 398 398 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221508577488 140222317864859 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=415] ppid=398 vsize=14068024 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/399/task/415/stat : 415 (java) S 398 398 8571 0 -1 1077944384 3502 0 0 0 162 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221507525104 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=416] ppid=398 vsize=14068024 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/399/task/416/stat : 416 (java) S 398 398 8571 0 -1 1077944384 5312 0 0 0 186 1 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221506472560 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=417] ppid=398 vsize=14068024 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/399/task/417/stat : 417 (java) S 398 398 8571 0 -1 1077944384 6007 0 0 0 197 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221505420016 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=418] ppid=398 vsize=14068024 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/399/task/418/stat : 418 (java) S 398 398 8571 0 -1 1077944384 3920 0 0 0 66 0 0 0 20 0 28 0 4646705 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221504367472 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=419] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/419/stat : 419 (java) S 398 398 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221503314144 140222317856469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=420] ppid=398 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/399/task/420/stat : 420 (java) S 398 398 8571 0 -1 1077944384 887 0 0 0 0 0 0 0 20 0 28 0 4646706 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221502261680 140222317857410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1429] ppid=398 vsize=14068024 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/399/task/1429/stat : 1429 (java) R 398 398 8571 0 -1 4202560 340 0 0 0 649 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221491088824 140221912336170 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1430] ppid=398 vsize=14068024 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/399/task/1430/stat : 1430 (java) R 398 398 8571 0 -1 4202560 71 0 0 0 648 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220886909992 140221912336214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1431] ppid=398 vsize=14068024 CPUtime=6.5 cores=1,3,5,7,9,11,13,15
/proc/399/task/1431/stat : 1431 (java) R 398 398 8571 0 -1 4202560 187 0 0 0 650 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220887962920 140221913632043 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1432] ppid=398 vsize=14068024 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/399/task/1432/stat : 1432 (java) R 398 398 8571 0 -1 4202560 315 0 0 0 633 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221493196200 140221912336214 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1433] ppid=398 vsize=14068024 CPUtime=6.47 cores=1,3,5,7,9,11,13,15
/proc/399/task/1433/stat : 1433 (java) R 398 398 8571 0 -1 4202560 194 0 0 0 647 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220891119656 140221912336276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1434] ppid=398 vsize=14068024 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/399/task/1434/stat : 1434 (java) R 398 398 8571 0 -1 4202560 31 0 0 0 648 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140221490036656 140221912227522 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1435] ppid=398 vsize=14068024 CPUtime=6.49 cores=1,3,5,7,9,11,13,15
/proc/399/task/1435/stat : 1435 (java) R 398 398 8571 0 -1 4202560 242 0 0 0 649 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220890067240 140221912336251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
[pid=399/tid=1436] ppid=398 vsize=14068024 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/399/task/1436/stat : 1436 (java) R 398 398 8571 0 -1 4202560 111 0 0 0 648 0 0 0 20 0 28 0 4647506 14405656576 88981 33554432000 4194304 4196468 140724687002816 140220892172456 140221912116775 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33034240 140724687008956 140724687009132 140724687009132 140724687011791 0
Current children cumulated CPU time (s) 111.69
Current children cumulated vsize (KiB) 14077536

Child status: 0
Real time (s): 14.6773
CPU time (s): 112.253
CPU user time (s): 111.958
CPU system time (s): 0.294692
CPU usage (%): 764.81
Max. virtual memory (cumulated for all children) (KiB): 14079480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.958
system time used= 0.294692
maximum resident set size= 356112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11150
involuntary context switches= 8990

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.175416 second user time and 0.1941 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-22 05:23:09
IDJOB=4249084
IDBENCH=135451
IDSOLVER=2626
FILE ID=node126/4249084-1500693789
RUNJOBID= node126-1500683384-8603
PBS_JOBID= 20623339
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-sentoy.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249084-1500693789/watcher-4249084-1500693789 -o /tmp/evaluation-result-4249084-1500693789/solver-4249084-1500693789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 326316047 HOME/instance-4249084-1500693789.xml

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

MD5SUM BENCH= f29e5165c598919c9834c408fde8edbe
RANDOM SEED=326316047

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27219668 kB
MemAvailable:   27509808 kB
Buffers:          114940 kB
Cached:           455672 kB
SwapCached:            0 kB
Active:          4807600 kB
Inactive:         298044 kB
Active(anon):    4537748 kB
Inactive(anon):     8656 kB
Active(file):     269852 kB
Inactive(file):   289388 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7876 kB
Writeback:             0 kB
AnonPages:       4546492 kB
Mapped:            42524 kB
Shmem:              8840 kB
Slab:             127776 kB
SReclaimable:      93468 kB
SUnreclaim:        34308 kB
KernelStack:        4880 kB
PageTables:        14628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5335560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4401152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61848 MiB
End job on node126 at 2017-07-22 05:23:24