Trace number 1087672

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
Abscon 112v4 ACSAT 39.155 39.5911

DiagnosticValue
CHECKS18880800
NODES2522

General information on the benchmark

Namecsp/fapp/fapp09/
normalized-fapp09-0800-4.xml
MD5SUMfd291b2d849040dbdfa6434d5b702e4d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.3001
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.09	
0.05/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mac.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-1087672-1215245291.xml
0.28/0.35	   
0.28/0.35	   domains being loaded...
0.38/0.44	   
0.38/0.44	   variables being loaded...
0.57/0.65	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350  nbTotalValues=121824
0.57/0.65	       =>  wckTime=0.407  cpuTime=0.29  mem=12M747
0.57/0.65	   
0.57/0.65	   predicates being loaded...
0.68/0.71	   
0.68/0.71	   constraints being loaded...
20.78/21.02	   
20.78/21.02	   INFO : Stopping converting binary constraints (cpu=20.12, mem = 38M820)
25.73/26.07	     nbConstraints=4803  nbGlobalConstraints=3  nbMergedConstraints=4175  nbConvertedConstraints=1331
25.73/26.07	     nbConvertConstraintsChecks=45042104  nbExtensionStructures=1260  nbSharedExtensionStructures=160
25.73/26.07	     nbConflictsStructures=2556  nbSharedConflictsStructures=277  nbUnbuiltConflictsStructures=1877
25.73/26.07	     nbSharedBinaryRepresentations=269933  nbEvaluationManagers=3173  nbSharedEvaluationManagers=296  minDegree=3
25.73/26.07	     maxDegree=19  minArity=2  avgArity=2  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=0.434
25.73/26.07	     symmetryCpuTime=0.31  nbCliques=3
25.73/26.07	       =>  wckTime=25.826  cpuTime=24.7  mem=76M408
26.03/26.34	   
26.03/26.34	   solver IterativeSystematicSolver being built... 
26.13/26.47	   
26.13/26.47	   INFO : Forward propagation technique limited 
26.22/26.57	       =>  wckTime=26.331  cpuTime=24.91  mem=77M483
29.30/29.62	   
29.30/29.62	   preprocessing
29.30/29.62	     nbConstraintChecks=7393389  nbValidityChecks=237715  nbPropagations=1022  nbRevisions=8385  nbUselessRevisions=6915
29.30/29.62	     nbRemovedValues=59022  detectedInconsistency=no
29.30/29.62	       =>  wckTime=3.039  cpuTime=2.98  mem=77M483
39.10/39.51	   
39.10/39.51	   search
39.10/39.51	     run=4  nbConstraintChecks=11487451  nbValidityChecks=10577564  minDepth=349  maxDepth=800  nbPropagations=110651
39.10/39.51	     nbRevisions=885533  nbUselessRevisions=764024  nbAssignments=2522  nbFailedAssignments=83  nbInferredBacktracks=2
39.10/39.51	     nbBacktracks=40  nbVisitedNodes=2631  nbRestartNogoods=32  nbFoundSolutions=1  mapSize=32  nbInferences=0
39.10/39.51	     nbTooLargeKeys=0  nbSEliminables=0  nbREliminables=31.21  nbIEliminables=558.3  nbDEliminables=0  nbPEliminables=0
39.10/39.51	       =>  wckTime=12.93  cpuTime=12.67  mem=56M178
39.10/39.51	   
39.10/39.51	   global
39.10/39.51	     nbConstraintChecks=18880840  nbValidityChecks=10815279  nbPropagations=111673  nbRevisions=893918
39.10/39.51	     nbUselessRevisions=770939  nbRestartNogoods=32  solvingWckTime=12.932  solvingCpuTime=12.67  expiredTime=no
39.10/39.51	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=37.55  globalCpuTime=37.63
39.10/39.51	       =>  wckTime=39.268  cpuTime=37.58  mem=56M178
39.10/39.52	   
39.10/39.52	s SATISFIABLE
39.10/39.52	v 2564 2600 2148 -2564 2704 2544 -2716 -2112 2624 -2676 2472 2676 -2200 -2224 -2632 -2628 -2696 2200 -2360 2568 2504 2488 2612 -2280 2512 2592 2148 -2472 -2500 -2676 2584 -2120 -2108 2628 2236 -2232 2432 2636 -2684 -2460 -2212 2608 -2288 2460 -2656 -2336 -2328 -2480 2600 2440 -2020 -2560 -2488 -2020 -2612 -2224 2236 2624 -2268 -2140 2340 2200 2392 -2148 -2696 -2336 2196 2504 -2488 -2696 -2476 -2268 -2216 -2264 2400 -2160 2272 2536 -2628 -2680 2472 2648 -2716 -2248 -2516 2616 -2060 2636 2076 -2268 2580 2624 2348 2424 -2104 -2636 -2596 2632 -2160 -2576 2076 -2656 2624 -2340 2680 2568 -2544 -2380 -2364 -2612 2640 2416 2200 -2664 2552 2136 2604 2024 -2236 -2324 2620 -2516 -2280 2664 2456 -2580 -2700 2176 -2260 2528 -2540 -2252 -2580 2664 -2112 2300 2584 2676 2648 -2276 2344 -2100 2168 2624 2108 -2588 -2500 -2248 2528 -2060 2592 2148 -2704 2124 -2480 2312 2656 2644 -2704 -2648 -2616 -2640 -2640 2600 2664 -2616 -2320 -2584 -2360 -2056 -2236 2660 -2676 2220 -2220 -2432 2472 -2660 -2304 -2528 2532 -2032 2660 2464 -2588 -2340 -2060 2636 2308 2020 2404 -2200 -2596 2640 2208 2448 -2684 2160 -2472 2020 2552 -2644 -2292 -2408 -2516 -2208 2188 2064 2600 -2364 -2128 -2524 -2060 -2628 -2148 -2476 -2444 2020 2620 -2072 -2440 -2108 2476 -2264 -2040 -2308 -2332 2560 -2352 2616 -2120 2400 -2676 -2688 2660 -2680 -2160 -2128 -2160 -2548 2436 -2160 2520 -2276 -2244 -2520 -2160 2516 -2304 2688 -2160 -2640 -2512 -2492 -2660 -2224 -2560 -2528 2296 -2156 -2360 2648 -2060 2704 2688 2552 -2444 -2020 2164 2620 -2704 -2640 -2532 -2020 2640 -2488 2336 -2576 2640 2116 2512 2452 2020 -2704 2424 2196 2684 2576 -2368 2380 -2616 2648 2620 2236 -2520 2676 -2508 -2608 2636 -2592 2412 2308 -2364 2196 -2616 -2604 -2664 -2560 -2696 -2304 -2184 -2560 -2300 -2584 -2508 -2448 -2264 -2528 -2296 -2228 2576 2440 2608 2196 2644 -2640 -2160 2696 2528 -2120 -2264 -2552 2296 -2704 2424 2136 2184 -2576 2600 -2400 -2060 2508 2644 2464 -2088 2548 -2108 -2476 2216 2672 -2684 2544 -2656 -2668 -2328 2420 2024 2180 -2020 2368 -2580 -2356 2648 -2392 -2296 2340 -2648 2540 2524 2608 2228 2436 -2464 -2524 2716 -2020 -2484 2136 2656 -2524 -2252 -2528 -2500 -2620 2212 2604 2208 -2512 2064 -2488 -2256 2656 -2396 -2600 -2348 -2604 -2284 -2648 -2368 -2288 2268 -2020 2108 -2408 -2152 -2484 -2680 -2488 -2320 2540 2676 2212 -2664 2680 2584 2520 -2020 -2436 2488 -2660 2584 2636 2620 2464 -2424 2588 -2480 2036 -2688 2620 -2572 -2148 -2184 2364 2540 2568 -2112 -2272 2464 -2540 -2208 -2516 -2240 -2248 -2328 -2516 -2212 2664 -2640 -2540 2060 2584 2652 2620 -2200 2340 -2580 2652 2300 -2484 2564 2364 2148 -2168 2596 -2588 -2248 -2404 2644 -2700 2552 2360 -2540 2684 2476 -2580 2528 -2368 -2176 2696 -2232 -2224 -2600 -2252 -2328 -2072 2488 2148 2552 -2220 -2616 -2588 -2412 -2644 -2252 -2476 -2400 2680 2676 -2308 2240 -2464 -2520 -2472 2500 2028 -2268 2572 -2476 -2636 2444 -2324 -2172 -2600 2176 -2520 -2264 2388 -2460 -2236 -2248 2060 -2560 -2208 2656 -2272 -2656 -2336 2476 2524 -2340 2272 -2592 2060 2584 2648 -2716 -2600 -2616 -2332 2608 2344 2576 -2616 -2108 2664 -2072 -2628 2496 -2572 -2476 2020 -2564 2620 -2224 2624 2088 2576 2292 -2472 -2200 2616 2388 -2576 -2388 2464 2232 2248 2492 -2516 2440 2276 2248 2588 -2512 2060 -2376 2160 -2596 2260 2128 -2172 -2428 2588 -2416 2412 -2192 2468 -2512 2464 2432 2528 2656 -2212 2512 2644 2492 -2440 -2252 -2300 2236 2532 -2684 -2072 2360 -2492 2520 -2248 2560 -2656 -2268 -2568 -2688 -2440 -2636 -2220 2220 2068 2344 2564 -2480 -2528 2684 -2044 -2644 -2704 2680 -2428 -2588 -2500 -2616 -2604 -2640 2560 -2312 2544 2360 -2592 -2076 -2684 -2528 -2580 2292 2340 -2160 -2612 -2628 -2320 -2716 -2288 -2660 -2564 -2688 -2640 -2160 -2568 -2424 2348 -2640 2320 -2472 2128 2504 -2112 2144 -2376 -2432 2484 -2280 2488 -2472 -2144 -2616 -2084 2636 -2480 -2336 -2644 -2520 2304 -2548 -2300 -2340 -2596 -2180 -2164 -2424 -2196 -2152 2300 2592 2124 -2680 -2200 2556 -2140 2504 -2324 2452 -2048 -2304 2616 -2372 2584 -2260 2268 -2168 -2176 2240 2296 -2060 2476 -2564 -2624 -2400 2120 -2032 -2608 2512 -2704 -2320 -2640 -2292 2432 2628 -2160 -2188 -2060 -2308 2380 2096 -2060 2116 -2664 2384 -2080 -2020 -2640 -2260 -2604 -2616 -2452 -2488 -2360 2252 2644 -2656 2584 2568 -2120 -2336 -2180 -2592 2544 -2200 2716 -2560 -2212 2620 2660 2376 -2176 2672 -2656 2712 -2544 2060 2644 2676 2480 -2596 -2488 2596 -2240 -2684 -2636 2632 2608 2208 2520 -2628 -2660 2644 2532 -2648 2576 2524 -2468 -2308 2520 -2264 -2320 -2484 -2632 -2608 2664 -2696 -2312 -2360 -2688 
39.10/39.52	d NODES 2522
39.10/39.52	d CHECKS 18880840
39.10/39.52	   
39.10/39.52	   totalWckTime=39.33  totalCpuTime=37.65

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087672-1215245291/watcher-1087672-1215245291 -o /tmp/evaluation-result-1087672-1215245291/solver-1087672-1215245291 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1087672-1215245291.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.09 2.16 4/83 28086
/proc/meminfo: memFree=1634336/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=18572 CPUtime=0
/proc/28086/stat : 28086 (runsolver) R 28084 28086 27474 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 2003500696 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 250968861991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28086/statm: 4643 292 257 25 0 2626 0

[startup+0.0633809 s]
/proc/loadavg: 2.06 2.09 2.16 4/83 28086
/proc/meminfo: memFree=1634336/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=863920 CPUtime=0.05
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 2684 0 1 0 3 2 0 0 18 0 9 0 2003500696 884654080 2247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 215980 2247 1072 9 0 210937 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 863920

[startup+0.101384 s]
/proc/loadavg: 2.06 2.09 2.16 4/83 28086
/proc/meminfo: memFree=1634336/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=865884 CPUtime=0.08
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 3681 0 1 0 6 2 0 0 18 0 9 0 2003500696 886665216 3155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216471 3155 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.301422 s]
/proc/loadavg: 2.06 2.09 2.16 4/83 28086
/proc/meminfo: memFree=1634336/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=866196 CPUtime=0.28
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 5617 0 1 0 24 4 0 0 18 0 9 0 2003500696 886984704 5031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216549 5031 1902 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196

[startup+0.701492 s]
/proc/loadavg: 2.06 2.09 2.16 4/83 28086
/proc/meminfo: memFree=1634336/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867108 CPUtime=0.68
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 8485 0 1 0 62 6 0 0 18 0 9 0 2003500696 887918592 7846 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216777 7846 1998 9 0 211283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867108

[startup+1.50263 s]
/proc/loadavg: 2.13 2.10 2.16 3/92 28095
/proc/meminfo: memFree=1597720/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867632 CPUtime=1.47
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 19183 0 1 0 135 12 0 0 18 0 9 0 2003500696 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216908 18516 2006 9 0 211436 0
[pid=28086/tid=28088] ppid=28084 vsize=867632 CPUtime=1.19
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 15772 0 1 0 109 10 0 0 25 0 9 0 2003500697 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4126892153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867632 CPUtime=0.06
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 2032 0 0 0 6 0 0 0 16 0 9 0 2003500699 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003500701 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867632 CPUtime=0.19
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 683 0 0 0 19 0 0 0 16 0 9 0 2003500701 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003500701 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003500701 888455168 18516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867632

[startup+3.10192 s]
/proc/loadavg: 2.13 2.10 2.16 3/92 28095
/proc/meminfo: memFree=1567576/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867632 CPUtime=3.06
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 19221 0 1 0 293 13 0 0 18 0 9 0 2003500696 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216908 18553 2006 9 0 211436 0
[pid=28086/tid=28088] ppid=28084 vsize=867632 CPUtime=2.74
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 15780 0 1 0 263 11 0 0 25 0 9 0 2003500697 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4126910331 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867632 CPUtime=0.06
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 2032 0 0 0 6 0 0 0 17 0 9 0 2003500699 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003500701 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867632 CPUtime=0.22
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 713 0 0 0 22 0 0 0 15 0 9 0 2003500701 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003500701 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003500701 888455168 18553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867632

[startup+6.30248 s]
/proc/loadavg: 2.12 2.10 2.16 3/92 28095
/proc/meminfo: memFree=1567320/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867632 CPUtime=6.23
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 19227 0 1 0 608 15 0 0 18 0 9 0 2003500696 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216908 18556 2006 9 0 211436 0
[pid=28086/tid=28088] ppid=28084 vsize=867632 CPUtime=5.9
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 15785 0 1 0 578 12 0 0 25 0 9 0 2003500697 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4126892087 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867632 CPUtime=0.06
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 2032 0 0 0 6 0 0 0 17 0 9 0 2003500699 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003500701 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867632 CPUtime=0.22
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 714 0 0 0 22 0 0 0 15 0 9 0 2003500701 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003500701 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003500701 888455168 18556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867632

[startup+12.7016 s]
/proc/loadavg: 2.11 2.10 2.16 3/92 28095
/proc/meminfo: memFree=1567128/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867632 CPUtime=12.56
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 19240 0 1 0 1239 17 0 0 18 0 9 0 2003500696 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216908 18566 2006 9 0 211436 0
[pid=28086/tid=28088] ppid=28084 vsize=867632 CPUtime=12.23
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 15789 0 1 0 1208 15 0 0 25 0 9 0 2003500697 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4126896470 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867632 CPUtime=0.06
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 2032 0 0 0 6 0 0 0 16 0 9 0 2003500699 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003500701 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867632 CPUtime=0.24
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 723 0 0 0 24 0 0 0 15 0 9 0 2003500701 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003500701 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003500701 888455168 18566 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867632

[startup+25.5029 s]
/proc/loadavg: 2.17 2.11 2.17 3/91 28096
/proc/meminfo: memFree=1509592/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867632 CPUtime=25.24
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 27137 0 1 0 2500 24 0 0 18 0 9 0 2003500696 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216908 26458 2007 9 0 211436 0
[pid=28086/tid=28088] ppid=28084 vsize=867632 CPUtime=24.47
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 15796 0 1 0 2429 18 0 0 25 0 9 0 2003500697 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4126893415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867632 CPUtime=0.46
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 9906 0 0 0 43 3 0 0 16 0 9 0 2003500699 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003500699 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003500701 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867632 CPUtime=0.28
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 739 0 0 0 27 1 0 0 16 0 9 0 2003500701 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003500701 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867632 CPUtime=0
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003500701 888455168 26458 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867632

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

[startup+31.907 s]
/proc/loadavg: 2.14 2.11 2.16 3/91 28100
/proc/meminfo: memFree=1503000/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=868044 CPUtime=31.58
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 49437 538 1 0 3121 31 5 1 18 0 9 0 2003500696 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 217011 28725 2638 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=868044 CPUtime=30.4
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24070 538 1 0 3013 21 5 1 25 0 9 0 2003500697 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4127365811 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=868044 CPUtime=0.8
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 23523 538 0 0 68 6 5 1 17 0 9 0 2003500699 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=868044 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 17 0 9 0 2003500699 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=868044 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 15 538 0 0 0 0 5 1 16 0 9 0 2003500699 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=868044 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=868044 CPUtime=0.46
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 985 538 0 0 39 1 5 1 16 0 9 0 2003500701 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=868044 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=868044 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888877056 28725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (KiB) 868044

[startup+35.1026 s]
/proc/loadavg: 2.14 2.11 2.16 3/91 28100
/proc/meminfo: memFree=1495064/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867956 CPUtime=34.74
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 53273 538 1 0 3436 32 5 1 18 0 9 0 2003500696 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216989 30678 2616 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=867956 CPUtime=33.51
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24664 538 1 0 3324 21 5 1 25 0 9 0 2003500697 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4127362602 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867956 CPUtime=0.84
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 26743 538 0 0 71 7 5 1 16 0 9 0 2003500699 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 30 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867956 CPUtime=0.47
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 992 538 0 0 40 1 5 1 16 0 9 0 2003500701 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888786944 30678 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.74
Current children cumulated vsize (KiB) 867956

[startup+36.7029 s]
/proc/loadavg: 2.13 2.10 2.16 3/91 28100
/proc/meminfo: memFree=1495064/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867956 CPUtime=36.33
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 53279 538 1 0 3595 32 5 1 18 0 9 0 2003500696 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216989 30683 2616 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=867956 CPUtime=35.08
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24664 538 1 0 3481 21 5 1 25 0 9 0 2003500697 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4127362590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867956 CPUtime=0.84
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 26743 538 0 0 71 7 5 1 17 0 9 0 2003500699 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 30 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867956 CPUtime=0.48
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 998 538 0 0 41 1 5 1 16 0 9 0 2003500701 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888786944 30683 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.33
Current children cumulated vsize (KiB) 867956

[startup+38.3012 s]
/proc/loadavg: 2.13 2.10 2.16 3/91 28100
/proc/meminfo: memFree=1495064/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867956 CPUtime=37.91
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 53283 538 1 0 3753 32 5 1 18 0 9 0 2003500696 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216989 30686 2616 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=867956 CPUtime=36.66
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24665 538 1 0 3639 21 5 1 25 0 9 0 2003500697 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4127362590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867956 CPUtime=0.84
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 26743 538 0 0 71 7 5 1 17 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 30 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867956 CPUtime=0.49
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 1001 538 0 0 42 1 5 1 15 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 867956

[startup+39.1013 s]
/proc/loadavg: 2.13 2.10 2.16 3/91 28100
/proc/meminfo: memFree=1495000/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867956 CPUtime=38.7
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 53285 538 1 0 3832 32 5 1 18 0 9 0 2003500696 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216989 30686 2616 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=867956 CPUtime=37.45
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24666 538 1 0 3718 21 5 1 25 0 9 0 2003500697 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4127362550 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867956 CPUtime=0.84
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 26743 538 0 0 71 7 5 1 16 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 30 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867956 CPUtime=0.49
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 1002 538 0 0 42 1 5 1 15 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888786944 30686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.7
Current children cumulated vsize (KiB) 867956

[startup+39.5014 s]
/proc/loadavg: 2.13 2.10 2.16 3/91 28100
/proc/meminfo: memFree=1495000/2055920 swapFree=4179784/4192956
[pid=28086] ppid=28084 vsize=867956 CPUtime=39.1
/proc/28086/stat : 28086 (java) S 28084 28086 27474 0 -1 0 53288 538 1 0 3872 32 5 1 18 0 9 0 2003500696 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28086/statm: 216989 30689 2616 9 0 211517 0
[pid=28086/tid=28088] ppid=28084 vsize=867956 CPUtime=37.84
/proc/28086/task/28088/stat : 28088 (java) R 28084 28086 27474 0 -1 64 24668 538 1 0 3757 21 5 1 25 0 9 0 2003500697 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4127412829 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28089] ppid=28084 vsize=867956 CPUtime=0.84
/proc/28086/task/28089/stat : 28089 (java) S 28084 28086 27474 0 -1 64 26743 538 0 0 71 7 5 1 16 0 9 0 2003500699 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28090] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28090/stat : 28090 (java) S 28084 28086 27474 0 -1 64 17 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28091] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28091/stat : 28091 (java) S 28084 28086 27474 0 -1 64 30 538 0 0 0 0 5 1 16 0 9 0 2003500699 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28092] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28092/stat : 28092 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 18 0 9 0 2003500701 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28093] ppid=28084 vsize=867956 CPUtime=0.49
/proc/28086/task/28093/stat : 28093 (java) S 28084 28086 27474 0 -1 64 1003 538 0 0 42 1 5 1 15 0 9 0 2003500701 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28094] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28094/stat : 28094 (java) S 28084 28086 27474 0 -1 64 1 538 0 0 0 0 5 1 19 0 9 0 2003500701 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28086/tid=28095] ppid=28084 vsize=867956 CPUtime=0.06
/proc/28086/task/28095/stat : 28095 (java) S 28084 28086 27474 0 -1 64 11 538 0 0 0 0 5 1 15 0 9 0 2003500701 888786944 30689 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.1
Current children cumulated vsize (KiB) 867956

Child status: 0
Real time (s): 39.5911
CPU time (s): 39.155
CPU user time (s): 38.7911
CPU system time (s): 0.363944
CPU usage (%): 98.8987
Max. virtual memory (cumulated for all children) (KiB): 868044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7911
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53863
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2820
involuntary context switches= 4379

runsolver used 0.056991 second user time and 0.134979 second system time

The end

Launcher Data (download as text)

Begin job on node56 at 2008-07-05 10:08:11
IDJOB=1087672
IDBENCH=58028
IDSOLVER=363
FILE ID=node56/1087672-1215245291
PBS_JOBID= 7881996
Free space on /tmp= 103236 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087672-1215245291/watcher-1087672-1215245291 -o /tmp/evaluation-result-1087672-1215245291/solver-1087672-1215245291 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1087672-1215245291.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= fd291b2d849040dbdfa6434d5b702e4d
RANDOM SEED=10331631

node56.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1634880 kB
Buffers:          5364 kB
Cached:          67532 kB
SwapCached:       6936 kB
Active:         334756 kB
Inactive:        33872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1634880 kB
SwapTotal:     4192956 kB
SwapFree:      4179784 kB
Dirty:            3252 kB
Writeback:           0 kB
Mapped:         312084 kB
Slab:            37012 kB
Committed_AS:  4337940 kB
PageTables:       2516 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103236 MiB
End job on node56 at 2008-07-05 10:08:51