Trace number 3299384

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.4 1204.38

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
MD5SUMbfa662ff57088c54e0febd091ce11e5c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.39763
Satisfiable
(Un)Satisfiability was proved
Number of variables1985
Number of clauses409171
Sum of the clauses size820237
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2409126
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...111192/instance-3299384-1304111192.cnf
3.30/3.34	c Solving...
4800.20/1204.21	
4800.20/1204.21	*** INTERRUPTED! ***
4800.20/1204.21	*** Shutting down threads...
4800.33/1204.37	s UNKNOWN
4800.33/1204.37	
4800.33/1204.37	c INTERRUPTED   : 1
4800.33/1204.37	c Models        : 0+    
4800.33/1204.37	c Time          : 1204.231s (Solving: 1200.89s 1st Model: 0.00s Unsat: 0.00s)
4800.33/1204.37	c CPU Time      : 4800.240s

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-3299384-1304111192/watcher-3299384-1304111192 -o /tmp/evaluation-result-3299384-1304111192/solver-3299384-1304111192 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299384-1304111192.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: 6.10 7.71 7.90 3/174 9352
/proc/meminfo: memFree=28231832/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=21744 CPUtime=0 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 723 0 0 0 0 0 0 0 21 0 1 0 522719713 22265856 639 33554432000 4194304 4964704 140736716069408 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 5436 639 385 189 0 310 0

[startup+0.097101 s]
/proc/loadavg: 6.10 7.71 7.90 3/174 9352
/proc/meminfo: memFree=28231832/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=38656 CPUtime=0.08 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 6634 0 0 0 8 0 0 0 21 0 1 0 522719713 39583744 4773 33554432000 4194304 4964704 140736716069408 18446744073709551615 230808826565 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 9664 4773 396 189 0 4538 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38656

[startup+0.10111 s]
/proc/loadavg: 6.10 7.71 7.90 3/174 9352
/proc/meminfo: memFree=28231832/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=39504 CPUtime=0.09 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 6826 0 0 0 9 0 0 0 21 0 1 0 522719713 40452096 4965 33554432000 4194304 4964704 140736716069408 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 9876 4965 396 189 0 4750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39504

[startup+0.301065 s]
/proc/loadavg: 6.10 7.71 7.90 3/174 9352
/proc/meminfo: memFree=28231832/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=46016 CPUtime=0.29 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 8421 0 0 0 28 1 0 0 22 0 1 0 522719713 47120384 6560 33554432000 4194304 4964704 140736716069408 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 11504 6560 398 189 0 6378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46016

[startup+0.700991 s]
/proc/loadavg: 6.10 7.71 7.90 3/174 9352
/proc/meminfo: memFree=28231832/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=46016 CPUtime=0.69 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 8421 0 0 0 68 1 0 0 23 0 1 0 522719713 47120384 6560 33554432000 4194304 4964704 140736716069408 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 11504 6560 398 189 0 6378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46016

[startup+1.50085 s]
/proc/loadavg: 6.10 7.71 7.90 3/178 9359
/proc/meminfo: memFree=28144008/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=46016 CPUtime=1.49 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 8421 0 0 0 148 1 0 0 25 0 1 0 522719713 47120384 6560 33554432000 4194304 4964704 140736716069408 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 11504 6560 398 189 0 6378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46016

[startup+3.10055 s]
/proc/loadavg: 6.10 7.71 7.90 3/178 9359
/proc/meminfo: memFree=28142652/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=49052 CPUtime=3.09 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 9179 0 0 0 308 1 0 0 25 0 1 0 522719713 50229248 7318 33554432000 4194304 4964704 140736716069408 18446744073709551615 4600334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/9352/statm: 12263 7318 399 189 0 7137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49052

[startup+6.30093 s]
/proc/loadavg: 6.02 7.66 7.88 6/181 9362
/proc/meminfo: memFree=28116340/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=257752 CPUtime=15.09 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 17092 0 0 0 1502 7 0 0 25 0 4 0 522719713 263938048 14407 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627412 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 64438 14407 458 189 0 58787 0
[pid=9352/tid=9360] ppid=9350 vsize=257752 CPUtime=2.93 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 2135 0 0 0 292 1 0 0 18 0 4 0 522720048 263938048 14407 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=257752 CPUtime=2.93 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 1301 0 0 0 293 0 0 0 25 0 4 0 522720048 263938048 14407 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=257752 CPUtime=2.92 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 1596 0 0 0 292 0 0 0 24 0 4 0 522720048 263938048 14407 33554432000 4194304 4964704 140736716069408 18446744073709551615 4653184 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 257752

[startup+12.7008 s]
/proc/loadavg: 5.93 7.62 7.86 9/184 9366
/proc/meminfo: memFree=28043084/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=266076 CPUtime=40.65 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 29902 0 0 0 4048 17 0 0 25 0 4 0 522719713 272461824 27217 33554432000 4194304 4964704 140736716069408 18446744073709551615 4668904 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 66519 27217 460 189 0 60868 0
[pid=9352/tid=9360] ppid=9350 vsize=266076 CPUtime=9.32 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 4565 0 0 0 928 4 0 0 25 0 4 0 522720048 272461824 27217 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=266076 CPUtime=9.33 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 2532 0 0 0 933 0 0 0 25 0 4 0 522720048 272461824 27217 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=266076 CPUtime=9.28 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 5392 0 0 0 925 3 0 0 25 0 4 0 522720048 272461824 27217 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40.65
Current children cumulated vsize (KiB) 266076

[startup+25.5004 s]
/proc/loadavg: 6.47 7.65 7.87 9/184 9366
/proc/meminfo: memFree=27878084/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=281196 CPUtime=91.78 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 40967 0 0 0 9155 23 0 0 25 0 4 0 522719713 287944704 38282 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670250 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 70299 38282 460 189 0 64648 0
[pid=9352/tid=9360] ppid=9350 vsize=281196 CPUtime=22.12 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 6959 0 0 0 2206 6 0 0 25 0 4 0 522720048 287944704 38282 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=281196 CPUtime=22.13 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 4447 0 0 0 2212 1 0 0 25 0 4 0 522720048 287944704 38282 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=281196 CPUtime=22.02 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 7311 0 0 0 2198 4 0 0 25 0 4 0 522720048 287944704 38282 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 91.78
Current children cumulated vsize (KiB) 281196

[startup+51.1007 s]
/proc/loadavg: 7.06 7.70 7.88 9/184 9367
/proc/meminfo: memFree=27644508/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=366184 CPUtime=194.03 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 63265 0 0 0 19364 39 0 0 25 0 4 0 522719713 374972416 60577 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627272 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 91546 60577 460 189 0 85895 0
[pid=9352/tid=9360] ppid=9350 vsize=366184 CPUtime=47.72 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 15106 0 0 0 4759 13 0 0 25 0 4 0 522720048 374972416 60577 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=366184 CPUtime=47.73 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 8180 0 0 0 4771 2 0 0 25 0 4 0 522720048 374972416 60577 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=366184 CPUtime=47.48 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 13748 0 0 0 4739 9 0 0 25 0 4 0 522720048 374972416 60577 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 194.03
Current children cumulated vsize (KiB) 366184

[startup+102.306 s]
/proc/loadavg: 7.67 7.76 7.89 9/184 9368
/proc/meminfo: memFree=27356416/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=511244 CPUtime=398.58 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 81400 0 0 0 39801 57 0 0 25 0 4 0 522719713 523513856 78649 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 127811 78649 460 189 0 122160 0
[pid=9352/tid=9360] ppid=9350 vsize=511244 CPUtime=98.93 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 26052 0 0 0 9867 26 0 0 25 0 4 0 522720048 523513856 78649 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=511244 CPUtime=98.94 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 11330 0 0 0 9891 3 0 0 25 0 4 0 522720048 523513856 78649 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=511244 CPUtime=98.4 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 15440 0 0 0 9829 11 0 0 25 0 4 0 522720048 523513856 78650 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 398.58
Current children cumulated vsize (KiB) 511244

[startup+162.3 s]
/proc/loadavg: 7.88 7.80 7.89 9/184 9369
/proc/meminfo: memFree=27077376/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=519420 CPUtime=638.23 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 93544 0 0 0 63755 68 0 0 25 0 4 0 522719713 531886080 90645 33554432000 4194304 4964704 140736716069408 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 129855 90645 460 189 0 124204 0
[pid=9352/tid=9360] ppid=9350 vsize=519420 CPUtime=158.79 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 30052 0 0 0 15848 31 0 0 25 0 4 0 522720048 531886080 90645 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=519420 CPUtime=158.93 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 15914 0 0 0 15889 4 0 0 25 0 4 0 522720048 531886080 90645 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=519420 CPUtime=158.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 18063 0 0 0 15805 15 0 0 25 0 4 0 522720048 531886080 90645 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (KiB) 519420

[startup+222.3 s]
/proc/loadavg: 8.01 7.85 7.91 9/184 9371
/proc/meminfo: memFree=26884516/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=544916 CPUtime=877.89 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 111804 0 0 0 87708 81 0 0 25 0 4 0 522719713 557993984 108781 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 136229 108781 460 189 0 130578 0
[pid=9352/tid=9360] ppid=9350 vsize=544916 CPUtime=218.46 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 39790 0 0 0 21806 40 0 0 25 0 4 0 522720048 557993984 108781 33554432000 4194304 4964704 140736716069408 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=544916 CPUtime=218.94 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 19139 0 0 0 21889 5 0 0 25 0 4 0 522720048 557993984 108781 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=544916 CPUtime=218.19 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 21429 0 0 0 21802 17 0 0 25 0 4 0 522720048 557993984 108781 33554432000 4194304 4964704 140736716069408 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 877.89
Current children cumulated vsize (KiB) 544916

[startup+282.3 s]
/proc/loadavg: 8.06 7.89 7.91 9/184 9373
/proc/meminfo: memFree=26765188/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=585400 CPUtime=1117.58 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 125619 0 0 0 111669 89 0 0 25 0 4 0 522719713 599449600 122180 33554432000 4194304 4964704 140736716069408 18446744073709551615 4654417 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 146350 122180 460 189 0 140699 0
[pid=9352/tid=9360] ppid=9350 vsize=585400 CPUtime=278.13 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 45188 0 0 0 27769 44 0 0 25 0 4 0 522720048 599449600 122180 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=585400 CPUtime=278.94 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 22649 0 0 0 27888 6 0 0 25 0 4 0 522720048 599449600 122180 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=585400 CPUtime=278.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 26333 0 0 0 27799 21 0 0 25 0 4 0 522720048 599449600 122180 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1117.58

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

Current children cumulated CPU time (s) 2555.65
Current children cumulated vsize (KiB) 878300

[startup+702.3 s]
/proc/loadavg: 8.09 8.08 7.98 9/184 9384
/proc/meminfo: memFree=26081940/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=894296 CPUtime=2795.31 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 183097 0 0 0 279382 149 0 0 25 0 4 0 522719713 915759104 178994 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 223574 178994 460 189 0 217923 0
[pid=9352/tid=9360] ppid=9350 vsize=894296 CPUtime=695.84 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 73200 0 0 0 69500 84 0 0 25 0 4 0 522720048 915759104 178994 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=894296 CPUtime=698.95 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 34861 0 0 0 69886 9 0 0 25 0 4 0 522720048 915759104 178994 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=894296 CPUtime=698.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 35169 0 0 0 69792 28 0 0 25 0 4 0 522720048 915759104 178994 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2795.31
Current children cumulated vsize (KiB) 894296

[startup+762.306 s]
/proc/loadavg: 8.11 8.09 8.00 9/184 9386
/proc/meminfo: memFree=26035772/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=913932 CPUtime=3034.98 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 192785 0 0 0 303337 161 0 0 25 0 4 0 522719713 935866368 188682 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 228483 188682 460 189 0 222832 0
[pid=9352/tid=9360] ppid=9350 vsize=913932 CPUtime=755.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 75488 0 0 0 75486 87 0 0 25 0 4 0 522720048 935866368 188682 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=913932 CPUtime=758.71 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 35689 0 0 0 75861 10 0 0 25 0 4 0 522720048 935866368 188682 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=913932 CPUtime=758.21 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 38094 0 0 0 75789 32 0 0 25 0 4 0 522720048 935866368 188682 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3034.98
Current children cumulated vsize (KiB) 913932

[startup+822.3 s]
/proc/loadavg: 8.08 8.08 8.00 9/184 9387
/proc/meminfo: memFree=25999532/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=913932 CPUtime=3274.63 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 197288 0 0 0 327296 167 0 0 25 0 4 0 522719713 935866368 193185 33554432000 4194304 4964704 140736716069408 18446744073709551615 4653275 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 228483 193185 460 189 0 222832 0
[pid=9352/tid=9360] ppid=9350 vsize=913932 CPUtime=815.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 75769 0 0 0 81485 88 0 0 25 0 4 0 522720048 935866368 193185 33554432000 4194304 4964704 140736716069408 18446744073709551615 4644844 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=913932 CPUtime=818.38 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 35689 0 0 0 81828 10 0 0 25 0 4 0 522720048 935866368 193185 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=913932 CPUtime=818.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 41657 0 0 0 81783 37 0 0 25 0 4 0 522720048 935866368 193185 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3274.63
Current children cumulated vsize (KiB) 913932

[startup+882.3 s]
/proc/loadavg: 8.07 8.08 8.00 9/184 9389
/proc/meminfo: memFree=25901776/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=913932 CPUtime=3514.3 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 204316 0 0 0 351253 177 0 0 25 0 4 0 522719713 935866368 200025 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670152 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 228483 200025 460 189 0 222832 0
[pid=9352/tid=9360] ppid=9350 vsize=913932 CPUtime=875.72 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 75780 0 0 0 87484 88 0 0 25 0 4 0 522720048 935866368 200025 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=913932 CPUtime=878.05 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 35865 0 0 0 87795 10 0 0 25 0 4 0 522720048 935866368 200025 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=913932 CPUtime=878.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 41697 0 0 0 87783 37 0 0 25 0 4 0 522720048 935866368 200025 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3514.3
Current children cumulated vsize (KiB) 913932

[startup+942.3 s]
/proc/loadavg: 8.06 8.08 8.00 10/184 9390
/proc/meminfo: memFree=25683128/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=914684 CPUtime=3753.99 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 213830 0 0 0 375211 188 0 0 25 0 4 0 522719713 936636416 209539 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 228671 209539 460 189 0 223020 0
[pid=9352/tid=9360] ppid=9350 vsize=914684 CPUtime=935.72 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 83589 0 0 0 93474 98 0 0 25 0 4 0 522720048 936636416 209539 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=914684 CPUtime=937.73 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 37300 0 0 0 93763 10 0 0 25 0 4 0 522720048 936636416 209539 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=914684 CPUtime=938.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 41877 0 0 0 93783 37 0 0 25 0 4 0 522720048 936636416 209539 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3753.99
Current children cumulated vsize (KiB) 914684

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.00 9/184 9392
/proc/meminfo: memFree=25537760/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=980504 CPUtime=3993.66 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 224599 0 0 0 399162 204 0 0 25 0 4 0 522719713 1004036096 220308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4332499 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 245126 220308 460 189 0 239475 0
[pid=9352/tid=9360] ppid=9350 vsize=980504 CPUtime=995.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 93155 0 0 0 99459 114 0 0 25 0 4 0 522720048 1004036096 220308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=980504 CPUtime=997.4 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 38418 0 0 0 99730 10 0 0 25 0 4 0 522720048 1004036096 220308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=980504 CPUtime=998.2 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 41959 0 0 0 99783 37 0 0 25 0 4 0 522720048 1004036096 220308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3993.66
Current children cumulated vsize (KiB) 980504

[startup+1062.3 s]
/proc/loadavg: 8.02 8.06 8.00 9/184 9393
/proc/meminfo: memFree=25445224/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=988952 CPUtime=4233.34 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 231478 0 0 0 423123 211 0 0 25 0 4 0 522719713 1012686848 226977 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627170 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 247238 226977 460 189 0 241587 0
[pid=9352/tid=9360] ppid=9350 vsize=988952 CPUtime=1055.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 96865 0 0 0 105453 120 0 0 25 0 4 0 522720048 1012686848 226977 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=988952 CPUtime=1057.09 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 39443 0 0 0 105698 11 0 0 25 0 4 0 522720048 1012686848 226977 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=988952 CPUtime=1058.21 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 44102 0 0 0 105782 39 0 0 25 0 4 0 522720048 1012686848 226977 33554432000 4194304 4964704 140736716069408 18446744073709551615 4627918 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4233.34
Current children cumulated vsize (KiB) 988952

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 9395
/proc/meminfo: memFree=25277792/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=1022768 CPUtime=4473.02 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 241076 0 0 0 447084 218 0 0 25 0 4 0 522719713 1047314432 236575 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 255692 236575 460 189 0 250041 0
[pid=9352/tid=9360] ppid=9350 vsize=1022768 CPUtime=1115.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 97543 0 0 0 111453 120 0 0 25 0 4 0 522720048 1047314432 236575 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=1022768 CPUtime=1116.76 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 40147 0 0 0 111665 11 0 0 25 0 4 0 522720048 1047314432 236575 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=1022768 CPUtime=1118.21 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 52318 0 0 0 111776 45 0 0 25 0 4 0 522720048 1047314432 236575 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4473.02
Current children cumulated vsize (KiB) 1022768

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 9397
/proc/meminfo: memFree=25218852/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=1045236 CPUtime=4712.7 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 247937 0 0 0 471048 222 0 0 25 0 4 0 522719713 1070321664 243308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4653147 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 261309 243308 460 189 0 255658 0
[pid=9352/tid=9360] ppid=9350 vsize=1045236 CPUtime=1175.73 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 98070 0 0 0 117453 120 0 0 25 0 4 0 522720048 1070321664 243308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=1045236 CPUtime=1176.43 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 41013 0 0 0 117632 11 0 0 25 0 4 0 522720048 1070321664 243308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=1045236 CPUtime=1178.21 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 57784 0 0 0 117772 49 0 0 25 0 4 0 522720048 1070321664 243308 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4712.7
Current children cumulated vsize (KiB) 1045236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 8.07 8.07 8.00 9/184 9397
/proc/meminfo: memFree=25216852/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=1046672 CPUtime=4800.2 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 248258 0 0 0 479798 222 0 0 25 0 4 0 522719713 1071792128 243629 33554432000 4194304 4964704 140736716069408 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9352/statm: 261668 243629 460 189 0 256017 0
[pid=9352/tid=9360] ppid=9350 vsize=1046672 CPUtime=1197.63 cores=1,3,5,7
/proc/9352/task/9360/stat : 9360 (claspmt) R 9350 9352 8397 0 -1 4202560 98371 0 0 0 119643 120 0 0 25 0 4 0 522720048 1071792128 243629 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9352/tid=9361] ppid=9350 vsize=1046672 CPUtime=1198.21 cores=1,3,5,7
/proc/9352/task/9361/stat : 9361 (claspmt) R 9350 9352 8397 0 -1 4202560 41025 0 0 0 119810 11 0 0 25 0 4 0 522720048 1071792128 243629 33554432000 4194304 4964704 140736716069408 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9352/tid=9362] ppid=9350 vsize=1046672 CPUtime=1200.11 cores=1,3,5,7
/proc/9352/task/9362/stat : 9362 (claspmt) R 9350 9352 8397 0 -1 4202560 57791 0 0 0 119962 49 0 0 25 0 4 0 522720048 1071792128 243629 33554432000 4194304 4964704 140736716069408 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1046672

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

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

[startup+1204.31 s]
/proc/loadavg: 8.07 8.07 8.00 9/184 9397
/proc/meminfo: memFree=25216852/32951124 swapFree=67111524/67111528
[pid=9352] ppid=9350 vsize=1046420 CPUtime=4800.33 cores=1,3,5,7
/proc/9352/stat : 9352 (claspmt) R 9350 9352 8397 0 -1 4202496 248268 0 0 0 479810 223 0 0 25 0 1 0 522719713 1071534080 236534 33554432000 4194304 4964704 140736716069408 18446744073709551615 230808821915 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9352/statm: 261605 236534 470 189 0 255954 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1046420

Child status: 0
Real time (s): 1204.38
CPU time (s): 4800.4
CPU user time (s): 4798.13
CPU system time (s): 2.27465
CPU usage (%): 398.578
Max. virtual memory (cumulated for all children) (KiB): 1046672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.13
system time used= 2.27465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248270
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= 4560
involuntary context switches= 19579

runsolver used 1.80073 second user time and 4.77727 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 23:06:33
IDJOB=3299384
IDBENCH=88209
IDSOLVER=1683
FILE ID=node104/3299384-1304111192
RUNJOBID= node104-1304111192-9339
PBS_JOBID= 13170642
Free space on /tmp= 71540 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p15-s28972035.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-3299384-1304111192/watcher-3299384-1304111192 -o /tmp/evaluation-result-3299384-1304111192/solver-3299384-1304111192 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299384-1304111192.cnf

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

MD5SUM BENCH= bfa662ff57088c54e0febd091ce11e5c
RANDOM SEED=1754433409

node104.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.855
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.71
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.855
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.83
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.855
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28232236 kB
Buffers:       1245652 kB
Cached:        2898744 kB
SwapCached:          4 kB
Active:         138140 kB
Inactive:      4074124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28232236 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12236 kB
Writeback:           0 kB
AnonPages:       67596 kB
Mapped:          14552 kB
Slab:           442464 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193096 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= 71532 MiB
End job on node104 at 2011-04-29 23:26:39