Trace number 3373483

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
claspmt 2.0-R4095-patched (fixed)UNSAT 3060.88 767.699

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.8988
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...422280/instance-3373483-1305422280.cnf
0.08/0.16	c Solving...
3060.57/767.69	s UNSATISFIABLE
3060.57/767.69	
3060.57/767.69	c Models        : 0     
3060.57/767.69	c Time          : 767.657s (Solving: 767.50s 1st Model: 0.00s Unsat: 767.50s)
3060.57/767.69	c CPU Time      : 3060.840s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3373483-1305422280/watcher-3373483-1305422280 -o /tmp/evaluation-result-3373483-1305422280/solver-3373483-1305422280 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373483-1305422280.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 1.02 1.39 2/329 21941
/proc/meminfo: memFree=23392540/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=20924 CPUtime=0 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) D 21939 21941 21012 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 634643589 21426176 298 33554432000 4194304 4964800 140735308967616 18446744073709551615 270333460103 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21941/statm: 5231 298 252 189 0 92 0

[startup+0.069361 s]
/proc/loadavg: 0.85 1.02 1.39 2/329 21941
/proc/meminfo: memFree=23392540/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=31684 CPUtime=0.05 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 3735 0 0 0 5 0 0 0 18 0 1 0 634643589 32444416 3023 33554432000 4194304 4964800 140735308967616 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21941/statm: 7921 3023 403 189 0 2795 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31684

[startup+0.100343 s]
/proc/loadavg: 0.85 1.02 1.39 2/329 21941
/proc/meminfo: memFree=23392540/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=32740 CPUtime=0.08 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 4014 0 0 0 8 0 0 0 18 0 1 0 634643589 33525760 3302 33554432000 4194304 4964800 140735308967616 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21941/statm: 8185 3302 403 189 0 3059 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32740

[startup+0.300269 s]
/proc/loadavg: 0.85 1.02 1.39 2/329 21941
/proc/meminfo: memFree=23392540/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=184324 CPUtime=0.61 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 6889 0 0 0 60 1 0 0 19 0 4 0 634643589 188747776 5384 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670155 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 46081 5384 458 189 0 40430 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 184324

[startup+0.700188 s]
/proc/loadavg: 0.85 1.02 1.39 2/329 21941
/proc/meminfo: memFree=23392540/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=185644 CPUtime=2.2 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 7953 0 0 0 219 1 0 0 20 0 4 0 634643589 190099456 6448 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668924 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 46411 6448 458 189 0 40760 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 185644

[startup+1.50103 s]
/proc/loadavg: 0.85 1.02 1.39 10/337 21949
/proc/meminfo: memFree=23340196/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=186988 CPUtime=5.39 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 9332 0 0 0 538 1 0 0 22 0 4 0 634643589 191475712 7827 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 46747 7827 458 189 0 41096 0
[pid=21941/tid=21947] ppid=21939 vsize=186988 CPUtime=1.32 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 991 0 0 0 132 0 0 0 19 0 4 0 634643606 191475712 7827 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=186988 CPUtime=1.29 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 1804 0 0 0 129 0 0 0 19 0 4 0 634643606 191475712 7827 33554432000 4194304 4964800 140735308967616 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=186988 CPUtime=1.3 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 1588 0 0 0 130 0 0 0 19 0 4 0 634643606 191475712 7827 33554432000 4194304 4964800 140735308967616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 186988

[startup+3.10071 s]
/proc/loadavg: 0.85 1.02 1.39 10/337 21949
/proc/meminfo: memFree=23328788/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=188380 CPUtime=11.78 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 10390 0 0 0 1176 2 0 0 25 0 4 0 634643589 192901120 8885 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668817 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 47095 8885 458 189 0 41444 0
[pid=21941/tid=21947] ppid=21939 vsize=188380 CPUtime=2.92 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 1223 0 0 0 292 0 0 0 24 0 4 0 634643606 192901120 8885 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=188380 CPUtime=2.89 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 2247 0 0 0 289 0 0 0 24 0 4 0 634643606 192901120 8885 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=188380 CPUtime=2.9 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 1799 0 0 0 290 0 0 0 24 0 4 0 634643606 192901120 8885 33554432000 4194304 4964800 140735308967616 18446744073709551615 4658618 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 188380

[startup+6.30108 s]
/proc/loadavg: 1.42 1.14 1.42 10/337 21949
/proc/meminfo: memFree=23312392/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=192044 CPUtime=24.54 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 12990 0 0 0 2451 3 0 0 25 0 4 0 634643589 196653056 11485 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320872 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 48011 11485 460 189 0 42360 0
[pid=21941/tid=21947] ppid=21939 vsize=192044 CPUtime=6.11 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 1755 0 0 0 611 0 0 0 25 0 4 0 634643606 196653056 11485 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=192044 CPUtime=6.09 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 3246 0 0 0 609 0 0 0 25 0 4 0 634643606 196653056 11485 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=192044 CPUtime=6.09 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 2421 0 0 0 609 0 0 0 25 0 4 0 634643606 196653056 11485 33554432000 4194304 4964800 140735308967616 18446744073709551615 4653316 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (KiB) 192044

[startup+12.7008 s]
/proc/loadavg: 1.95 1.25 1.46 10/337 21949
/proc/meminfo: memFree=23286852/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=197268 CPUtime=50.07 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 16014 0 0 0 5002 5 0 0 25 0 4 0 634643589 202002432 14509 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668773 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 49317 14509 460 189 0 43666 0
[pid=21941/tid=21947] ppid=21939 vsize=197268 CPUtime=12.51 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 2287 0 0 0 1251 0 0 0 25 0 4 0 634643606 202002432 14509 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=197268 CPUtime=12.49 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 4500 0 0 0 1248 1 0 0 25 0 4 0 634643606 202002432 14509 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=197268 CPUtime=12.5 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 2960 0 0 0 1249 1 0 0 25 0 4 0 634643606 202002432 14509 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 197268

[startup+25.5003 s]
/proc/loadavg: 3.29 1.58 1.56 9/337 21980
/proc/meminfo: memFree=23256644/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=202308 CPUtime=101.13 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 19657 0 0 0 10105 8 0 0 25 0 4 0 634643589 207163392 18152 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 50577 18152 460 189 0 44926 0
[pid=21941/tid=21947] ppid=21939 vsize=202308 CPUtime=25.31 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 3135 0 0 0 2530 1 0 0 25 0 4 0 634643606 207163392 18152 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=202308 CPUtime=25.29 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 5929 0 0 0 2527 2 0 0 25 0 4 0 634643606 207163392 18152 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320942 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=202308 CPUtime=25.29 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 3524 0 0 0 2528 1 0 0 25 0 4 0 634643606 207163392 18152 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 202308

[startup+51.1012 s]
/proc/loadavg: 4.89 2.09 1.73 9/337 21980
/proc/meminfo: memFree=23144920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=211376 CPUtime=203.25 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 27491 0 0 0 20312 13 0 0 25 0 4 0 634643589 216449024 25986 33554432000 4194304 4964800 140735308967616 18446744073709551615 4653186 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 52844 25986 460 189 0 47193 0
[pid=21941/tid=21947] ppid=21939 vsize=211376 CPUtime=50.91 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 4860 0 0 0 5089 2 0 0 25 0 4 0 634643606 216449024 25986 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=211376 CPUtime=50.9 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 8900 0 0 0 5086 4 0 0 25 0 4 0 634643606 216449024 25986 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=211376 CPUtime=50.9 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 5275 0 0 0 5088 2 0 0 25 0 4 0 634643606 216449024 25986 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.25
Current children cumulated vsize (KiB) 211376

[startup+102.313 s]
/proc/loadavg: 6.75 3.03 2.07 9/337 21982
/proc/meminfo: memFree=23035520/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=217240 CPUtime=407.53 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 33667 0 0 0 40733 20 0 0 25 0 4 0 634643589 222453760 32115 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 54310 32115 460 189 0 48659 0
[pid=21941/tid=21947] ppid=21939 vsize=217240 CPUtime=102.12 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 6096 0 0 0 10209 3 0 0 25 0 4 0 634643606 222453760 32115 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=217240 CPUtime=102.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 11363 0 0 0 10204 6 0 0 25 0 4 0 634643606 222453760 32115 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=217240 CPUtime=102.11 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 6554 0 0 0 10207 4 0 0 25 0 4 0 634643606 222453760 32115 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.53
Current children cumulated vsize (KiB) 217240

[startup+162.301 s]
/proc/loadavg: 7.60 3.95 2.44 9/337 21983
/proc/meminfo: memFree=22958484/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=235028 CPUtime=646.83 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 41373 0 0 0 64656 27 0 0 25 0 4 0 634643589 240668672 39711 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669055 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 58757 39711 460 189 0 53106 0
[pid=21941/tid=21947] ppid=21939 vsize=235028 CPUtime=162.1 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 7783 0 0 0 16206 4 0 0 25 0 4 0 634643606 240668672 39711 33554432000 4194304 4964800 140735308967616 18446744073709551615 4342180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=235028 CPUtime=162.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 14092 0 0 0 16202 8 0 0 25 0 4 0 634643606 240668672 39711 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=235028 CPUtime=162.1 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 7753 0 0 0 16204 6 0 0 25 0 4 0 634643606 240668672 39711 33554432000 4194304 4964800 140735308967616 18446744073709551615 4660118 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 646.83
Current children cumulated vsize (KiB) 235028

[startup+222.301 s]
/proc/loadavg: 7.95 4.71 2.80 9/337 21985
/proc/meminfo: memFree=22894236/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=237020 CPUtime=886.17 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 44285 0 0 0 88586 31 0 0 25 0 4 0 634643589 242708480 42460 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668689 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 59255 42460 460 189 0 53604 0
[pid=21941/tid=21947] ppid=21939 vsize=237020 CPUtime=222.09 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 8391 0 0 0 22204 5 0 0 25 0 4 0 634643606 242708480 42460 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=237020 CPUtime=222.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 15080 0 0 0 22202 8 0 0 25 0 4 0 634643606 242708480 42460 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=237020 CPUtime=222.1 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 7991 0 0 0 22203 7 0 0 25 0 4 0 634643606 242708480 42460 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.17
Current children cumulated vsize (KiB) 237020

[startup+282.3 s]

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

/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 8359 0 0 0 40202 7 0 0 25 0 4 0 634643606 251047936 46793 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1604.19
Current children cumulated vsize (KiB) 245164

[startup+462.301 s]
/proc/loadavg: 8.38 6.65 4.02 9/337 21994
/proc/meminfo: memFree=22797736/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=245960 CPUtime=1842.71 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 49982 0 0 0 184235 36 0 0 25 0 4 0 634643589 251863040 47731 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 61490 47731 460 189 0 55839 0
[pid=21941/tid=21947] ppid=21939 vsize=245960 CPUtime=461.66 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 9666 0 0 0 46159 7 0 0 25 0 4 0 634643606 251863040 47731 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=245960 CPUtime=462.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 17963 0 0 0 46200 10 0 0 25 0 4 0 634643606 251863040 47731 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=245960 CPUtime=461.71 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 8439 0 0 0 46164 7 0 0 25 0 4 0 634643606 251863040 47731 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669187 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1842.71
Current children cumulated vsize (KiB) 245960

[startup+522.301 s]
/proc/loadavg: 8.24 6.92 4.27 9/337 21996
/proc/meminfo: memFree=22773224/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=248756 CPUtime=2082.06 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 52164 0 0 0 208168 38 0 0 25 0 4 0 634643589 254726144 49779 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 62189 49779 460 189 0 56538 0
[pid=21941/tid=21947] ppid=21939 vsize=248756 CPUtime=521.65 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 10111 0 0 0 52158 7 0 0 25 0 4 0 634643606 254726144 49779 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=248756 CPUtime=522.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 19190 0 0 0 52199 11 0 0 25 0 4 0 634643606 254726144 49779 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=248756 CPUtime=521.72 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 8680 0 0 0 52164 8 0 0 25 0 4 0 634643606 254726144 49779 33554432000 4194304 4964800 140735308967616 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 248756

[startup+582.301 s]
/proc/loadavg: 8.24 7.16 4.52 10/337 21997
/proc/meminfo: memFree=22753492/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=314612 CPUtime=2321.39 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 53975 0 0 0 232099 40 0 0 25 0 4 0 634643589 322162688 51555 33554432000 4194304 4964800 140735308967616 18446744073709551615 4342174 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 78653 51555 460 189 0 73002 0
[pid=21941/tid=21947] ppid=21939 vsize=314612 CPUtime=581.64 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 10254 0 0 0 58157 7 0 0 25 0 4 0 634643606 322162688 51555 33554432000 4194304 4964800 140735308967616 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=314612 CPUtime=582.1 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 20742 0 0 0 58198 12 0 0 25 0 4 0 634643606 322162688 51555 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=314612 CPUtime=581.71 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 8753 0 0 0 58163 8 0 0 25 0 4 0 634643606 322162688 51555 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2321.39
Current children cumulated vsize (KiB) 314612

[startup+642.301 s]
/proc/loadavg: 8.18 7.34 4.75 9/337 21999
/proc/meminfo: memFree=22745660/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=316544 CPUtime=2560.76 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 55244 0 0 0 256035 41 0 0 25 0 4 0 634643589 324141056 52698 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 79136 52698 460 189 0 73485 0
[pid=21941/tid=21947] ppid=21939 vsize=316544 CPUtime=641.64 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 10653 0 0 0 64157 7 0 0 25 0 4 0 634643606 324141056 52698 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=316544 CPUtime=642.12 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 21121 0 0 0 64199 13 0 0 25 0 4 0 634643606 324141056 52698 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=316544 CPUtime=641.72 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 8995 0 0 0 64164 8 0 0 25 0 4 0 634643606 324141056 52698 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670304 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2560.76
Current children cumulated vsize (KiB) 316544

[startup+702.301 s]
/proc/loadavg: 8.23 7.50 4.96 9/337 22001
/proc/meminfo: memFree=22724928/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=317372 CPUtime=2800.08 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 56589 0 0 0 279965 43 0 0 25 0 4 0 634643589 324988928 53850 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 79343 53850 460 189 0 73692 0
[pid=21941/tid=21947] ppid=21939 vsize=317372 CPUtime=701.64 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 10782 0 0 0 70156 8 0 0 25 0 4 0 634643606 324988928 53850 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=317372 CPUtime=702.11 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 21853 0 0 0 70197 14 0 0 25 0 4 0 634643606 324988928 53850 33554432000 4194304 4964800 140735308967616 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=317372 CPUtime=701.7 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9215 0 0 0 70162 8 0 0 25 0 4 0 634643606 324988928 53850 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.08
Current children cumulated vsize (KiB) 317372

[startup+762.313 s]
/proc/loadavg: 8.14 7.61 5.15 10/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=384736 CPUtime=3039.48 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57467 0 0 0 303904 44 0 0 25 0 4 0 634643589 393969664 54680 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670371 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 96184 54680 460 189 0 90533 0
[pid=21941/tid=21947] ppid=21939 vsize=384736 CPUtime=761.65 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11010 0 0 0 76157 8 0 0 25 0 4 0 634643606 393969664 54680 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=384736 CPUtime=762.12 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22363 0 0 0 76198 14 0 0 25 0 4 0 634643606 393969664 54680 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=384736 CPUtime=761.72 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9341 0 0 0 76163 9 0 0 25 0 4 0 634643606 393969664 54680 33554432000 4194304 4964800 140735308967616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3039.48
Current children cumulated vsize (KiB) 384736

Solver just ended. Dumping a history of the last processes samples

[startup+764.701 s]
/proc/loadavg: 8.13 7.61 5.17 9/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=384736 CPUtime=3049 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57468 0 0 0 304856 44 0 0 25 0 4 0 634643589 393969664 54681 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 96184 54681 460 189 0 90533 0
[pid=21941/tid=21947] ppid=21939 vsize=384736 CPUtime=764.03 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11010 0 0 0 76395 8 0 0 25 0 4 0 634643606 393969664 54681 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=384736 CPUtime=764.51 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22364 0 0 0 76437 14 0 0 25 0 4 0 634643606 393969664 54681 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=384736 CPUtime=764.11 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9341 0 0 0 76402 9 0 0 25 0 4 0 634643606 393969664 54681 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3049
Current children cumulated vsize (KiB) 384736

[startup+766.3 s]
/proc/loadavg: 8.13 7.61 5.17 9/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=384924 CPUtime=3055.39 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57509 0 0 0 305495 44 0 0 25 0 4 0 634643589 394162176 54722 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670351 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 96231 54722 460 189 0 90580 0
[pid=21941/tid=21947] ppid=21939 vsize=384924 CPUtime=765.63 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11049 0 0 0 76555 8 0 0 25 0 4 0 634643606 394162176 54722 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=384924 CPUtime=766.11 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22364 0 0 0 76597 14 0 0 25 0 4 0 634643606 394162176 54722 33554432000 4194304 4964800 140735308967616 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=384924 CPUtime=765.71 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9343 0 0 0 76562 9 0 0 25 0 4 0 634643606 394162176 54722 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3055.39
Current children cumulated vsize (KiB) 384924

[startup+767.101 s]
/proc/loadavg: 8.13 7.61 5.17 9/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=385208 CPUtime=3058.58 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57567 0 0 0 305814 44 0 0 25 0 4 0 634643589 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 96302 54780 460 189 0 90651 0
[pid=21941/tid=21947] ppid=21939 vsize=385208 CPUtime=766.43 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11107 0 0 0 76635 8 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=385208 CPUtime=766.91 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22364 0 0 0 76677 14 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=385208 CPUtime=766.51 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9343 0 0 0 76642 9 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3058.58
Current children cumulated vsize (KiB) 385208

[startup+767.501 s]
/proc/loadavg: 8.13 7.61 5.17 9/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=385208 CPUtime=3060.17 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57567 0 0 0 305973 44 0 0 25 0 4 0 634643589 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 96302 54780 460 189 0 90651 0
[pid=21941/tid=21947] ppid=21939 vsize=385208 CPUtime=766.83 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11107 0 0 0 76675 8 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=385208 CPUtime=767.31 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22364 0 0 0 76717 14 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=385208 CPUtime=766.91 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9343 0 0 0 76682 9 0 0 25 0 4 0 634643606 394452992 54780 33554432000 4194304 4964800 140735308967616 18446744073709551615 4660557 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3060.17
Current children cumulated vsize (KiB) 385208

[startup+767.601 s]
/proc/loadavg: 8.13 7.61 5.17 9/337 22002
/proc/meminfo: memFree=22689920/32951124 swapFree=59367104/67111528
[pid=21941] ppid=21939 vsize=319672 CPUtime=3060.57 cores=1,3,5,7
/proc/21941/stat : 21941 (claspmt) R 21939 21941 21012 0 -1 4202496 57567 0 0 0 306013 44 0 0 25 0 4 0 634643589 327344128 54559 33554432000 4194304 4964800 140735308967616 18446744073709551615 4660384 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/21941/statm: 79918 54559 460 189 0 74267 0
[pid=21941/tid=21947] ppid=21939 vsize=319672 CPUtime=766.93 cores=1,3,5,7
/proc/21941/task/21947/stat : 21947 (claspmt) R 21939 21941 21012 0 -1 4202560 11107 0 0 0 76685 8 0 0 25 0 4 0 634643606 327344128 54559 33554432000 4194304 4964800 140735308967616 18446744073709551615 4644906 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21941/tid=21948] ppid=21939 vsize=319672 CPUtime=767.41 cores=1,3,5,7
/proc/21941/task/21948/stat : 21948 (claspmt) R 21939 21941 21012 0 -1 4202560 22364 0 0 0 76727 14 0 0 25 0 4 0 634643606 327344128 54559 33554432000 4194304 4964800 140735308967616 18446744073709551615 4668814 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21941/tid=21949] ppid=21939 vsize=319672 CPUtime=767.01 cores=1,3,5,7
/proc/21941/task/21949/stat : 21949 (claspmt) R 21939 21941 21012 0 -1 4202560 9343 0 0 0 76692 9 0 0 25 0 4 0 634643606 327344128 54559 33554432000 4194304 4964800 140735308967616 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3060.57
Current children cumulated vsize (KiB) 319672

Child status: 20
Real time (s): 767.699
CPU time (s): 3060.88
CPU user time (s): 3060.4
CPU system time (s): 0.476927
CPU usage (%): 398.708
Max. virtual memory (cumulated for all children) (KiB): 385208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3060.4
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9377
involuntary context switches= 22496

runsolver used 2.29265 second user time and 6.07208 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-15 03:18:00
IDJOB=3373483
IDBENCH=83117
IDSOLVER=1853
FILE ID=node143/3373483-1305422280
RUNJOBID= node143-1305422279-21923
PBS_JOBID= 13324518
Free space on /tmp= 73416 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3373483-1305422280/watcher-3373483-1305422280 -o /tmp/evaluation-result-3373483-1305422280/solver-3373483-1305422280 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373483-1305422280.cnf

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=1710400995

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23393176 kB
Buffers:        157332 kB
Cached:         656904 kB
SwapCached:      67368 kB
Active:          86820 kB
Inactive:      9248184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23393176 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     8453248 kB
Mapped:          22212 kB
Slab:           105080 kB
PageTables:      53432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69957392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73412 MiB
End job on node143 at 2011-05-15 03:30:47