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
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
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