Trace number 4274210

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
OscaR - Conflict Ordering 2017-07-26SAT 2.4953699 1.27793

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-2-4-cp.xml
MD5SUM612b3a9d83ebb0dde099fe85e279ef2b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.296404
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints276
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":40}]
Minimum variable degree29
Maximum variable degree30
Distribution of variable degrees[{"degree":29,"count":30},{"degree":30,"count":10}]
Minimum constraint arity4
Maximum constraint arity40
Distribution of constraint arities[{"arity":4,"count":270},{"arity":10,"count":5},{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints270
Distribution of constraint types[{"type":"intension","count":270},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 261507038
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.41/0.43	c Parsing instance...
2.33/1.23	c Parsing done, starting search...
2.33/1.26	s SATISFIABLE
2.33/1.26	v <instantiation>
2.33/1.26	v 	<list>
2.33/1.26	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9]
2.33/1.26	v 	</list>
2.33/1.26	v 	<values>
2.33/1.26	v 		0 0 1 1 2 2 3 3 4 4 0 1 0 4 3 4 1 2 2 3 0 1 1 2 2 3 0 4 3 4 4 3 2 0 1 3 2 0 1 4 
2.33/1.26	v 	</values>
2.33/1.26	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15248 MiB free)
  memory of node 1: 16384 MiB (13477 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274210-1502777495/watcher-4274210-1502777495 -o /tmp/evaluation-result-4274210-1502777495/solver-4274210-1502777495 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 261507038 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274210-1502777495.xml 

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

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

solver pid=13472, runsolver pid=13469

[startup+0.100657 s]*
/proc/loadavg: 1.53 1.43 1.39 3/196 13474
/proc/meminfo: memFree=29414108/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13358552 memory=12820 CPUtime=0 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 3015 0 0 0 0 0 0 0 20 0 6 0 5364602 13679157248 3205 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3339638 3205 1644 1 0 3329135 0
[pid=13472/tid=13474] ppid=13469 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 1732 0 0 0 0 0 0 0 20 0 6 0 5364612 13679157248 3205 18446744073709551615 4194304 4196468 140733094502976 140155371041360 140155327786605 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 5364613 13679157248 3205 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13358552 memory=140180142179968 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 5364613 13679157248 3205 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 5364613 13679157248 3205 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 5364613 13679157248 3271 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 12820 KiB

[startup+0.209852 s]*
/proc/loadavg: 1.53 1.43 1.39 3/209 13487
/proc/meminfo: memFree=29403356/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13975920 memory=27004 CPUtime=0.07 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 6548 0 0 0 6 1 0 0 20 0 15 0 5364602 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3493980 6751 3167 1 0 3482759 0
[pid=13472/tid=13474] ppid=13469 vsize=13975920 memory=7077796292425249400 CPUtime=0.05 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 4659 0 0 0 5 0 0 0 20 0 15 0 5364612 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140155371036496 140155327786605 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13975920 memory=140180142179968 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 6751 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13479] ppid=13469 vsize=13975920 memory=140180142179968 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13479/stat : 13479 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364614 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154846034288 140155366816386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13480] ppid=13469 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13480/stat : 13480 (java) S 13469 13472 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5364615 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154844980256 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13481] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13481/stat : 13481 (java) S 13469 13472 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5364615 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154843927408 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13482] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13482/stat : 13482 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154842875728 140155366823835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13483] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13483/stat : 13483 (java) S 13469 13472 2357 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154841824112 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13484] ppid=13469 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13484/stat : 13484 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154840771312 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13485] ppid=13469 vsize=13975920 memory=140180142179968 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13485/stat : 13485 (java) S 13469 13472 2357 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154839718512 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13486] ppid=13469 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13486/stat : 13486 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364618 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154838665952 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13487] ppid=13469 vsize=13975920 memory=140180142179968 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13487/stat : 13487 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364623 14311342080 6817 18446744073709551615 4194304 4196468 140733094502976 140154837613232 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27004 KiB

[startup+0.310037 s]*
/proc/loadavg: 1.53 1.43 1.39 3/209 13487
/proc/meminfo: memFree=29387448/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13975920 memory=39560 CPUtime=0.23 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 10129 0 0 0 20 3 0 0 20 0 15 0 5364602 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3493980 9890 3551 1 0 3482759 0
[pid=13472/tid=13474] ppid=13469 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 7859 0 0 0 13 2 0 0 20 0 15 0 5364612 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140155371025616 140155350885726 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13975920 memory=140180142186961 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13479] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13479/stat : 13479 (java) S 13469 13472 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5364614 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154846034288 140155366816386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13480] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13480/stat : 13480 (java) S 13469 13472 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5364615 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154844980256 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13481] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13481/stat : 13481 (java) S 13469 13472 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5364615 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154843927408 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13482] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13482/stat : 13482 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154842875728 140155366823835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13483] ppid=13469 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13472/task/13483/stat : 13483 (java) S 13469 13472 2357 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 5364617 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154841824112 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13484] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13484/stat : 13484 (java) S 13469 13472 2357 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 5364617 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154840771312 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13485] ppid=13469 vsize=13975920 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13472/task/13485/stat : 13485 (java) R 13469 13472 2357 0 -1 4202560 373 0 0 0 4 0 0 0 20 0 15 0 5364617 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154839718512 140155366826586 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13486] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13486/stat : 13486 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364618 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154838665952 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13487] ppid=13469 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13487/stat : 13487 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364623 14311342080 9890 18446744073709551615 4194304 4196468 140733094502976 140154837613232 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39560 KiB

[startup+0.700998 s]
/proc/loadavg: 1.53 1.43 1.39 4/209 13487
/proc/meminfo: memFree=29376372/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13977988 memory=66012 CPUtime=0.95 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 13693 0 0 0 90 5 0 0 20 0 15 0 5364602 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3494497 16503 3727 1 0 3483271 0
[pid=13472/tid=13474] ppid=13469 vsize=13977988 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 10331 0 0 0 49 4 0 0 20 0 15 0 5364612 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140155371034608 140155350848869 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13977988 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13479] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13479/stat : 13479 (java) S 13469 13472 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5364614 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154846034288 140155366816386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13480] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13480/stat : 13480 (java) S 13469 13472 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5364615 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154844980256 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13481] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13481/stat : 13481 (java) S 13469 13472 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5364615 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154843927408 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13482] ppid=13469 vsize=13977988 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13482/stat : 13482 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154842875728 140155366823835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13483] ppid=13469 vsize=13977988 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13472/task/13483/stat : 13483 (java) S 13469 13472 2357 0 -1 1077944384 890 0 0 0 12 0 0 0 20 0 15 0 5364617 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154841824112 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13484] ppid=13469 vsize=13977988 memory=734659835863591011 CPUtime=0.09 cores=0,2,4,6
/proc/13472/task/13484/stat : 13484 (java) R 13469 13472 2357 0 -1 4202560 346 0 0 0 9 0 0 0 20 0 15 0 5364617 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154840771312 140155359042366 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13485] ppid=13469 vsize=13977988 memory=6944656592455097440 CPUtime=0.2 cores=0,2,4,6
/proc/13472/task/13485/stat : 13485 (java) S 13469 13472 2357 0 -1 1077944384 745 0 0 0 20 0 0 0 20 0 15 0 5364617 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154839718512 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13486] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13486/stat : 13486 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364618 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154838665952 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13487] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13487/stat : 13487 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364623 14313459712 16503 18446744073709551615 4194304 4196468 140733094502976 140154837613232 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66012 KiB

[startup+1.27789 s]
# the end of solver process 13472 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.3928 s, system=0.102563 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.802526 s]
/proc/loadavg: 1.53 1.43 1.39 4/209 13487
/proc/meminfo: memFree=29376372/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13977988 memory=72224 CPUtime=1.19 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 14234 0 0 0 113 6 0 0 20 0 15 0 5364602 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3494497 18056 3742 1 0 3483271 0
[pid=13472/tid=13474] ppid=13469 vsize=13977988 memory=140180015054192 CPUtime=0.62 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 10574 0 0 0 58 4 0 0 20 0 15 0 5364612 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140155371040800 140155366817174 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13977988 memory=-8970745359494625598 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13977988 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13479] ppid=13469 vsize=13977988 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13479/stat : 13479 (java) S 13469 13472 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5364614 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154846034288 140155366816386 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13480] ppid=13469 vsize=13977988 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13480/stat : 13480 (java) S 13469 13472 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5364615 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154844980256 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13481] ppid=13469 vsize=13977988 memory=3132 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13481/stat : 13481 (java) S 13469 13472 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5364615 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154843927408 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13482] ppid=13469 vsize=13977988 memory=2214472 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13482/stat : 13482 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154842875728 140155366823835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13483] ppid=13469 vsize=13977988 memory=1152 CPUtime=0.16 cores=0,2,4,6
/proc/13472/task/13483/stat : 13483 (java) R 13469 13472 2357 0 -1 4202560 956 0 0 0 16 0 0 0 20 0 15 0 5364617 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154841810544 140155351230143 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13484] ppid=13469 vsize=13977988 memory=2372 CPUtime=0.12 cores=0,2,4,6
/proc/13472/task/13484/stat : 13484 (java) R 13469 13472 2357 0 -1 4202560 418 0 0 0 12 0 0 0 20 0 15 0 5364617 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154840771312 140155359790281 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13485] ppid=13469 vsize=13977988 memory=54220 CPUtime=0.26 cores=0,2,4,6
/proc/13472/task/13485/stat : 13485 (java) S 13469 13472 2357 0 -1 1077944384 903 0 0 0 26 0 0 0 20 0 15 0 5364617 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154839718512 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13486] ppid=13469 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13486/stat : 13486 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364618 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154838665952 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13487] ppid=13469 vsize=13977988 memory=3900 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13487/stat : 13487 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364623 14313459712 18056 18446744073709551615 4194304 4196468 140733094502976 140154837613232 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72224 KiB

[startup+1.20065 s]
/proc/loadavg: 1.53 1.43 1.39 4/209 13487
/proc/meminfo: memFree=29327312/32770624 swapFree=67108860/67108860
[pid=13472] ppid=13469 vsize=13982084 memory=142876 CPUtime=2.33 cores=0,2,4,6
/proc/13472/stat : 13472 (java) S 13469 13472 2357 0 -1 1077944320 22510 0 0 0 224 9 0 0 20 0 15 0 5364602 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140733094485520 140155366805239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
/proc/13472/statm: 3495521 35719 3755 1 0 3484295 0
[pid=13472/tid=13474] ppid=13469 vsize=13982084 memory=7453012516766508864 CPUtime=1.02 cores=0,2,4,6
/proc/13472/task/13474/stat : 13474 (java) R 13469 13472 2357 0 -1 4202560 14306 0 0 0 96 6 0 0 20 0 15 0 5364612 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140155371028736 140155366817174 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13475] ppid=13469 vsize=13982084 memory=7453012516766508864 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13475/stat : 13475 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140155323772048 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13476] ppid=13469 vsize=13982084 memory=5937836041253709927 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13476/stat : 13476 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364613 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140155322719248 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13477] ppid=13469 vsize=13982084 memory=7956564700142452836 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13477/stat : 13477 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140155321666448 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13478] ppid=13469 vsize=13982084 memory=7519151349382408024 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13478/stat : 13478 (java) S 13469 13472 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 5364613 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140155320613648 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13479] ppid=13469 vsize=13982084 memory=5787213827364966480 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13479/stat : 13479 (java) S 13469 13472 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 5364614 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154846034288 140155366816386 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13480] ppid=13469 vsize=13982084 memory=7649399384332055345 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13480/stat : 13480 (java) S 13469 13472 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 5364615 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154844980256 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13481] ppid=13469 vsize=13982084 memory=4294969504 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13481/stat : 13481 (java) S 13469 13472 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 5364615 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154843927408 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13482] ppid=13469 vsize=13982084 memory=59788 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13482/stat : 13482 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364617 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154842875728 140155366823835 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13483] ppid=13469 vsize=13982084 memory=115792318327118 CPUtime=0.41 cores=0,2,4,6
/proc/13472/task/13483/stat : 13483 (java) R 13469 13472 2357 0 -1 4202560 2709 0 0 0 40 1 0 0 20 0 15 0 5364617 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154841824112 140155348350498 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13484] ppid=13469 vsize=13982084 memory=27150 CPUtime=0.42 cores=0,2,4,6
/proc/13472/task/13484/stat : 13484 (java) S 13469 13472 2357 0 -1 1077944384 1886 0 0 0 42 0 0 0 20 0 15 0 5364617 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154840771312 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13485] ppid=13469 vsize=13982084 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/13472/task/13485/stat : 13485 (java) S 13469 13472 2357 0 -1 1077944384 2226 0 0 0 44 0 0 0 20 0 15 0 5364617 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154839718512 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13486] ppid=13469 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13486/stat : 13486 (java) S 13469 13472 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 5364618 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154838665952 140155366815445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
[pid=13472/tid=13487] ppid=13469 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13472/task/13487/stat : 13487 (java) S 13469 13472 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 5364623 14317654016 35719 18446744073709551615 4194304 4196468 140733094502976 140154837613232 140155366816386 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16719872 140733094506866 140733094507052 140733094507052 140733094510543 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 142876 KiB

Child status: 0
Real time (s): 1.27793
CPU time (s): 2.49537
CPU user time (s): 2.3928
CPU system time (s): 0.102563
CPU usage (%): 195.266
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 142876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.3928
system time used= 0.102563
maximum resident set size= 162200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2223
involuntary context switches= 7


# summary of solver processes directly reported to runsolver:
#   pid: 13472
#   total CPU time (s): 2.49537
#   total CPU user time (s): 2.3928
#   total CPU system time (s): 0.102563

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040849 second user time and 0.043913 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-15 07:57:39
IDJOB=4274210
IDBENCH=126671
IDSOLVER=2666
FILE ID=node129/4274210-1502777495
RUNJOBID= node129-1502746532-7259
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-2-4-cp.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274210-1502777495/watcher-4274210-1502777495 -o /tmp/evaluation-result-4274210-1502777495/solver-4274210-1502777495 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 261507038 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274210-1502777495.xml

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

MD5SUM BENCH= 612b3a9d83ebb0dde099fe85e279ef2b
RANDOM SEED=261507038

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29414860 kB
MemAvailable:   29824728 kB
Buffers:          123136 kB
Cached:           567548 kB
SwapCached:            0 kB
Active:          2587564 kB
Inactive:         357504 kB
Active(anon):    2254920 kB
Inactive(anon):     8552 kB
Active(file):     332644 kB
Inactive(file):   348952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42532 kB
Writeback:             4 kB
AnonPages:       2254632 kB
Mapped:            43920 kB
Shmem:              8868 kB
Slab:             112596 kB
SReclaimable:      88216 kB
SUnreclaim:        24380 kB
KernelStack:        3408 kB
PageTables:         9192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4060780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2152448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61932 MiB
End job on node129 at 2017-08-15 07:57:41