Trace number 3299946

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.3 1203.09

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top26.cnf
MD5SUM7ecd2f8efd83504268f0a96fa44f6fe7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark585.803
Satisfiable
(Un)Satisfiability was proved
Number of variables76943
Number of clauses245006
Sum of the clauses size599044
Maximum clause length2921
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2148643
Number of clauses of size 394790
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 51198

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...080442/instance-3299946-1304080442.cnf
1.49/1.56	c Solving...
4800.08/1202.91	
4800.08/1202.91	*** INTERRUPTED! ***
4800.08/1202.91	*** Shutting down threads...
4800.21/1203.09	s UNKNOWN
4800.21/1203.09	
4800.21/1203.09	c INTERRUPTED   : 1
4800.21/1203.09	c Models        : 0+    
4800.21/1203.09	c Time          : 1202.910s (Solving: 1201.35s 1st Model: 0.00s Unsat: 0.00s)
4800.21/1203.09	c CPU Time      : 4800.110s

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-3299946-1304080442/watcher-3299946-1304080442 -o /tmp/evaluation-result-3299946-1304080442/solver-3299946-1304080442 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299946-1304080442.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: 8.00 7.65 7.28 5/180 2030
/proc/meminfo: memFree=30472620/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=30632 CPUtime=0 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 544 0 0 0 0 0 0 0 21 0 1 0 252235451 31367168 474 33554432000 4194304 4964704 140733462988544 18446744073709551615 4686261 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 7658 475 374 189 0 2532 0

[startup+0.102749 s]
/proc/loadavg: 8.00 7.65 7.28 5/180 2030
/proc/meminfo: memFree=30472620/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=53288 CPUtime=0.1 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 10811 0 0 0 9 1 0 0 21 0 1 0 252235451 54566912 8239 33554432000 4194304 4964704 140733462988544 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 13322 8239 398 189 0 8196 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 53288

[startup+0.200728 s]
/proc/loadavg: 8.00 7.65 7.28 5/180 2030
/proc/meminfo: memFree=30472620/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=60272 CPUtime=0.19 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 12461 0 0 0 18 1 0 0 22 0 1 0 252235451 61718528 9889 33554432000 4194304 4964704 140733462988544 18446744073709551615 268660323013 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 15068 9890 403 189 0 9942 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60272

[startup+0.300712 s]
/proc/loadavg: 8.00 7.65 7.28 5/180 2030
/proc/meminfo: memFree=30472620/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=67820 CPUtime=0.29 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 14343 0 0 0 28 1 0 0 22 0 1 0 252235451 69447680 11771 33554432000 4194304 4964704 140733462988544 18446744073709551615 4615428 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 16955 11771 403 189 0 11829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67820

[startup+0.700641 s]
/proc/loadavg: 8.00 7.65 7.28 5/180 2030
/proc/meminfo: memFree=30472620/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=73760 CPUtime=0.69 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 15849 0 0 0 68 1 0 0 23 0 1 0 252235451 75530240 13277 33554432000 4194304 4964704 140733462988544 18446744073709551615 4621728 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 18440 13277 403 189 0 13314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73760

[startup+1.50051 s]
/proc/loadavg: 7.76 7.60 7.27 6/181 2031
/proc/meminfo: memFree=30419912/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=73896 CPUtime=1.49 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 15856 0 0 0 148 1 0 0 25 0 1 0 252235451 75669504 13284 33554432000 4194304 4964704 140733462988544 18446744073709551615 4607761 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 18474 13284 403 189 0 13348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73896

[startup+3.10119 s]
/proc/loadavg: 7.76 7.60 7.27 9/184 2034
/proc/meminfo: memFree=30396940/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=230704 CPUtime=7.66 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 25730 0 0 0 763 3 0 0 25 0 4 0 252235451 236240896 20126 33554432000 4194304 4964704 140733462988544 18446744073709551615 268660323361 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 57676 20126 458 189 0 52025 0
[pid=2030/tid=2032] ppid=2028 vsize=230704 CPUtime=1.52 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 2326 0 0 0 152 0 0 0 25 0 4 0 252235608 236240896 20126 33554432000 4194304 4964704 140733462988544 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=230704 CPUtime=1.52 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 3351 0 0 0 152 0 0 0 25 0 4 0 252235608 236240896 20126 33554432000 4194304 4964704 140733462988544 18446744073709551615 4362878 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=230704 CPUtime=1.52 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 3442 0 0 0 152 0 0 0 25 0 4 0 252235608 236240896 20126 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670578 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 230704

[startup+6.30063 s]
/proc/loadavg: 7.76 7.60 7.27 9/184 2034
/proc/meminfo: memFree=30377964/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=234448 CPUtime=20.44 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 29875 0 0 0 2037 7 0 0 25 0 4 0 252235451 240074752 24271 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 58612 24271 458 189 0 52961 0
[pid=2030/tid=2032] ppid=2028 vsize=234448 CPUtime=4.72 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 2995 0 0 0 471 1 0 0 25 0 4 0 252235608 240074752 24271 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670598 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=234448 CPUtime=4.7 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 4607 0 0 0 469 1 0 0 25 0 4 0 252235608 240074752 24272 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=234448 CPUtime=4.72 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 4799 0 0 0 471 1 0 0 25 0 4 0 252235608 240074752 24272 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.44
Current children cumulated vsize (KiB) 234448

[startup+12.7005 s]
/proc/loadavg: 7.79 7.62 7.28 9/184 2034
/proc/meminfo: memFree=30341800/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=244944 CPUtime=46.02 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 37395 0 0 0 4589 13 0 0 25 0 4 0 252235451 250822656 31791 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 61236 31791 458 189 0 55585 0
[pid=2030/tid=2032] ppid=2028 vsize=244944 CPUtime=11.12 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 4455 0 0 0 1110 2 0 0 25 0 4 0 252235608 250822656 31791 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=244944 CPUtime=11.07 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 6857 0 0 0 1104 3 0 0 25 0 4 0 252235608 250822656 31791 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=244944 CPUtime=11.12 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 7320 0 0 0 1109 3 0 0 25 0 4 0 252235608 250822656 31791 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 46.02
Current children cumulated vsize (KiB) 244944

[startup+25.5013 s]
/proc/loadavg: 7.91 7.64 7.29 9/184 2035
/proc/meminfo: memFree=30302256/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=250896 CPUtime=97.14 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 44175 0 0 0 9695 19 0 0 25 0 4 0 252235451 256917504 38571 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320879 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 62724 38571 460 189 0 57073 0
[pid=2030/tid=2032] ppid=2028 vsize=250896 CPUtime=23.92 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 5922 0 0 0 2389 3 0 0 25 0 4 0 252235608 256917504 38571 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320902 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=250896 CPUtime=23.8 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 8780 0 0 0 2375 5 0 0 25 0 4 0 252235608 256917504 38571 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=250896 CPUtime=23.92 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 8643 0 0 0 2388 4 0 0 25 0 4 0 252235608 256917504 38571 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 97.14
Current children cumulated vsize (KiB) 250896

[startup+51.1008 s]
/proc/loadavg: 8.00 7.69 7.31 9/184 2035
/proc/meminfo: memFree=30252960/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=260504 CPUtime=199.39 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 54094 0 0 0 19911 28 0 0 25 0 4 0 252235451 266756096 48490 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670327 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 65126 48490 460 189 0 59475 0
[pid=2030/tid=2032] ppid=2028 vsize=260504 CPUtime=49.52 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 7883 0 0 0 4947 5 0 0 25 0 4 0 252235608 266756096 48490 33554432000 4194304 4964704 140733462988544 18446744073709551615 4683872 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=260504 CPUtime=49.26 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 11529 0 0 0 4919 7 0 0 25 0 4 0 252235608 266756096 48490 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=260504 CPUtime=49.52 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 11704 0 0 0 4946 6 0 0 25 0 4 0 252235608 266756096 48490 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (KiB) 260504

[startup+102.301 s]
/proc/loadavg: 8.12 7.77 7.36 9/184 2067
/proc/meminfo: memFree=30312068/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=424480 CPUtime=403.91 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 74619 0 0 0 40346 45 0 0 25 0 4 0 252235451 434667520 69015 33554432000 4194304 4964704 140733462988544 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 106120 69015 460 189 0 100469 0
[pid=2030/tid=2032] ppid=2028 vsize=424480 CPUtime=100.72 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 11189 0 0 0 10063 9 0 0 25 0 4 0 252235608 434667520 69015 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668464 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=424480 CPUtime=100.18 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 20031 0 0 0 10005 13 0 0 25 0 4 0 252235608 434667520 69015 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=424480 CPUtime=100.72 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 16737 0 0 0 10062 10 0 0 25 0 4 0 252235608 434667520 69015 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 403.91
Current children cumulated vsize (KiB) 424480

[startup+162.3 s]
/proc/loadavg: 8.15 7.84 7.41 9/184 2068
/proc/meminfo: memFree=30153484/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=435180 CPUtime=643.56 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 82242 0 0 0 64303 53 0 0 25 0 4 0 252235451 445624320 76623 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 108795 76623 460 189 0 103144 0
[pid=2030/tid=2032] ppid=2028 vsize=435180 CPUtime=160.7 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 12715 0 0 0 16060 10 0 0 25 0 4 0 252235608 445624320 76623 33554432000 4194304 4964704 140733462988544 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=435180 CPUtime=159.85 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 22304 0 0 0 15970 15 0 0 25 0 4 0 252235608 445624320 76623 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=435180 CPUtime=160.7 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 18677 0 0 0 16059 11 0 0 25 0 4 0 252235608 445624320 76623 33554432000 4194304 4964704 140733462988544 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 643.56
Current children cumulated vsize (KiB) 435180

[startup+222.307 s]
/proc/loadavg: 8.16 7.90 7.45 9/184 2070
/proc/meminfo: memFree=29979836/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=467124 CPUtime=883.23 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 99829 0 0 0 88255 68 0 0 25 0 4 0 252235451 478334976 94141 33554432000 4194304 4964704 140733462988544 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 116781 94141 460 189 0 111130 0
[pid=2030/tid=2032] ppid=2028 vsize=467124 CPUtime=220.69 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 15394 0 0 0 22057 12 0 0 25 0 4 0 252235608 478334976 94141 33554432000 4194304 4964704 140733462988544 18446744073709551615 4669443 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=467124 CPUtime=219.53 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 29247 0 0 0 21933 20 0 0 25 0 4 0 252235608 478334976 94141 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=467124 CPUtime=220.71 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 22177 0 0 0 22056 15 0 0 25 0 4 0 252235608 478334976 94141 33554432000 4194304 4964704 140733462988544 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 883.23
Current children cumulated vsize (KiB) 467124

[startup+282.3 s]
/proc/loadavg: 8.10 7.93 7.49 9/184 2071
/proc/meminfo: memFree=29846240/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=564432 CPUtime=1122.88 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 117135 0 0 0 112203 85 0 0 25 0 4 0 252235451 577978368 111432 33554432000 4194304 4964704 140733462988544 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 141108 111432 460 189 0 135457 0
[pid=2030/tid=2032] ppid=2028 vsize=564432 CPUtime=280.69 cores=1,3,5,7

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

Current children cumulated CPU time (s) 2560.81
Current children cumulated vsize (KiB) 697292

[startup+702.301 s]
/proc/loadavg: 8.17 8.09 7.72 9/184 2083
/proc/meminfo: memFree=29289344/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=841308 CPUtime=2800.47 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 178316 0 0 0 279893 154 0 0 25 0 4 0 252235451 861499392 172221 33554432000 4194304 4964704 140733462988544 18446744073709551615 4669893 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 210327 172221 460 189 0 204676 0
[pid=2030/tid=2032] ppid=2028 vsize=841308 CPUtime=700.62 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 27983 0 0 0 70035 27 0 0 25 0 4 0 252235608 861499392 172221 33554432000 4194304 4964704 140733462988544 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=841308 CPUtime=696.89 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 54957 0 0 0 69649 40 0 0 25 0 4 0 252235608 861499392 172221 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=841308 CPUtime=700.68 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 39499 0 0 0 70032 36 0 0 25 0 4 0 252235608 861499392 172221 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.47
Current children cumulated vsize (KiB) 841308

[startup+762.301 s]
/proc/loadavg: 8.23 8.12 7.75 10/184 2084
/proc/meminfo: memFree=29220840/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=841968 CPUtime=3040.14 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 183863 0 0 0 303850 164 0 0 25 0 4 0 252235451 862175232 177768 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 210492 177768 460 189 0 204841 0
[pid=2030/tid=2032] ppid=2028 vsize=841968 CPUtime=760.63 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 28455 0 0 0 76035 28 0 0 25 0 4 0 252235608 862175232 177768 33554432000 4194304 4964704 140733462988544 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=841968 CPUtime=756.56 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 56947 0 0 0 75612 44 0 0 25 0 4 0 252235608 862175232 177768 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=841968 CPUtime=760.68 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 41687 0 0 0 76028 40 0 0 25 0 4 0 252235608 862175232 177768 33554432000 4194304 4964704 140733462988544 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.14
Current children cumulated vsize (KiB) 841968

[startup+822.301 s]
/proc/loadavg: 8.21 8.13 7.77 9/184 2086
/proc/meminfo: memFree=29200452/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=842736 CPUtime=3279.77 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 184686 0 0 0 327812 165 0 0 25 0 4 0 252235451 862961664 178591 33554432000 4194304 4964704 140733462988544 18446744073709551615 4332393 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 210684 178591 460 189 0 205033 0
[pid=2030/tid=2032] ppid=2028 vsize=842736 CPUtime=820.6 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 29096 0 0 0 82031 29 0 0 25 0 4 0 252235608 862961664 178591 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=842736 CPUtime=816.23 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 56952 0 0 0 81579 44 0 0 25 0 4 0 252235608 862961664 178591 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=842736 CPUtime=820.67 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 41864 0 0 0 82026 41 0 0 25 0 4 0 252235608 862961664 178591 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.77
Current children cumulated vsize (KiB) 842736

[startup+882.307 s]
/proc/loadavg: 8.14 8.12 7.79 9/184 2088
/proc/meminfo: memFree=29199772/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=842736 CPUtime=3519.46 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 184790 0 0 0 351781 165 0 0 25 0 4 0 252235451 862961664 178695 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 210684 178695 460 189 0 205033 0
[pid=2030/tid=2032] ppid=2028 vsize=842736 CPUtime=880.61 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 29181 0 0 0 88032 29 0 0 25 0 4 0 252235608 862961664 178695 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=842736 CPUtime=875.9 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 56959 0 0 0 87546 44 0 0 25 0 4 0 252235608 862961664 178695 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=842736 CPUtime=880.67 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 41876 0 0 0 88026 41 0 0 25 0 4 0 252235608 862961664 178695 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.46
Current children cumulated vsize (KiB) 842736

[startup+942.301 s]
/proc/loadavg: 8.05 8.09 7.80 9/184 2089
/proc/meminfo: memFree=29181500/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=908844 CPUtime=3759.11 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 189539 0 0 0 375740 171 0 0 25 0 4 0 252235451 930656256 183444 33554432000 4194304 4964704 140733462988544 18446744073709551615 268660323361 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 227211 183444 460 189 0 221560 0
[pid=2030/tid=2032] ppid=2028 vsize=908844 CPUtime=940.6 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 31069 0 0 0 94030 30 0 0 25 0 4 0 252235608 930656256 183444 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=908844 CPUtime=935.57 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 59376 0 0 0 93510 47 0 0 25 0 4 0 252235608 930656256 183444 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=908844 CPUtime=940.67 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 41996 0 0 0 94026 41 0 0 25 0 4 0 252235608 930656256 183444 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.11
Current children cumulated vsize (KiB) 908844

[startup+1002.3 s]
/proc/loadavg: 8.02 8.07 7.81 9/184 2091
/proc/meminfo: memFree=29128872/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=908844 CPUtime=3998.79 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 196138 0 0 0 399696 183 0 0 25 0 4 0 252235451 930656256 190043 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 227211 190043 460 189 0 221560 0
[pid=2030/tid=2032] ppid=2028 vsize=908844 CPUtime=1000.61 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 32345 0 0 0 100027 34 0 0 25 0 4 0 252235608 930656256 190043 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=908844 CPUtime=995.25 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 59765 0 0 0 99477 48 0 0 25 0 4 0 252235608 930656256 190043 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=908844 CPUtime=1000.66 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 42050 0 0 0 100025 41 0 0 25 0 4 0 252235608 930656256 190043 33554432000 4194304 4964704 140733462988544 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.79
Current children cumulated vsize (KiB) 908844

[startup+1062.3 s]
/proc/loadavg: 8.00 8.06 7.82 9/184 2092
/proc/meminfo: memFree=29059004/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=974380 CPUtime=4238.46 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 202826 0 0 0 423650 196 0 0 25 0 4 0 252235451 997765120 196731 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 243595 196731 460 189 0 237944 0
[pid=2030/tid=2032] ppid=2028 vsize=974380 CPUtime=1060.61 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 34153 0 0 0 106025 36 0 0 25 0 4 0 252235608 997765120 196731 33554432000 4194304 4964704 140733462988544 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=974380 CPUtime=1054.92 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 61454 0 0 0 105440 52 0 0 25 0 4 0 252235608 997765120 196731 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=974380 CPUtime=1060.65 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 43986 0 0 0 106020 45 0 0 25 0 4 0 252235608 997765120 196731 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.46
Current children cumulated vsize (KiB) 974380

[startup+1122.3 s]
/proc/loadavg: 8.00 8.05 7.83 9/184 2094
/proc/meminfo: memFree=28999172/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=975180 CPUtime=4478.1 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 208127 0 0 0 447604 206 0 0 25 0 4 0 252235451 998584320 202032 33554432000 4194304 4964704 140733462988544 18446744073709551615 4321042 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 243795 202032 460 189 0 238144 0
[pid=2030/tid=2032] ppid=2028 vsize=975180 CPUtime=1120.59 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 35138 0 0 0 112022 37 0 0 25 0 4 0 252235608 998584320 202032 33554432000 4194304 4964704 140733462988544 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=975180 CPUtime=1114.58 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 65312 0 0 0 111398 60 0 0 25 0 4 0 252235608 998584320 202032 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=975180 CPUtime=1120.66 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 44119 0 0 0 112020 46 0 0 25 0 4 0 252235608 998584320 202032 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.1
Current children cumulated vsize (KiB) 975180

[startup+1182.3 s]
/proc/loadavg: 8.00 8.03 7.83 9/184 2095
/proc/meminfo: memFree=28965640/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=975180 CPUtime=4717.79 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 216344 0 0 0 471556 223 0 0 25 0 4 0 252235451 998584320 210249 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 243795 210249 460 189 0 238144 0
[pid=2030/tid=2032] ppid=2028 vsize=975180 CPUtime=1180.58 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 35189 0 0 0 118021 37 0 0 25 0 4 0 252235608 998584320 210249 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=975180 CPUtime=1174.26 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 73195 0 0 0 117350 76 0 0 25 0 4 0 252235608 998584320 210249 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=975180 CPUtime=1180.66 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 44387 0 0 0 118020 46 0 0 25 0 4 0 252235608 998584320 210249 33554432000 4194304 4964704 140733462988544 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.79
Current children cumulated vsize (KiB) 975180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.00 8.03 7.83 9/184 2096
/proc/meminfo: memFree=28931020/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=975180 CPUtime=4800.08 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 219204 0 0 0 479782 226 0 0 25 0 4 0 252235451 998584320 213109 33554432000 4194304 4964704 140733462988544 18446744073709551615 4668661 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/2030/statm: 243795 213109 460 189 0 238144 0
[pid=2030/tid=2032] ppid=2028 vsize=975180 CPUtime=1201.19 cores=1,3,5,7
/proc/2030/task/2032/stat : 2032 (claspmt) R 2028 2030 1123 0 -1 4202560 35212 0 0 0 120082 37 0 0 25 0 4 0 252235608 998584320 213109 33554432000 4194304 4964704 140733462988544 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2030/tid=2033] ppid=2028 vsize=975180 CPUtime=1194.75 cores=1,3,5,7
/proc/2030/task/2033/stat : 2033 (claspmt) R 2028 2030 1123 0 -1 4202560 73364 0 0 0 119399 76 0 0 25 0 4 0 252235608 998584320 213109 33554432000 4194304 4964704 140733462988544 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2030/tid=2034] ppid=2028 vsize=975180 CPUtime=1201.27 cores=1,3,5,7
/proc/2030/task/2034/stat : 2034 (claspmt) R 2028 2030 1123 0 -1 4202560 47001 0 0 0 120077 50 0 0 25 0 4 0 252235608 998584320 213109 33554432000 4194304 4964704 140733462988544 18446744073709551615 4321057 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 975180

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

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

[startup+1203.01 s]
/proc/loadavg: 8.00 8.03 7.83 9/184 2096
/proc/meminfo: memFree=28931020/32951124 swapFree=67111524/67111528
[pid=2030] ppid=2028 vsize=954696 CPUtime=4800.21 cores=1,3,5,7
/proc/2030/stat : 2030 (claspmt) R 2028 2030 1123 0 -1 4202496 219216 0 0 0 479795 226 0 0 25 0 1 0 252235451 977608704 206113 33554432000 4194304 4964704 140733462988544 18446744073709551615 268660317465 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/2030/statm: 238674 206113 470 189 0 233023 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 954696

Child status: 0
Real time (s): 1203.09
CPU time (s): 4800.3
CPU user time (s): 4798
CPU system time (s): 2.30365
CPU usage (%): 398.997
Max. virtual memory (cumulated for all children) (KiB): 975180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798
system time used= 2.30365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219218
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= 12173
involuntary context switches= 31712

runsolver used 1.80572 second user time and 4.76427 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 14:34:02
IDJOB=3299946
IDBENCH=83103
IDSOLVER=1683
FILE ID=node107/3299946-1304080442
RUNJOBID= node107-1304079824-1841
PBS_JOBID= 13170494
Free space on /tmp= 71784 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top26.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-3299946-1304080442/watcher-3299946-1304080442 -o /tmp/evaluation-result-3299946-1304080442/solver-3299946-1304080442 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299946-1304080442.cnf

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

MD5SUM BENCH= 7ecd2f8efd83504268f0a96fa44f6fe7
RANDOM SEED=312926500

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:      30472892 kB
Buffers:        630576 kB
Cached:        1226316 kB
SwapCached:          4 kB
Active:         319100 kB
Inactive:      1795312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30472892 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9848 kB
Writeback:           0 kB
AnonPages:      257104 kB
Mapped:          15680 kB
Slab:           300788 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   410196 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= 71792 MiB
End job on node107 at 2011-04-29 14:54:07