Trace number 3299416

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? (TO) 4800.35 1203.22

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x14.cnf
MD5SUMf76302f2442dfc7cabc2315e61e55fea
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1176
Number of clauses78498
Sum of the clauses size310464
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21764
Number of clauses of size 30
Number of clauses of size 476734
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...087811/instance-3299416-1304087811.cnf
1.69/1.71	c Solving...
4800.20/1203.11	
4800.20/1203.11	*** INTERRUPTED! ***
4800.20/1203.11	*** Shutting down threads...
4800.33/1203.21	s UNKNOWN
4800.33/1203.21	
4800.33/1203.21	c INTERRUPTED   : 1
4800.33/1203.21	c Models        : 0+    
4800.33/1203.21	c Time          : 1203.109s (Solving: 1201.39s 1st Model: 0.00s Unsat: 0.00s)
4800.33/1203.21	c CPU Time      : 4800.230s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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: 8.10 7.96 6.93 5/180 32113
/proc/meminfo: memFree=21688860/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=21672 CPUtime=0 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 700 0 0 0 0 0 0 0 25 0 1 0 520379945 22192128 621 33554432000 4194304 4964704 140735747349504 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 5418 621 385 189 0 292 0

[startup+0.047595 s]
/proc/loadavg: 8.10 7.96 6.93 5/180 32113
/proc/meminfo: memFree=21688860/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=27860 CPUtime=0.04 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 2535 0 0 0 4 0 0 0 25 0 1 0 520379945 28528640 2154 33554432000 4194304 4964704 140735747349504 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 6965 2154 398 189 0 1839 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27860

[startup+0.100584 s]
/proc/loadavg: 8.10 7.96 6.93 5/180 32113
/proc/meminfo: memFree=21688860/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=27860 CPUtime=0.09 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 2535 0 0 0 9 0 0 0 25 0 1 0 520379945 28528640 2154 33554432000 4194304 4964704 140735747349504 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 6965 2154 398 189 0 1839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27860

[startup+0.300549 s]
/proc/loadavg: 8.10 7.96 6.93 5/180 32113
/proc/meminfo: memFree=21688860/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=28124 CPUtime=0.29 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 2625 0 0 0 29 0 0 0 25 0 1 0 520379945 28798976 2244 33554432000 4194304 4964704 140735747349504 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 7031 2244 399 189 0 1905 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28124

[startup+0.700478 s]
/proc/loadavg: 8.10 7.96 6.93 5/180 32113
/proc/meminfo: memFree=21688860/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=31160 CPUtime=0.69 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 3380 0 0 0 69 0 0 0 25 0 1 0 520379945 31907840 2999 33554432000 4194304 4964704 140735747349504 18446744073709551615 4612269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 7790 2999 399 189 0 2664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31160

[startup+1.50034 s]
/proc/loadavg: 8.10 7.96 6.93 6/181 32114
/proc/meminfo: memFree=21676452/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=33932 CPUtime=1.49 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 4064 0 0 0 149 0 0 0 25 0 1 0 520379945 34746368 3683 33554432000 4194304 4964704 140735747349504 18446744073709551615 4607901 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 8483 3683 399 189 0 3357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33932

[startup+3.10105 s]
/proc/loadavg: 8.18 7.98 6.95 9/184 32117
/proc/meminfo: memFree=21644932/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=257820 CPUtime=7.2 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 17150 0 0 0 715 5 0 0 25 0 4 0 520379945 264007680 16591 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 64455 16591 458 189 0 58804 0
[pid=32113/tid=32115] ppid=32111 vsize=257820 CPUtime=1.36 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 3092 0 0 0 136 0 0 0 20 0 4 0 520380117 264007680 16591 33554432000 4194304 4964704 140735747349504 18446744073709551615 4653570 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=257820 CPUtime=1.37 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 4317 0 0 0 135 2 0 0 25 0 4 0 520380117 264007680 16593 33554432000 4194304 4964704 140735747349504 18446744073709551615 268272350241 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=257820 CPUtime=1.37 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 2797 0 0 0 136 1 0 0 20 0 4 0 520380117 264007680 16593 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 257820

[startup+6.30049 s]
/proc/loadavg: 8.18 7.98 6.95 9/184 32117
/proc/meminfo: memFree=21609684/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=260016 CPUtime=19.98 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 21503 0 0 0 1990 8 0 0 25 0 4 0 520379945 266256384 20944 33554432000 4194304 4964704 140735747349504 18446744073709551615 268272732343 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 65004 20945 460 189 0 59353 0
[pid=32113/tid=32115] ppid=32111 vsize=260016 CPUtime=4.57 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 3569 0 0 0 456 1 0 0 25 0 4 0 520380117 266256384 20945 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=260016 CPUtime=4.56 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 5708 0 0 0 454 2 0 0 25 0 4 0 520380117 266256384 20945 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=260016 CPUtime=4.55 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 3933 0 0 0 453 2 0 0 25 0 4 0 520380117 266256384 20945 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (KiB) 260016

[startup+12.7003 s]
/proc/loadavg: 8.15 7.98 6.96 9/184 32117
/proc/meminfo: memFree=21583908/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=268508 CPUtime=45.54 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 27201 0 0 0 4544 10 0 0 25 0 4 0 520379945 274952192 26642 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 67127 26642 460 189 0 61476 0
[pid=32113/tid=32115] ppid=32111 vsize=268508 CPUtime=10.97 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 4095 0 0 0 1096 1 0 0 25 0 4 0 520380117 274952192 26642 33554432000 4194304 4964704 140735747349504 18446744073709551615 4647533 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=268508 CPUtime=10.97 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 7662 0 0 0 1094 3 0 0 25 0 4 0 520380117 274952192 26642 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=268508 CPUtime=10.91 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 5001 0 0 0 1089 2 0 0 25 0 4 0 520380117 274952192 26642 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.54
Current children cumulated vsize (KiB) 268508

[startup+25.5011 s]
/proc/loadavg: 8.12 7.98 6.97 5/179 32118
/proc/meminfo: memFree=21979240/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=290584 CPUtime=96.67 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 44475 0 0 0 9647 20 0 0 25 0 4 0 520379945 297558016 43634 33554432000 4194304 4964704 140735747349504 18446744073709551615 4332080 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 72646 43634 460 189 0 66995 0
[pid=32113/tid=32115] ppid=32111 vsize=290584 CPUtime=23.76 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 9194 0 0 0 2372 4 0 0 25 0 4 0 520380117 297558016 43634 33554432000 4194304 4964704 140735747349504 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=290584 CPUtime=23.76 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 12240 0 0 0 2371 5 0 0 25 0 4 0 520380117 297558016 43634 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=290584 CPUtime=23.64 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 8724 0 0 0 2360 4 0 0 25 0 4 0 520380117 297558016 43634 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 96.67
Current children cumulated vsize (KiB) 290584

[startup+51.1005 s]
/proc/loadavg: 7.91 7.93 6.98 9/184 32209
/proc/meminfo: memFree=21731196/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=379448 CPUtime=198.93 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 63577 0 0 0 19860 33 0 0 25 0 4 0 520379945 388554752 62292 33554432000 4194304 4964704 140735747349504 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 94862 62292 460 189 0 89211 0
[pid=32113/tid=32115] ppid=32111 vsize=379448 CPUtime=49.36 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 17704 0 0 0 4927 9 0 0 25 0 4 0 520380117 388554752 62292 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=379448 CPUtime=49.37 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 15925 0 0 0 4929 8 0 0 25 0 4 0 520380117 388554752 62292 33554432000 4194304 4964704 140735747349504 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=379448 CPUtime=49.1 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 13949 0 0 0 4902 8 0 0 25 0 4 0 520380117 388554752 62292 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 198.93
Current children cumulated vsize (KiB) 379448

[startup+102.306 s]
/proc/loadavg: 7.96 7.94 7.03 9/184 32210
/proc/meminfo: memFree=21585584/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=394048 CPUtime=403.43 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 75094 0 0 0 40301 42 0 0 25 0 4 0 520379945 403505152 73809 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 98512 73809 460 189 0 92861 0
[pid=32113/tid=32115] ppid=32111 vsize=394048 CPUtime=100.54 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 23545 0 0 0 10040 14 0 0 25 0 4 0 520380117 403505152 73809 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=394048 CPUtime=100.56 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 18346 0 0 0 10047 9 0 0 25 0 4 0 520380117 403505152 73809 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=394048 CPUtime=100.02 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 14810 0 0 0 9994 8 0 0 25 0 4 0 520380117 403505152 73809 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320942 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 403.43
Current children cumulated vsize (KiB) 394048

[startup+162.301 s]
/proc/loadavg: 7.98 7.95 7.09 9/184 32212
/proc/meminfo: memFree=21485736/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=525120 CPUtime=643.07 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 87551 0 0 0 64254 53 0 0 25 0 4 0 520379945 537722880 86092 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 131280 86092 460 189 0 125629 0
[pid=32113/tid=32115] ppid=32111 vsize=525120 CPUtime=160.53 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 24227 0 0 0 16038 15 0 0 25 0 4 0 520380117 537722880 86092 33554432000 4194304 4964704 140735747349504 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=525120 CPUtime=160.56 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 25146 0 0 0 16041 15 0 0 25 0 4 0 520380117 537722880 86092 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=525120 CPUtime=159.7 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 19770 0 0 0 15957 13 0 0 25 0 4 0 520380117 537722880 86092 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 643.07
Current children cumulated vsize (KiB) 525120

[startup+222.301 s]
/proc/loadavg: 7.99 7.95 7.15 9/184 32214
/proc/meminfo: memFree=21390596/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=536276 CPUtime=882.72 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 96899 0 0 0 88208 64 0 0 25 0 4 0 520379945 549146624 95035 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 134069 95035 460 189 0 128418 0
[pid=32113/tid=32115] ppid=32111 vsize=536276 CPUtime=220.37 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 28570 0 0 0 22016 21 0 0 25 0 4 0 520380117 549146624 95035 33554432000 4194304 4964704 140735747349504 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=536276 CPUtime=220.56 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 26881 0 0 0 22040 16 0 0 25 0 4 0 520380117 549146624 95035 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=536276 CPUtime=219.51 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 19845 0 0 0 21938 13 0 0 25 0 4 0 520380117 549146624 95035 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 882.72
Current children cumulated vsize (KiB) 536276

[startup+282.3 s]
/proc/loadavg: 8.04 7.97 7.20 9/184 32215
/proc/meminfo: memFree=21302764/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=567380 CPUtime=1122.37 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 112447 0 0 0 112162 75 0 0 25 0 4 0 520379945 580997120 110450 33554432000 4194304 4964704 140735747349504 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 141845 110450 460 189 0 136194 0
[pid=32113/tid=32115] ppid=32111 vsize=567380 CPUtime=280.04 cores=0,2,4,6

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

Current children cumulated CPU time (s) 2560.3
Current children cumulated vsize (KiB) 698452

[startup+702.301 s]
/proc/loadavg: 8.01 8.02 7.49 9/184 32226
/proc/meminfo: memFree=21100852/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=715420 CPUtime=2799.94 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 141057 0 0 0 279882 112 0 0 25 0 4 0 520379945 732590080 138010 33554432000 4194304 4964704 140735747349504 18446744073709551615 4627170 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 178855 138010 460 189 0 173204 0
[pid=32113/tid=32115] ppid=32111 vsize=715420 CPUtime=697.66 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33144 0 0 0 69738 28 0 0 25 0 4 0 520380117 732590080 138010 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=715420 CPUtime=700.56 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 38435 0 0 0 70027 29 0 0 25 0 4 0 520380117 732590080 138010 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=715420 CPUtime=699.5 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 35698 0 0 0 69922 28 0 0 25 0 4 0 520380117 732590080 138010 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.94
Current children cumulated vsize (KiB) 715420

[startup+762.307 s]
/proc/loadavg: 8.06 8.03 7.53 9/184 32228
/proc/meminfo: memFree=21033716/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=750596 CPUtime=3039.58 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 152222 0 0 0 303839 119 0 0 25 0 4 0 520379945 768610304 149175 33554432000 4194304 4964704 140735747349504 18446744073709551615 4660083 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 187649 149175 460 189 0 181998 0
[pid=32113/tid=32115] ppid=32111 vsize=750596 CPUtime=757.52 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33376 0 0 0 75724 28 0 0 25 0 4 0 520380117 768610304 149175 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=750596 CPUtime=760.35 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 38445 0 0 0 76006 29 0 0 25 0 4 0 520380117 768610304 149175 33554432000 4194304 4964704 140735747349504 18446744073709551615 4653159 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=750596 CPUtime=759.49 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46544 0 0 0 75915 34 0 0 25 0 4 0 520380117 768610304 149175 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.58
Current children cumulated vsize (KiB) 750596

[startup+822.3 s]
/proc/loadavg: 8.15 8.06 7.56 9/184 32230
/proc/meminfo: memFree=21009136/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=750596 CPUtime=3279.19 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 152527 0 0 0 327798 121 0 0 25 0 4 0 520379945 768610304 149342 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 187649 149342 460 189 0 181998 0
[pid=32113/tid=32115] ppid=32111 vsize=750596 CPUtime=817.49 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33546 0 0 0 81720 29 0 0 25 0 4 0 520380117 768610304 149342 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=750596 CPUtime=820.02 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 38450 0 0 0 81972 30 0 0 25 0 4 0 520380117 768610304 149342 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=750596 CPUtime=819.48 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46674 0 0 0 81914 34 0 0 25 0 4 0 520380117 768610304 149342 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.19
Current children cumulated vsize (KiB) 750596

[startup+882.301 s]
/proc/loadavg: 8.11 8.06 7.60 9/184 32231
/proc/meminfo: memFree=20992728/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=3518.83 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 155736 0 0 0 351758 125 0 0 25 0 4 0 520379945 835719168 152551 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 152551 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=877.46 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33547 0 0 0 87717 29 0 0 25 0 4 0 520380117 835719168 152551 33554432000 4194304 4964704 140735747349504 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=879.69 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 41645 0 0 0 87936 33 0 0 25 0 4 0 520380117 835719168 152551 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=879.48 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46687 0 0 0 87914 34 0 0 25 0 4 0 520380117 835719168 152551 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.83
Current children cumulated vsize (KiB) 816132

[startup+942.301 s]
/proc/loadavg: 8.10 8.06 7.62 9/184 32233
/proc/meminfo: memFree=20977432/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=3758.48 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 155919 0 0 0 375722 126 0 0 25 0 4 0 520379945 835719168 152587 33554432000 4194304 4964704 140735747349504 18446744073709551615 4342149 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 152587 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=937.45 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33717 0 0 0 93715 30 0 0 25 0 4 0 520380117 835719168 152587 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=939.37 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 41648 0 0 0 93904 33 0 0 25 0 4 0 520380117 835719168 152587 33554432000 4194304 4964704 140735747349504 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=939.49 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46697 0 0 0 93914 35 0 0 25 0 4 0 520380117 835719168 152587 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.48
Current children cumulated vsize (KiB) 816132

[startup+1002.3 s]
/proc/loadavg: 8.09 8.06 7.65 9/184 32234
/proc/meminfo: memFree=20950104/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=3998.14 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 155936 0 0 0 399687 127 0 0 25 0 4 0 520379945 835719168 152602 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 152602 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=997.45 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33721 0 0 0 99715 30 0 0 25 0 4 0 520380117 835719168 152602 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=999.04 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 41651 0 0 0 99871 33 0 0 25 0 4 0 520380117 835719168 152602 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670286 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=999.49 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46706 0 0 0 99913 36 0 0 25 0 4 0 520380117 835719168 152602 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.14
Current children cumulated vsize (KiB) 816132

[startup+1062.3 s]
/proc/loadavg: 8.08 8.06 7.67 9/184 32236
/proc/meminfo: memFree=20885196/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=4237.8 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 167036 0 0 0 423637 143 0 0 25 0 4 0 520379945 835719168 163702 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 163702 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=1057.43 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33722 0 0 0 105713 30 0 0 25 0 4 0 520380117 835719168 163702 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=1058.71 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 52748 0 0 0 105823 48 0 0 25 0 4 0 520380117 835719168 163702 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=1059.48 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46708 0 0 0 105912 36 0 0 25 0 4 0 520380117 835719168 163702 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.8
Current children cumulated vsize (KiB) 816132

[startup+1122.3 s]
/proc/loadavg: 8.07 8.06 7.70 9/184 32238
/proc/meminfo: memFree=20881560/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=4477.46 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 167043 0 0 0 447602 144 0 0 25 0 4 0 520379945 835719168 163519 33554432000 4194304 4964704 140735747349504 18446744073709551615 4346000 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 163519 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=1117.42 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33722 0 0 0 111712 30 0 0 25 0 4 0 520380117 835719168 163519 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=1118.38 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 52750 0 0 0 111790 48 0 0 25 0 4 0 520380117 835719168 163519 33554432000 4194304 4964704 140735747349504 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=1119.48 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46713 0 0 0 111912 36 0 0 25 0 4 0 520380117 835719168 163519 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.46
Current children cumulated vsize (KiB) 816132

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 7.72 9/184 32239
/proc/meminfo: memFree=20872964/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=4717.11 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 167052 0 0 0 471567 144 0 0 25 0 4 0 520379945 835719168 163528 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 163528 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=1177.4 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33726 0 0 0 117710 30 0 0 25 0 4 0 520380117 835719168 163528 33554432000 4194304 4964704 140735747349504 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=1178.06 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 52754 0 0 0 117758 48 0 0 25 0 4 0 520380117 835719168 163528 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=1179.48 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46714 0 0 0 117912 36 0 0 25 0 4 0 520380117 835719168 163528 33554432000 4194304 4964704 140735747349504 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.11
Current children cumulated vsize (KiB) 816132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.12 8.07 7.73 9/184 32240
/proc/meminfo: memFree=20873060/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=816132 CPUtime=4800.2 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 167054 0 0 0 479876 144 0 0 25 0 4 0 520379945 835719168 163530 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670416 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/32113/statm: 204033 163530 460 189 0 198382 0
[pid=32113/tid=32115] ppid=32111 vsize=816132 CPUtime=1198.21 cores=0,2,4,6
/proc/32113/task/32115/stat : 32115 (claspmt) R 32111 32113 31979 0 -1 4202560 33726 0 0 0 119791 30 0 0 25 0 4 0 520380117 835719168 163530 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=32113/tid=32116] ppid=32111 vsize=816132 CPUtime=1198.75 cores=0,2,4,6
/proc/32113/task/32116/stat : 32116 (claspmt) R 32111 32113 31979 0 -1 4202560 52756 0 0 0 119827 48 0 0 25 0 4 0 520380117 835719168 163530 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32113/tid=32117] ppid=32111 vsize=816132 CPUtime=1200.28 cores=0,2,4,6
/proc/32113/task/32117/stat : 32117 (claspmt) R 32111 32113 31979 0 -1 4202560 46714 0 0 0 119992 36 0 0 25 0 4 0 520380117 835719168 163530 33554432000 4194304 4964704 140735747349504 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 816132

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1203.21 s]
/proc/loadavg: 8.12 8.07 7.73 9/184 32240
/proc/meminfo: memFree=20873060/32950928 swapFree=67111524/67111528
[pid=32113] ppid=32111 vsize=255696 CPUtime=4800.33 cores=0,2,4,6
/proc/32113/stat : 32113 (claspmt) R 32111 32113 31979 0 -1 4202496 167065 0 0 0 479886 147 0 0 25 0 1 0 520379945 261832704 28245 33554432000 4194304 4964704 140735747349504 18446744073709551615 268272732519 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/32113/statm: 63924 27742 471 189 0 58273 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 255696

Child status: 0
Real time (s): 1203.22
CPU time (s): 4800.35
CPU user time (s): 4798.87
CPU system time (s): 1.47878
CPU usage (%): 398.959
Max. virtual memory (cumulated for all children) (KiB): 816132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.87
system time used= 1.47877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167066
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= 31334
involuntary context switches= 34594

runsolver used 1.9437 second user time and 4.6253 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 16:36:52
IDJOB=3299416
IDBENCH=83167
IDSOLVER=1683
FILE ID=node122/3299416-1304087811
RUNJOBID= node122-1304086607-31997
PBS_JOBID= 13170549
Free space on /tmp= 71660 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x14.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-3299416-1304087811/watcher-3299416-1304087811 -o /tmp/evaluation-result-3299416-1304087811/solver-3299416-1304087811 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299416-1304087811.cnf

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

MD5SUM BENCH= f76302f2442dfc7cabc2315e61e55fea
RANDOM SEED=79794751

node122.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.820
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.64
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.820
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	: 5332.75
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.820
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.75
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.820
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.820
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.820
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.75
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21689148 kB
Buffers:       1628784 kB
Cached:        8554280 kB
SwapCached:          4 kB
Active:        1553116 kB
Inactive:      9159216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21689148 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2728 kB
Writeback:           0 kB
AnonPages:      529036 kB
Mapped:          15872 kB
Slab:           485880 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   695824 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= 71660 MiB
End job on node122 at 2011-04-29 16:56:57