Trace number 4248321

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
R1: choco-solver 4.0.5 (2017-07-05)SAT 80.1485 10.6977

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-60-3-5.xml
MD5SUMcb28c088349c564a44b865f26515e86f
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 benchmark3.2825999
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints60
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":99}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248321-1500691672.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4248321-1500691672.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
0.00/0.77	c solve instance...
79.64/10.68	s SATISFIABLE
79.64/10.68	v <instantiation>
79.64/10.68	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[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] </list>
79.64/10.68	v 	<values>43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47 </values>
79.64/10.68	v </instantiation>

Verifier Data 

OK

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-4248321-1500691672/watcher-4248321-1500691672 -o /tmp/evaluation-result-4248321-1500691672/solver-4248321-1500691672 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 853289319 HOME/instance-4248321-1500691672.xml 

pid=3859
running on 8 cores: 0,2,4,6,8,10,12,14

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: 15.93 14.92 13.43 10/270 3862
/proc/meminfo: memFree=28732612/32770624 swapFree=5892/123656
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0

[startup+0.1001 s]
/proc/loadavg: 15.93 14.92 13.43 10/270 3862
/proc/meminfo: memFree=28732612/32770624 swapFree=5892/123656
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200297 s]
/proc/loadavg: 15.93 14.92 13.43 10/270 3862
/proc/meminfo: memFree=28732612/32770624 swapFree=5892/123656
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300283 s]
/proc/loadavg: 15.93 14.92 13.43 10/270 3862
/proc/meminfo: memFree=28732612/32770624 swapFree=5892/123656
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700182 s]
/proc/loadavg: 15.93 14.92 13.43 10/270 3862
/proc/meminfo: memFree=28732612/32770624 swapFree=5892/123656
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50157 s]
/proc/loadavg: 15.45 14.84 13.41 18/299 3891
/proc/meminfo: memFree=28625872/32770624 swapFree=5892/123688
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
[pid=3863] ppid=3862 vsize=13801768 CPUtime=7.62 cores=0,2,4,6,8,10,12,14
/proc/3863/stat : 3863 (java) S 3862 3862 15667 0 -1 1077944320 21565 0 0 0 753 9 0 0 20 0 28 0 4436850 14133010432 39845 33554432000 4194304 4196468 140721177039488 140721177022032 139812012826359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
/proc/3863/statm: 3450442 39845 3237 1 0 3437675 0
[pid=3863/tid=3864] ppid=3862 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3864/stat : 3864 (java) S 3862 3862 15667 0 -1 1077944384 6778 0 0 0 72 4 0 0 20 0 28 0 4436850 14133010432 39845 33554432000 4194304 4196468 140721177039488 139812017067136 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3866] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3866/stat : 3866 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811931306256 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3867] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3867/stat : 3867 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811930253712 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3868] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3868/stat : 3868 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811929201168 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3869] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3869/stat : 3869 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811928148624 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3870] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3870/stat : 3870 (java) S 3862 3862 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811927096080 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3871] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3871/stat : 3871 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811926043536 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3872] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3872/stat : 3872 (java) S 3862 3862 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811924990992 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3873] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3873/stat : 3873 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811604130960 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3874] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3874/stat : 3874 (java) S 3862 3862 15667 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4436854 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811340929008 139812012837506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3875] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3875/stat : 3875 (java) S 3862 3862 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811339875232 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3876] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3876/stat : 3876 (java) S 3862 3862 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811338822640 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3877] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3877/stat : 3877 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811337771216 139812012844955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3878] ppid=3862 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3878/stat : 3878 (java) R 3862 3862 15667 0 -1 4202560 3144 0 0 0 69 0 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811336704856 139811997952592 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3879] ppid=3862 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3879/stat : 3879 (java) R 3862 3862 15667 0 -1 4202560 3517 0 0 0 65 1 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811335652024 139811994370456 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3880] ppid=3862 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3880/stat : 3880 (java) R 3862 3862 15667 0 -1 4202560 3344 0 0 0 77 0 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811334599208 139811997743712 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3881] ppid=3862 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3881/stat : 3881 (java) S 3862 3862 15667 0 -1 1077944384 3087 0 0 0 65 1 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811333561200 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3882] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3882/stat : 3882 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811332507872 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3883] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3883/stat : 3883 (java) S 3862 3862 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4436860 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811331455408 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3884] ppid=3862 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3884/stat : 3884 (java) R 3862 3862 15667 0 -1 4202560 57 0 0 0 59 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811323440456 139811608643288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3885] ppid=3862 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3885/stat : 3885 (java) R 3862 3862 15667 0 -1 4202560 47 0 0 0 50 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811322387888 139811995297692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3886] ppid=3862 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3886/stat : 3886 (java) R 3862 3862 15667 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811321334840 139811608690679 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3887] ppid=3862 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3887/stat : 3887 (java) R 3862 3862 15667 0 -1 4202560 86 0 0 0 42 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811320283048 139811608641458 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3888] ppid=3862 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3888/stat : 3888 (java) R 3862 3862 15667 0 -1 4202560 41 0 0 0 51 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811251802568 139811608641398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3889] ppid=3862 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3889/stat : 3889 (java) R 3862 3862 15667 0 -1 4202560 38 0 0 0 54 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811250750304 139811608643583 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3890] ppid=3862 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3890/stat : 3890 (java) R 3862 3862 15667 0 -1 4202560 36 0 0 0 56 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811249696472 139811608641289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3891] ppid=3862 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3891/stat : 3891 (java) R 3862 3862 15667 0 -1 4202560 38 0 0 0 45 0 0 0 20 0 28 0 4436928 14133010432 39845 33554432000 4194304 4196468 140721177039488 139811248643816 139811608706914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 13811280

[startup+3.10165 s]
/proc/loadavg: 15.45 14.84 13.41 20/299 3891
/proc/meminfo: memFree=28520320/32770624 swapFree=5892/123688
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
[pid=3863] ppid=3862 vsize=13801768 CPUtime=20.26 cores=0,2,4,6,8,10,12,14
/proc/3863/stat : 3863 (java) S 3862 3862 15667 0 -1 1077944320 38533 0 0 0 2010 16 0 0 20 0 28 0 4436850 14133010432 59571 33554432000 4194304 4196468 140721177039488 140721177022032 139812012826359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
/proc/3863/statm: 3450442 59571 3271 1 0 3437675 0
[pid=3863/tid=3864] ppid=3862 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3864/stat : 3864 (java) S 3862 3862 15667 0 -1 1077944384 6778 0 0 0 72 4 0 0 20 0 28 0 4436850 14133010432 59571 33554432000 4194304 4196468 140721177039488 139812017067136 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3866] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3866/stat : 3866 (java) S 3862 3862 15667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811931306256 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3867] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3867/stat : 3867 (java) S 3862 3862 15667 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811930253712 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3868] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3868/stat : 3868 (java) S 3862 3862 15667 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811929201168 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3869] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3869/stat : 3869 (java) S 3862 3862 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811928148624 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3870] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3870/stat : 3870 (java) S 3862 3862 15667 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811927096080 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3871] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3871/stat : 3871 (java) S 3862 3862 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811926043536 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3872] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3872/stat : 3872 (java) S 3862 3862 15667 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811924990992 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3873] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3873/stat : 3873 (java) S 3862 3862 15667 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 28 0 4436851 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811604130960 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3874] ppid=3862 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3874/stat : 3874 (java) S 3862 3862 15667 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 4436854 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811340929008 139812012837506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3875] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3875/stat : 3875 (java) S 3862 3862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811339875232 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3876] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3876/stat : 3876 (java) S 3862 3862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811338822640 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3877] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3877/stat : 3877 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811337771216 139812012844955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3878] ppid=3862 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3878/stat : 3878 (java) R 3862 3862 15667 0 -1 4202560 7916 0 0 0 202 1 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811336712024 139812004780771 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3879] ppid=3862 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3879/stat : 3879 (java) R 3862 3862 15667 0 -1 4202560 10532 0 0 0 175 2 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811335652384 139811997725681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3880] ppid=3862 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3880/stat : 3880 (java) R 3862 3862 15667 0 -1 4202560 6879 0 0 0 183 1 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811334602432 139811997715762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3881] ppid=3862 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3881/stat : 3881 (java) S 3862 3862 15667 0 -1 1077944384 3236 0 0 0 68 1 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811333561200 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3882] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3882/stat : 3882 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811332507872 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3883] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3883/stat : 3883 (java) S 3862 3862 15667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4436860 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811331455408 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3884] ppid=3862 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3884/stat : 3884 (java) R 3862 3862 15667 0 -1 4202560 170 0 0 0 172 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811323440584 139811609834787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3885] ppid=3862 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3885/stat : 3885 (java) R 3862 3862 15667 0 -1 4202560 173 0 0 0 159 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811322389208 139811609831871 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3886] ppid=3862 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3886/stat : 3886 (java) R 3862 3862 15667 0 -1 4202560 147 0 0 0 153 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811321336376 139811610346082 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3887] ppid=3862 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3887/stat : 3887 (java) R 3862 3862 15667 0 -1 4202560 283 0 0 0 134 1 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811320284040 139811996219953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3888] ppid=3862 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3888/stat : 3888 (java) R 3862 3862 15667 0 -1 4202560 113 0 0 0 167 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811251802856 139811609027572 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3889] ppid=3862 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3889/stat : 3889 (java) R 3862 3862 15667 0 -1 4202560 143 0 0 0 175 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811250750432 139811609027610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3890] ppid=3862 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3890/stat : 3890 (java) R 3862 3862 15667 0 -1 4202560 84 0 0 0 166 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811249696264 139811609027610 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3891] ppid=3862 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3891/stat : 3891 (java) R 3862 3862 15667 0 -1 4202560 118 0 0 0 172 0 0 0 20 0 28 0 4436928 14133010432 59571 33554432000 4194304 4196468 140721177039488 139811248643848 139811609831882 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
Current children cumulated CPU time (s) 20.26
Current children cumulated vsize (KiB) 13811280

[startup+6.30153 s]
/proc/loadavg: 15.26 14.81 13.41 17/299 3891
/proc/meminfo: memFree=28382292/32770624 swapFree=5892/123700

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

/proc/3863/task/3875/stat : 3875 (java) S 3862 3862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811339875232 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3876] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3876/stat : 3876 (java) S 3862 3862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811338822640 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3877] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3877/stat : 3877 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811337771216 139812012844955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3878] ppid=3862 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3878/stat : 3878 (java) S 3862 3862 15667 0 -1 1077944384 8092 0 0 0 228 1 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811336718832 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3879] ppid=3862 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3879/stat : 3879 (java) S 3862 3862 15667 0 -1 1077944384 10638 0 0 0 194 2 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811335666288 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3880] ppid=3862 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3880/stat : 3880 (java) S 3862 3862 15667 0 -1 1077944384 6994 0 0 0 212 1 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811334613744 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3881] ppid=3862 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3881/stat : 3881 (java) S 3862 3862 15667 0 -1 1077944384 3868 0 0 0 73 1 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811333561200 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3882] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3882/stat : 3882 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811332507872 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3883] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3883/stat : 3883 (java) S 3862 3862 15667 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 4436860 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811331455408 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3884] ppid=3862 vsize=13801768 CPUtime=8.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3884/stat : 3884 (java) R 3862 3862 15667 0 -1 4202560 372 0 0 0 803 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811323440616 139811610780770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3885] ppid=3862 vsize=13801768 CPUtime=7.9 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3885/stat : 3885 (java) R 3862 3862 15667 0 -1 4202560 296 0 0 0 790 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811322388488 139811609026804 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3886] ppid=3862 vsize=13801768 CPUtime=7.76 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3886/stat : 3886 (java) R 3862 3862 15667 0 -1 4202560 315 0 0 0 776 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811321335616 139811611259639 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3887] ppid=3862 vsize=13801768 CPUtime=7.68 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3887/stat : 3887 (java) R 3862 3862 15667 0 -1 4202560 559 0 0 0 765 3 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811320283336 139811611090951 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3888] ppid=3862 vsize=13801768 CPUtime=7.98 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3888/stat : 3888 (java) R 3862 3862 15667 0 -1 4202560 356 0 0 0 798 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811251805056 139811609027135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3889] ppid=3862 vsize=13801768 CPUtime=7.96 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3889/stat : 3889 (java) R 3862 3862 15667 0 -1 4202560 194 0 0 0 796 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811250750472 139811609026892 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3890] ppid=3862 vsize=13801768 CPUtime=7.94 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3890/stat : 3890 (java) R 3862 3862 15667 0 -1 4202560 206 0 0 0 794 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811249696392 139811609026887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3891] ppid=3862 vsize=13801768 CPUtime=8.05 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3891/stat : 3891 (java) R 3862 3862 15667 0 -1 4202560 328 0 0 0 805 0 0 0 20 0 28 0 4436928 14133010432 134924 33554432000 4194304 4196468 140721177039488 139811248643848 139811609831683 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
Current children cumulated CPU time (s) 71.68
Current children cumulated vsize (KiB) 13811280

[startup+10.4015 s]
/proc/loadavg: 15.26 14.81 13.41 17/299 3891
/proc/meminfo: memFree=28216284/32770624 swapFree=5892/123704
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
[pid=3863] ppid=3862 vsize=13801768 CPUtime=78.05 cores=0,2,4,6,8,10,12,14
/proc/3863/stat : 3863 (java) S 3862 3862 15667 0 -1 1077944320 43800 0 0 0 7770 35 0 0 20 0 28 0 4436850 14133010432 134947 33554432000 4194304 4196468 140721177039488 140721177022032 139812012826359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
/proc/3863/statm: 3450442 134947 3278 1 0 3437675 0
[pid=3863/tid=3864] ppid=3862 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3864/stat : 3864 (java) S 3862 3862 15667 0 -1 1077944384 6778 0 0 0 72 4 0 0 20 0 28 0 4436850 14133010432 134947 33554432000 4194304 4196468 140721177039488 139812017067136 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3866] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3866/stat : 3866 (java) S 3862 3862 15667 0 -1 1077944384 905 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811931306256 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3867] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3867/stat : 3867 (java) S 3862 3862 15667 0 -1 1077944384 264 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811930253712 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3868] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3868/stat : 3868 (java) S 3862 3862 15667 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811929201168 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3869] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3869/stat : 3869 (java) S 3862 3862 15667 0 -1 1077944384 96 0 0 0 2 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811928148624 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3870] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3870/stat : 3870 (java) S 3862 3862 15667 0 -1 1077944384 89 0 0 0 1 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811927096080 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3871] ppid=3862 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3871/stat : 3871 (java) S 3862 3862 15667 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811926043536 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3872] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3872/stat : 3872 (java) S 3862 3862 15667 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811924990992 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3873] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3873/stat : 3873 (java) S 3862 3862 15667 0 -1 1077944384 145 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811604130960 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3874] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3874/stat : 3874 (java) S 3862 3862 15667 0 -1 1077944384 783 0 0 0 3 1 0 0 20 0 28 0 4436854 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811340929008 139812012837506 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3875] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3875/stat : 3875 (java) S 3862 3862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811339875232 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3876] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3876/stat : 3876 (java) S 3862 3862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811338822640 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3877] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3877/stat : 3877 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811337771216 139812012844955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3878] ppid=3862 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3878/stat : 3878 (java) S 3862 3862 15667 0 -1 1077944384 8094 0 0 0 228 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811336718832 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3879] ppid=3862 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3879/stat : 3879 (java) S 3862 3862 15667 0 -1 1077944384 10746 0 0 0 195 2 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811335666288 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3880] ppid=3862 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3880/stat : 3880 (java) S 3862 3862 15667 0 -1 1077944384 6996 0 0 0 212 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811334613744 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3881] ppid=3862 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3881/stat : 3881 (java) S 3862 3862 15667 0 -1 1077944384 4256 0 0 0 73 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811333561200 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3882] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3882/stat : 3882 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811332507872 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3883] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3883/stat : 3883 (java) S 3862 3862 15667 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 28 0 4436860 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811331455408 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3884] ppid=3862 vsize=13801768 CPUtime=8.83 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3884/stat : 3884 (java) R 3862 3862 15667 0 -1 4202560 398 0 0 0 883 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811323440616 139811611259519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3885] ppid=3862 vsize=13801768 CPUtime=8.7 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3885/stat : 3885 (java) R 3862 3862 15667 0 -1 4202560 297 0 0 0 870 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811322388488 139811998036604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3886] ppid=3862 vsize=13801768 CPUtime=8.53 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3886/stat : 3886 (java) R 3862 3862 15667 0 -1 4202560 319 0 0 0 853 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811321335616 139811611259659 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3887] ppid=3862 vsize=13801768 CPUtime=8.48 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3887/stat : 3887 (java) R 3862 3862 15667 0 -1 4202560 576 0 0 0 845 3 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811320283928 139811609832333 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3888] ppid=3862 vsize=13801768 CPUtime=8.78 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3888/stat : 3888 (java) R 3862 3862 15667 0 -1 4202560 359 0 0 0 878 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811251805056 139811608890695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3889] ppid=3862 vsize=13801768 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3889/stat : 3889 (java) R 3862 3862 15667 0 -1 4202560 194 0 0 0 875 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811250750472 139811608943046 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3890] ppid=3862 vsize=13801768 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3890/stat : 3890 (java) R 3862 3862 15667 0 -1 4202560 212 0 0 0 874 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811249696392 139811609832442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3891] ppid=3862 vsize=13801768 CPUtime=8.85 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3891/stat : 3891 (java) R 3862 3862 15667 0 -1 4202560 334 0 0 0 885 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811248643848 139811610779979 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
Current children cumulated CPU time (s) 78.05
Current children cumulated vsize (KiB) 13811280

[startup+10.6016 s]
/proc/loadavg: 15.26 14.81 13.41 17/299 3891
/proc/meminfo: memFree=28216284/32770624 swapFree=5892/123704
[pid=3862] ppid=3859 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3862/stat : 3862 (xcsp3-exec) S 3859 3862 15667 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4436850 9740288 346 33554432000 4194304 5098028 140734480959792 140734480957896 140089569284732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 26402816 140734480966799 140734480967008 140734480967008 140734480969707 0
/proc/3862/statm: 2378 346 289 221 0 87 0
[pid=3863] ppid=3862 vsize=13801768 CPUtime=79.64 cores=0,2,4,6,8,10,12,14
/proc/3863/stat : 3863 (java) S 3862 3862 15667 0 -1 1077944320 43812 0 0 0 7929 35 0 0 20 0 28 0 4436850 14133010432 134947 33554432000 4194304 4196468 140721177039488 140721177022032 139812012826359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
/proc/3863/statm: 3450442 134947 3278 1 0 3437675 0
[pid=3863/tid=3864] ppid=3862 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3864/stat : 3864 (java) S 3862 3862 15667 0 -1 1077944384 6778 0 0 0 72 4 0 0 20 0 28 0 4436850 14133010432 134947 33554432000 4194304 4196468 140721177039488 139812017067136 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3866] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3866/stat : 3866 (java) S 3862 3862 15667 0 -1 1077944384 905 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811931306256 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3867] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3867/stat : 3867 (java) S 3862 3862 15667 0 -1 1077944384 264 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811930253712 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3868] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3868/stat : 3868 (java) S 3862 3862 15667 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811929201168 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3869] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3869/stat : 3869 (java) S 3862 3862 15667 0 -1 1077944384 96 0 0 0 2 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811928148624 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3870] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3870/stat : 3870 (java) S 3862 3862 15667 0 -1 1077944384 89 0 0 0 1 2 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811927096080 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3871] ppid=3862 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3871/stat : 3871 (java) S 3862 3862 15667 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811926043536 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3872] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3872/stat : 3872 (java) S 3862 3862 15667 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811924990992 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3873] ppid=3862 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3873/stat : 3873 (java) S 3862 3862 15667 0 -1 1077944384 145 0 0 0 2 1 0 0 20 0 28 0 4436851 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811604130960 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3874] ppid=3862 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3874/stat : 3874 (java) S 3862 3862 15667 0 -1 1077944384 783 0 0 0 3 1 0 0 20 0 28 0 4436854 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811340929008 139812012837506 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3875] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3875/stat : 3875 (java) S 3862 3862 15667 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811339875232 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3876] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3876/stat : 3876 (java) S 3862 3862 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4436855 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811338822640 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3877] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3877/stat : 3877 (java) S 3862 3862 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811337771216 139812012844955 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3878] ppid=3862 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3878/stat : 3878 (java) S 3862 3862 15667 0 -1 1077944384 8094 0 0 0 228 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811336718832 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3879] ppid=3862 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3879/stat : 3879 (java) S 3862 3862 15667 0 -1 1077944384 10746 0 0 0 195 2 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811335666288 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3880] ppid=3862 vsize=13801768 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3880/stat : 3880 (java) S 3862 3862 15667 0 -1 1077944384 6996 0 0 0 212 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811334613744 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3881] ppid=3862 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3881/stat : 3881 (java) S 3862 3862 15667 0 -1 1077944384 4256 0 0 0 73 1 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811333561200 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3882] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3882/stat : 3882 (java) S 3862 3862 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4436859 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811332507872 139812012836565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3883] ppid=3862 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3883/stat : 3883 (java) S 3862 3862 15667 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 28 0 4436860 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811331455408 139812012837506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3884] ppid=3862 vsize=13801768 CPUtime=9.03 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3884/stat : 3884 (java) R 3862 3862 15667 0 -1 4202560 399 0 0 0 903 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811323440616 139811609834384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3885] ppid=3862 vsize=13801768 CPUtime=8.9 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3885/stat : 3885 (java) R 3862 3862 15667 0 -1 4202560 299 0 0 0 890 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811322388488 139811608890695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3886] ppid=3862 vsize=13801768 CPUtime=8.73 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3886/stat : 3886 (java) R 3862 3862 15667 0 -1 4202560 320 0 0 0 873 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811321335616 139811609027357 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3887] ppid=3862 vsize=13801768 CPUtime=8.68 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3887/stat : 3887 (java) R 3862 3862 15667 0 -1 4202560 577 0 0 0 865 3 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811320283928 139811610779282 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3888] ppid=3862 vsize=13801768 CPUtime=8.98 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3888/stat : 3888 (java) R 3862 3862 15667 0 -1 4202560 360 0 0 0 898 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811251805056 139811609836049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3889] ppid=3862 vsize=13801768 CPUtime=8.95 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3889/stat : 3889 (java) R 3862 3862 15667 0 -1 4202560 194 0 0 0 895 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811250750472 139811609831661 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3890] ppid=3862 vsize=13801768 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3890/stat : 3890 (java) R 3862 3862 15667 0 -1 4202560 213 0 0 0 894 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811249696392 139811609834981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
[pid=3863/tid=3891] ppid=3862 vsize=13801768 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/3863/task/3891/stat : 3891 (java) R 3862 3862 15667 0 -1 4202560 339 0 0 0 905 0 0 0 20 0 28 0 4436928 14133010432 134947 33554432000 4194304 4196468 140721177039488 139811248643848 139811610779817 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29519872 140721177044156 140721177044332 140721177044332 140721177046991 0
Current children cumulated CPU time (s) 79.64
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 10.6977
CPU time (s): 80.1485
CPU user time (s): 79.7751
CPU system time (s): 0.373415
CPU usage (%): 749.214
Max. virtual memory (cumulated for all children) (KiB): 13813184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.7751
system time used= 0.373415
maximum resident set size= 539968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4207
involuntary context switches= 5583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.11461 second user time and 0.16767 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-22 04:47:52
IDJOB=4248321
IDBENCH=133401
IDSOLVER=2625
FILE ID=node104/4248321-1500691672
RUNJOBID= node104-1500684128-16796
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-60-3-5.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-4248321-1500691672/watcher-4248321-1500691672 -o /tmp/evaluation-result-4248321-1500691672/solver-4248321-1500691672 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 853289319 HOME/instance-4248321-1500691672.xml

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

MD5SUM BENCH= cb28c088349c564a44b865f26515e86f
RANDOM SEED=853289319

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28733292 kB
MemAvailable:   28822692 kB
Buffers:          168404 kB
Cached:           184560 kB
SwapCached:          252 kB
Active:          3383788 kB
Inactive:         180028 kB
Active(anon):    3165824 kB
Inactive(anon):    56372 kB
Active(file):     217964 kB
Inactive(file):   123656 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:              7900 kB
Writeback:             0 kB
AnonPages:       3244416 kB
Mapped:            42496 kB
Shmem:              8772 kB
Slab:             162096 kB
SReclaimable:     127228 kB
SUnreclaim:        34868 kB
KernelStack:        5072 kB
PageTables:        12264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3999260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3133440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 04:48:03