Trace number 3299892

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) 4801.58 1203.87

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.975
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...060083/instance-3299892-1304060083.cnf
1.19/1.20	c Solving...
4800.17/1202.51	
4800.17/1202.51	*** INTERRUPTED! ***
4800.17/1202.51	*** Shutting down threads...
4801.49/1203.87	s UNKNOWN
4801.49/1203.87	
4801.49/1203.87	c INTERRUPTED   : 1
4801.49/1203.87	c Models        : 0+    
4801.49/1203.87	c Time          : 1203.546s (Solving: 1202.34s 1st Model: 0.00s Unsat: 0.00s)
4801.49/1203.87	c CPU Time      : 4801.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-3299892-1304060083/watcher-3299892-1304060083 -o /tmp/evaluation-result-3299892-1304060083/solver-3299892-1304060083 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299892-1304060083.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: 6.90 7.81 7.50 2/174 21380
/proc/meminfo: memFree=25345472/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=32008 CPUtime=0 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 1616 0 0 0 0 0 0 0 22 0 1 0 517611146 32776192 1545 33554432000 4194304 4964704 140737333553264 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21380/statm: 8002 1553 375 189 0 2876 0

[startup+0.058249 s]
/proc/loadavg: 6.90 7.81 7.50 2/174 21380
/proc/meminfo: memFree=25345472/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=38464 CPUtime=0.05 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 5540 0 0 0 5 0 0 0 22 0 1 0 517611146 39387136 4783 33554432000 4194304 4964704 140737333553264 18446744073709551615 218370957056 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21380/statm: 9616 4783 388 189 0 4490 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 38464

[startup+0.100271 s]
/proc/loadavg: 6.90 7.81 7.50 2/174 21380
/proc/meminfo: memFree=25345472/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=41564 CPUtime=0.09 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 6561 0 0 0 9 0 0 0 22 0 1 0 517611146 42561536 5512 33554432000 4194304 4964704 140737333553264 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21380/statm: 10391 5514 388 189 0 5265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41564

[startup+0.300227 s]
/proc/loadavg: 6.90 7.81 7.50 2/174 21380
/proc/meminfo: memFree=25345472/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=74652 CPUtime=0.29 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 18254 0 0 0 27 2 0 0 23 0 1 0 517611146 76443648 13459 33554432000 4194304 4964704 140737333553264 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21380/statm: 18663 13461 388 189 0 13537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74652

[startup+0.701154 s]
/proc/loadavg: 6.90 7.81 7.50 2/174 21380
/proc/meminfo: memFree=25345472/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=107388 CPUtime=0.69 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 27482 0 0 0 66 3 0 0 25 0 1 0 517611146 109965312 21829 33554432000 4194304 4964704 140737333553264 18446744073709551615 4607766 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21380/statm: 26847 21829 402 189 0 21721 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107388

[startup+1.50096 s]
/proc/loadavg: 6.90 7.81 7.50 3/178 21387
/proc/meminfo: memFree=25143272/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=324780 CPUtime=2.27 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 37447 0 0 0 219 8 0 0 18 0 4 0 517611146 332574720 27699 33554432000 4194304 4964704 140737333553264 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 81195 27700 450 189 0 75544 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 324780

[startup+3.10063 s]
/proc/loadavg: 6.75 7.76 7.49 9/184 21393
/proc/meminfo: memFree=25090028/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=324780 CPUtime=8.66 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 38791 0 0 0 857 9 0 0 20 0 4 0 517611146 332574720 29043 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 81195 29043 458 189 0 75544 0
[pid=21380/tid=21388] ppid=21378 vsize=324780 CPUtime=1.84 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 3093 0 0 0 183 1 0 0 20 0 4 0 517611266 332574720 29043 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668505 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=324780 CPUtime=1.88 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 4894 0 0 0 187 1 0 0 25 0 4 0 517611266 332574720 29043 33554432000 4194304 4964704 140737333553264 18446744073709551615 4378480 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=324780 CPUtime=1.87 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 2330 0 0 0 187 0 0 0 20 0 4 0 517611266 332574720 29043 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 324780

[startup+6.30106 s]
/proc/loadavg: 6.75 7.76 7.49 9/184 21393
/proc/meminfo: memFree=25067244/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=324780 CPUtime=21.45 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 41746 0 0 0 2134 11 0 0 25 0 4 0 517611146 332574720 31998 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 81195 31998 458 189 0 75544 0
[pid=21380/tid=21388] ppid=21378 vsize=324780 CPUtime=5.04 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 3621 0 0 0 502 2 0 0 25 0 4 0 517611266 332574720 31998 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=324780 CPUtime=5.08 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 6543 0 0 0 507 1 0 0 25 0 4 0 517611266 332574720 31998 33554432000 4194304 4964704 140737333553264 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=324780 CPUtime=5.06 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 2502 0 0 0 505 1 0 0 25 0 4 0 517611266 332574720 31998 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 324780

[startup+12.7009 s]
/proc/loadavg: 6.94 7.77 7.50 9/184 21394
/proc/meminfo: memFree=25011900/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=324780 CPUtime=47.02 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 48358 0 0 0 4685 17 0 0 25 0 4 0 517611146 332574720 38610 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 81195 38610 458 189 0 75544 0
[pid=21380/tid=21388] ppid=21378 vsize=324780 CPUtime=11.45 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 5029 0 0 0 1141 4 0 0 25 0 4 0 517611266 332574720 38610 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=324780 CPUtime=11.48 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 10515 0 0 0 1145 3 0 0 25 0 4 0 517611266 332574720 38610 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670598 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=324780 CPUtime=11.42 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 2502 0 0 0 1141 1 0 0 25 0 4 0 517611266 332574720 38610 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.02
Current children cumulated vsize (KiB) 324780

[startup+25.5006 s]
/proc/loadavg: 7.10 7.78 7.50 9/184 21394
/proc/meminfo: memFree=24915456/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=324780 CPUtime=98.14 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 58995 0 0 0 9792 22 0 0 25 0 4 0 517611146 332574720 49247 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 81195 49247 458 189 0 75544 0
[pid=21380/tid=21388] ppid=21378 vsize=324780 CPUtime=24.24 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 6012 0 0 0 2420 4 0 0 25 0 4 0 517611266 332574720 49247 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668918 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=324780 CPUtime=24.28 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 19320 0 0 0 2420 8 0 0 25 0 4 0 517611266 332574720 49247 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=324780 CPUtime=24.15 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 2502 0 0 0 2414 1 0 0 25 0 4 0 517611266 332574720 49247 33554432000 4194304 4964704 140737333553264 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.14
Current children cumulated vsize (KiB) 324780

[startup+51.1011 s]
/proc/loadavg: 7.47 7.81 7.52 9/184 21395
/proc/meminfo: memFree=24726868/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=488264 CPUtime=200.39 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 87677 0 0 0 20003 36 0 0 25 0 4 0 517611146 499982336 77929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670038 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 122066 77929 458 189 0 116415 0
[pid=21380/tid=21388] ppid=21378 vsize=488264 CPUtime=49.84 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 7312 0 0 0 4979 5 0 0 25 0 4 0 517611266 499982336 77929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=488264 CPUtime=49.87 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 37932 0 0 0 4969 18 0 0 25 0 4 0 517611266 499982336 77929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=488264 CPUtime=49.61 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 10603 0 0 0 4958 3 0 0 25 0 4 0 517611266 499982336 77929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4683960 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.39
Current children cumulated vsize (KiB) 488264

[startup+102.307 s]
/proc/loadavg: 7.79 7.84 7.54 9/184 21396
/proc/meminfo: memFree=24270740/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=688564 CPUtime=404.95 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 144057 0 0 0 40433 62 0 0 25 0 4 0 517611146 705089536 134309 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 172141 134309 460 189 0 166490 0
[pid=21380/tid=21388] ppid=21378 vsize=688564 CPUtime=101.05 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 8447 0 0 0 10099 6 0 0 25 0 4 0 517611266 705089536 134309 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669060 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=688564 CPUtime=101.08 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 75053 0 0 0 10072 36 0 0 25 0 4 0 517611266 705089536 134309 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=688564 CPUtime=100.54 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 27853 0 0 0 10045 9 0 0 25 0 4 0 517611266 705089536 134309 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 404.95
Current children cumulated vsize (KiB) 688564

[startup+162.3 s]
/proc/loadavg: 7.98 7.88 7.57 9/184 21398
/proc/meminfo: memFree=23780528/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=899912 CPUtime=644.6 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 208503 0 0 0 64372 88 0 0 25 0 4 0 517611146 921509888 198755 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 224978 198755 460 189 0 219327 0
[pid=21380/tid=21388] ppid=21378 vsize=899912 CPUtime=161.05 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 11317 0 0 0 16096 9 0 0 25 0 4 0 517611266 921509888 198755 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669230 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=899912 CPUtime=161.06 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 114941 0 0 0 16054 52 0 0 25 0 4 0 517611266 921509888 198755 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313818 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=899912 CPUtime=160.23 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 47910 0 0 0 16008 15 0 0 25 0 4 0 517611266 921509888 198755 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 644.6
Current children cumulated vsize (KiB) 899912

[startup+222.301 s]
/proc/loadavg: 8.08 7.93 7.61 9/184 21399
/proc/meminfo: memFree=23319840/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=1104652 CPUtime=884.29 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 264802 0 0 0 88317 112 0 0 25 0 4 0 517611146 1131163648 255054 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 276163 255054 460 189 0 270512 0
[pid=21380/tid=21388] ppid=21378 vsize=1104652 CPUtime=221.05 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 13835 0 0 0 22094 11 0 0 25 0 4 0 517611266 1131163648 255054 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=1104652 CPUtime=221.07 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 149991 0 0 0 22040 67 0 0 25 0 4 0 517611266 1131163648 255054 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=1104652 CPUtime=219.91 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 66374 0 0 0 21969 22 0 0 25 0 4 0 517611266 1131163648 255054 33554432000 4194304 4964704 140737333553264 18446744073709551615 4361330 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 884.29
Current children cumulated vsize (KiB) 1104652

[startup+282.301 s]
/proc/loadavg: 8.12 7.97 7.64 9/184 21401
/proc/meminfo: memFree=22866580/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=1306704 CPUtime=1123.99 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 318436 0 0 0 112260 139 0 0 25 0 4 0 517611146 1338064896 308688 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 326676 308688 460 189 0 321025 0
[pid=21380/tid=21388] ppid=21378 vsize=1306704 CPUtime=281.06 cores=0,2,4,6

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

/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 643690 0 0 0 303872 283 0 0 25 0 4 0 517611146 2780057600 633831 33554432000 4194304 4964704 140737333553264 18446744073709551615 4632289 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 678725 633831 460 189 0 673074 0
[pid=21380/tid=21388] ppid=21378 vsize=2714900 CPUtime=761.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 25971 0 0 0 76084 22 0 0 25 0 4 0 517611266 2780057600 633831 33554432000 4194304 4964704 140737333553264 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=2714900 CPUtime=761.06 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 390094 0 0 0 75942 164 0 0 25 0 4 0 517611266 2780057600 633831 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313818 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=2714900 CPUtime=757.21 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 180954 0 0 0 75647 74 0 0 25 0 4 0 517611266 2780057600 633831 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3041.55
Current children cumulated vsize (KiB) 2714900

[startup+822.301 s]
/proc/loadavg: 8.19 8.14 7.86 9/184 21427
/proc/meminfo: memFree=19508704/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=2780436 CPUtime=3281.24 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 661841 0 0 0 327826 298 0 0 25 0 4 0 517611146 2847166464 651982 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 695109 651982 460 189 0 689458 0
[pid=21380/tid=21388] ppid=21378 vsize=2780436 CPUtime=821.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 33965 0 0 0 82077 29 0 0 25 0 4 0 517611266 2847166464 651982 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=2780436 CPUtime=821.06 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 390342 0 0 0 81942 164 0 0 25 0 4 0 517611266 2847166464 651982 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=2780436 CPUtime=816.91 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 187749 0 0 0 81612 79 0 0 25 0 4 0 517611266 2847166464 651982 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670416 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.24
Current children cumulated vsize (KiB) 2780436

[startup+882.301 s]
/proc/loadavg: 8.18 8.15 7.88 9/184 21429
/proc/meminfo: memFree=19273816/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=2845972 CPUtime=3520.95 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 675365 0 0 0 351783 312 0 0 25 0 4 0 517611146 2914275328 665506 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 711493 665506 460 189 0 705842 0
[pid=21380/tid=21388] ppid=21378 vsize=2845972 CPUtime=881.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 39747 0 0 0 88072 34 0 0 25 0 4 0 517611266 2914275328 665506 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=2845972 CPUtime=881.06 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 390345 0 0 0 87942 164 0 0 25 0 4 0 517611266 2914275328 665506 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=2845972 CPUtime=876.62 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 195117 0 0 0 87575 87 0 0 25 0 4 0 517611266 2914275328 665506 33554432000 4194304 4964704 140737333553264 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3520.95
Current children cumulated vsize (KiB) 2845972

[startup+942.3 s]
/proc/loadavg: 8.16 8.15 7.90 9/184 21431
/proc/meminfo: memFree=18925084/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=2911508 CPUtime=3760.64 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 702212 0 0 0 375739 325 0 0 25 0 4 0 517611146 2981384192 692353 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 727877 692353 460 189 0 722226 0
[pid=21380/tid=21388] ppid=21378 vsize=2911508 CPUtime=941.05 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 39747 0 0 0 94071 34 0 0 25 0 4 0 517611266 2981384192 692353 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=2911508 CPUtime=941.04 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 410236 0 0 0 93933 171 0 0 25 0 4 0 517611266 2981384192 692353 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=2911508 CPUtime=936.34 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 202073 0 0 0 93541 93 0 0 25 0 4 0 517611266 2981384192 692353 33554432000 4194304 4964704 140737333553264 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.64
Current children cumulated vsize (KiB) 2911508

[startup+1002.3 s]
/proc/loadavg: 8.12 8.13 7.91 9/184 21432
/proc/meminfo: memFree=18513628/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3108116 CPUtime=4000.35 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 750023 0 0 0 399680 355 0 0 25 0 4 0 517611146 3182710784 740164 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 777029 740164 460 189 0 771378 0
[pid=21380/tid=21388] ppid=21378 vsize=3108116 CPUtime=1001.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 46634 0 0 0 100064 42 0 0 25 0 4 0 517611266 3182710784 740164 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669200 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=3108116 CPUtime=1001.05 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 443217 0 0 0 99918 187 0 0 25 0 4 0 517611266 3182710784 740164 33554432000 4194304 4964704 140737333553264 18446744073709551615 4653184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=3108116 CPUtime=996.05 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 204759 0 0 0 99510 95 0 0 25 0 4 0 517611266 3182710784 740164 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.35
Current children cumulated vsize (KiB) 3108116

[startup+1062.3 s]
/proc/loadavg: 8.09 8.12 7.91 9/184 21434
/proc/meminfo: memFree=18359444/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3304724 CPUtime=4240.04 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 789551 0 0 0 423624 380 0 0 25 0 4 0 517611146 3384037376 779692 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669015 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 826181 779692 460 189 0 820530 0
[pid=21380/tid=21388] ppid=21378 vsize=3304724 CPUtime=1061.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 61463 0 0 0 106049 57 0 0 25 0 4 0 517611266 3384037376 779692 33554432000 4194304 4964704 140737333553264 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=3304724 CPUtime=1061.05 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 467914 0 0 0 105909 196 0 0 25 0 4 0 517611266 3384037376 779692 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=3304724 CPUtime=1055.74 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 204761 0 0 0 105479 95 0 0 25 0 4 0 517611266 3384037376 779692 33554432000 4194304 4964704 140737333553264 18446744073709551615 4343144 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.04
Current children cumulated vsize (KiB) 3304724

[startup+1122.3 s]
/proc/loadavg: 8.08 8.11 7.92 9/184 21435
/proc/meminfo: memFree=18250428/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3370260 CPUtime=4479.74 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 814068 0 0 0 447575 399 0 0 25 0 4 0 517611146 3451146240 804209 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669319 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 842565 804209 460 189 0 836914 0
[pid=21380/tid=21388] ppid=21378 vsize=3370260 CPUtime=1121.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 73787 0 0 0 112039 67 0 0 25 0 4 0 517611266 3451146240 804209 33554432000 4194304 4964704 140737333553264 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=3370260 CPUtime=1121.04 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 469055 0 0 0 111908 196 0 0 25 0 4 0 517611266 3451146240 804209 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=3370260 CPUtime=1115.44 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 215811 0 0 0 111441 103 0 0 25 0 4 0 517611266 3451146240 804209 33554432000 4194304 4964704 140737333553264 18446744073709551615 4653154 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.74
Current children cumulated vsize (KiB) 3370260

[startup+1182.3 s]
/proc/loadavg: 8.08 8.11 7.93 9/184 21437
/proc/meminfo: memFree=18060680/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3370260 CPUtime=4719.46 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 826231 0 0 0 471539 407 0 0 25 0 4 0 517611146 3451146240 816338 33554432000 4194304 4964704 140737333553264 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 842565 816338 460 189 0 836914 0
[pid=21380/tid=21388] ppid=21378 vsize=3370260 CPUtime=1181.06 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 74753 0 0 0 118038 68 0 0 25 0 4 0 517611266 3451146240 816338 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=3370260 CPUtime=1181.05 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 475104 0 0 0 117906 199 0 0 25 0 4 0 517611266 3451146240 816338 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669462 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=3370260 CPUtime=1175.17 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 217036 0 0 0 117413 104 0 0 25 0 4 0 517611266 3451146240 816338 33554432000 4194304 4964704 140737333553264 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.46
Current children cumulated vsize (KiB) 3370260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.11 8.11 7.93 9/184 21437
/proc/meminfo: memFree=17988504/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3435796 CPUtime=4800.17 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 835822 0 0 0 479606 411 0 0 25 0 4 0 517611146 3518255104 825929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 858949 825929 460 189 0 853298 0
[pid=21380/tid=21388] ppid=21378 vsize=3435796 CPUtime=1201.26 cores=0,2,4,6
/proc/21380/task/21388/stat : 21388 (claspmt) R 21378 21380 21348 0 -1 4202560 75121 0 0 0 120058 68 0 0 25 0 4 0 517611266 3518255104 825929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=3435796 CPUtime=1201.25 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 484326 0 0 0 119922 203 0 0 25 0 4 0 517611266 3518255104 825929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=3435796 CPUtime=1195.27 cores=0,2,4,6
/proc/21380/task/21390/stat : 21390 (claspmt) R 21378 21380 21348 0 -1 4202560 217037 0 0 0 119423 104 0 0 25 0 4 0 517611266 3518255104 825929 33554432000 4194304 4964704 140737333553264 18446744073709551615 4668866 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 3435796

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

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

[startup+1203 s]
/proc/loadavg: 8.11 8.11 7.93 9/184 21437
/proc/meminfo: memFree=17988504/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3435796 CPUtime=4800.69 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) S 21378 21380 21348 0 -1 4202496 835824 0 0 0 479658 411 0 0 25 0 2 0 517611146 3518255104 825931 33554432000 4194304 4964704 140737333553264 18446744073709551615 218382759909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 858949 825931 462 189 0 853298 0
[pid=21380/tid=21389] ppid=21378 vsize=3435796 CPUtime=1201.75 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 484326 0 0 0 119972 203 0 0 25 0 2 0 517611266 3518255104 825931 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.69
Current children cumulated vsize (KiB) 3435796

[startup+1203.41 s]
/proc/loadavg: 8.11 8.11 7.93 6/183 21438
/proc/meminfo: memFree=17986404/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=3435796 CPUtime=4801.1 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) S 21378 21380 21348 0 -1 4202496 835824 0 0 0 479699 411 0 0 25 0 2 0 517611146 3518255104 825931 33554432000 4194304 4964704 140737333553264 18446744073709551615 218382759909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21380/statm: 858949 825931 462 189 0 853298 0
[pid=21380/tid=21389] ppid=21378 vsize=3435796 CPUtime=1202.15 cores=0,2,4,6
/proc/21380/task/21389/stat : 21389 (claspmt) R 21378 21380 21348 0 -1 4202560 484326 0 0 0 120012 203 0 0 25 0 2 0 517611266 3518255104 825931 33554432000 4194304 4964704 140737333553264 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4801.1
Current children cumulated vsize (KiB) 3435796

[startup+1203.8 s]
/proc/loadavg: 8.11 8.11 7.93 6/183 21438
/proc/meminfo: memFree=17986404/32951124 swapFree=67051468/67111528
[pid=21380] ppid=21378 vsize=1885972 CPUtime=4801.49 cores=0,2,4,6
/proc/21380/stat : 21380 (claspmt) R 21378 21380 21348 0 -1 4202496 835833 0 0 0 479731 418 0 0 18 0 1 0 517611146 1931235328 432615 33554432000 4194304 4964704 140737333553264 18446744073709551615 218371000455 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21380/statm: 471493 432615 471 189 0 465842 0
Current children cumulated CPU time (s) 4801.49
Current children cumulated vsize (KiB) 1885972

Child status: 0
Real time (s): 1203.87
CPU time (s): 4801.58
CPU user time (s): 4797.32
CPU system time (s): 4.25735
CPU usage (%): 398.844
Max. virtual memory (cumulated for all children) (KiB): 3435796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.32
system time used= 4.25735
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835834
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= 1631
involuntary context switches= 23524

runsolver used 1.81772 second user time and 4.24735 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 08:54:44
IDJOB=3299892
IDBENCH=82378
IDSOLVER=1683
FILE ID=node101/3299892-1304060083
RUNJOBID= node101-1304060083-21366
PBS_JOBID= 13170449
Free space on /tmp= 71976 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.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-3299892-1304060083/watcher-3299892-1304060083 -o /tmp/evaluation-result-3299892-1304060083/solver-3299892-1304060083 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299892-1304060083.cnf

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=1913029954

node101.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.841
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.68
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.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
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.841
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.77
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.841
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.841
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.841
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.841
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.841
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:      25345876 kB
Buffers:       2016376 kB
Cached:        5105192 kB
SwapCached:      30452 kB
Active:        2954564 kB
Inactive:      4204360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25345876 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           49044 kB
Writeback:           0 kB
AnonPages:       28668 kB
Mapped:           8440 kB
Slab:           380524 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189644 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= 71968 MiB
End job on node101 at 2011-04-29 09:14:48