0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1086224-1215238172.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.38/0.45 nbVariables=500 nbDomainTypes=16 minDomainSize=42 maxDomainSize=290 nbTotalValues=108024
0.38/0.45 => wckTime=0.2 cpuTime=0.15 mem=11M775
0.38/0.45
0.38/0.45 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
20.47/20.55
20.47/20.55 INFO : Stopping converting binary constraints (cpu=20.05, mem = 50M404)
22.76/22.82 nbConstraints=3485 nbGlobalConstraints=7 nbMergedConstraints=3053 nbConvertedConstraints=829
22.76/22.82 nbConvertConstraintsChecks=43260528 nbExtensionStructures=763 nbSharedExtensionStructures=171
22.76/22.82 nbConflictsStructures=998 nbSharedConflictsStructures=194 nbUnbuiltConflictsStructures=2056
22.76/22.82 nbSharedBinaryRepresentations=228182 nbEvaluationManagers=2291 nbSharedEvaluationManagers=358 minDegree=3
22.76/22.83 maxDegree=20 minArity=2 avgArity=2.01 maxArity=6 nbGenerators=0 nbFusions=0 symmetryWckTime=0.42
22.76/22.83 symmetryCpuTime=0.33 nbCliques=7
22.76/22.83 => wckTime=22.578 cpuTime=21.91 mem=60M524
22.96/23.02
22.96/23.02 solver IterativeSystematicSolver being built...
23.06/23.13
23.06/23.13 INFO : Forward propagation technique limited
23.16/23.21 => wckTime=22.96 cpuTime=22.07 mem=65M594
26.76/26.90
26.76/26.90 preprocessing
26.76/26.90 nbConstraintChecks=11106026 nbValidityChecks=240626 nbPropagations=568 nbRevisions=6440 nbUselessRevisions=5872
26.76/26.90 nbRemovedValues=26992 detectedInconsistency=no
26.76/26.90 => wckTime=3.687 cpuTime=3.67 mem=66M559
32.75/32.81
32.75/32.81 search
32.75/32.81 run=2 nbConstraintChecks=13539621 nbValidityChecks=11937211 minDepth=501 maxDepth=500 nbPropagations=25330
32.75/32.81 nbRevisions=243994 nbUselessRevisions=216172 nbAssignments=890 nbFailedAssignments=25 nbBacktracks=1
32.75/32.81 nbVisitedNodes=917 nbRestartNogoods=24 nbFoundSolutions=1 mapSize=1 nbInferences=0 nbTooLargeKeys=0
32.75/32.81 nbSEliminables=0 nbREliminables=16.34 nbIEliminables=337.98 nbDEliminables=0 nbPEliminables=0
32.75/32.81 => wckTime=9.599 cpuTime=9.55 mem=71M392
32.75/32.81
32.75/32.81 global
32.75/32.81 nbConstraintChecks=24645647 nbValidityChecks=12177837 nbPropagations=25898 nbRevisions=250434
32.75/32.81 nbUselessRevisions=222044 nbRestartNogoods=24 solvingWckTime=9.601 solvingCpuTime=9.55 expiredTime=no
32.75/32.81 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=31.6 globalCpuTime=31.66
32.75/32.81 => wckTime=32.564 cpuTime=31.62 mem=71M392
32.75/32.81
32.75/32.81 s SATISFIABLE
32.75/32.81 v 2612 2240 2704 -2444 -2252 2524 2268 2436 -2300 2540 2600 -2532 2560 -2584 2668 -2576 2340 2552 -2244 2372 -2716 -2372 -2324 -2628 2696 2656 -2396 -2212 -2140 -2476 2628 -2376 -2616 2444 -2616 -2452 -2140 2488 -2196 -2152 2308 2244 -2584 2256 2304 2716 -2560 -2616 -2420 2580 2352 -2340 2512 -2348 -2284 -2272 -2248 2676 -2564 2436 2640 2516 -2288 2540 2672 -2524 2588 2676 2480 -2520 -2296 2224 2224 2208 2656 2292 -2348 -2716 -2264 2444 2328 2400 -2360 2464 -2716 -2488 -2520 -2388 2640 2140 -2380 2552 -2708 2576 -2184 -2188 -2272 -2140 -2716 -2400 -2628 -2408 2576 -2296 -2716 2228 -2660 2312 -2696 -2528 -2536 2656 2620 -2528 -2716 2296 2576 2288 -2692 2328 2564 2556 -2168 -2356 -2200 2564 2692 -2324 2656 -2652 -2416 2544 -2652 2212 -2300 2352 -2324 -2436 2236 2180 2232 2612 -2172 -2396 -2460 -2628 -2588 2512 -2676 -2184 -2156 -2496 -2576 -2144 2296 2676 -2208 -2440 -2296 2328 2664 -2412 2692 -2576 2448 2676 -2476 -2716 2180 -2204 2252 -2460 2648 -2612 2400 2248 -2676 -2180 -2264 -2284 -2616 2604 -2564 -2200 -2716 -2492 2664 -2524 -2452 2140 2632 2308 2308 -2540 -2556 -2180 -2180 -2412 -2244 -2716 2448 2140 -2208 -2160 2652 -2640 -2572 2536 2232 2632 2424 -2620 -2360 -2352 2608 2664 -2612 2480 2384 -2540 -2668 2640 -2392 -2668 2536 2512 -2412 -2592 2384 -2612 -2672 -2632 -2140 2664 2424 -2284 2616 2564 -2288 -2660 -2256 -2348 -2180 -2592 -2352 -2512 -2384 2600 2192 2148 -2592 2504 2452 -2512 2652 2312 -2524 -2340 -2180 2580 2704 2476 -2676 -2308 -2372 -2348 2628 2276 2212 2496 -2552 2256 2392 2300 -2140 -2288 2488 -2420 2640 2668 -2344 2560 2140 2564 2672 2428 -2164 2368 -2248 -2716 -2204 2656 -2468 2168 2680 -2340 -2332 -2412 -2408 -2356 -2484 -2716 2264 2336 -2500 2348 2212 2600 2200 2636 -2292 2592 2672 2300 2552 -2484 2632 -2308 -2552 -2676 2208 2624 -2172 2712 2576 2604 -2448 -2652 -2152 -2292 2564 -2676 -2180 -2140 2644 2628 -2604 -2480 -2340 -2140 2320 -2552 -2652 -2632 -2252 -2704 2444 2180 -2676 2560 -2716 2672 2680 -2572 2580 -2336 -2180 -2180 -2168 2696 -2440 -2180 -2604 -2208 -2676 -2536 -2520 2412 -2340 -2240 -2564 2676 2232 2692 -2536 -2600 2412 2284 2564 2196 -2336 -2716 2172 2560 -2292 -2568 2368 2588 -2192 2568 2464 2676 -2192 2160 2476 2428 -2500 -2360 -2156 -2580 -2616 2552 -2344 2424 2304 2280 -2556 2632 2668 -2300 -2596 -2672 2632 2376 -2232 -2680 -2256 2704 -2676 -2452 -2140 -2480 -2296 -2520 -2696 -2404 2600 -2416 -2676 -2652 -2252 -2232 -2684 -2496 -2516 -2392 2440 -2380 -2380 -2716 2228 -2140 2704 -2500 2576 2260 2684 2656 -2436 2688 2524 -2212 -2664 2224 -2320 -2524 -2520 -2432 -2644 -2676 2204 -2332 2476 2564 -2348 2676 2204 -2460 -2180 -2692 2192 -2140 2620 -2576 -2696 2140 2244 2616 -2232 2656 -2296 2248 -2332 2616 -2548 -2620 -2268 2180 -2340 -2272 2272 -2572 -2484 -2612 -2652 -2388 -2716 -2180 -2596 -2696
32.75/32.81 d NODES 890
32.75/32.81 d CHECKS 24645647
32.75/32.82
32.75/32.82 totalWckTime=32.632 totalCpuTime=31.66
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086224-1215238172/watcher-1086224-1215238172 -o /tmp/evaluation-result-1086224-1215238172/solver-1086224-1215238172 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086224-1215238172.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.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=1616 CPUtime=0
/proc/10508/stat : 10508 (java) D 10506 10508 8486 0 -1 0 177 0 0 0 0 0 0 0 19 0 1 0 135812575 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099863542 0 0 17 0 0 0
/proc/10508/statm: 404 145 119 9 0 46 0
[startup+0.01624 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=11200 CPUtime=0
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 880 0 1 0 0 0 0 0 19 0 2 0 135812575 11468800 632 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 2800 632 330 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11200
[startup+0.101257 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=865884 CPUtime=0.08
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 3692 0 1 0 7 1 0 0 19 0 9 0 135812575 886665216 3167 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216471 3167 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301293 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=866284 CPUtime=0.29
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 5901 0 1 0 26 3 0 0 19 0 9 0 135812575 887074816 5275 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216571 5277 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284
[startup+0.701369 s]
/proc/loadavg: 2.01 1.99 1.83 4/72 10508
/proc/meminfo: memFree=1886824/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=0.68
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 9848 0 1 0 63 5 0 0 19 0 9 0 135812575 888532992 9208 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 9209 2010 9 0 211433 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867708
[startup+1.50152 s]
/proc/loadavg: 2.01 1.99 1.83 4/81 10517
/proc/meminfo: memFree=1837792/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=1.48
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 15390 0 1 0 139 9 0 0 19 0 9 0 135812575 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 14747 2014 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867708 CPUtime=1.29
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 14019 0 1 0 121 8 0 0 25 0 9 0 135812576 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4126874344 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 135812577 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867708 CPUtime=0.17
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 674 0 0 0 17 0 0 0 15 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888532992 14747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867708
[startup+3.10282 s]
/proc/loadavg: 2.01 1.99 1.83 3/81 10517
/proc/meminfo: memFree=1834208/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867708 CPUtime=3.08
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 16327 0 1 0 298 10 0 0 19 0 9 0 135812575 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216927 15682 2014 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867708 CPUtime=2.86
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 14929 0 1 0 277 9 0 0 25 0 9 0 135812576 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4126875592 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 135812577 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867708 CPUtime=0.2
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 701 0 0 0 20 0 0 0 16 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867708 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888532992 15682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867708
[startup+6.30143 s]
/proc/loadavg: 2.01 1.99 1.83 4/81 10517
/proc/meminfo: memFree=1818400/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867620 CPUtime=6.28
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 19608 0 1 0 615 13 0 0 19 0 9 0 135812575 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216905 18937 2005 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867620 CPUtime=5.97
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 15790 0 1 0 587 10 0 0 25 0 9 0 135812576 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4126902632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867620 CPUtime=0.07
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 2419 0 0 0 6 1 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867620 CPUtime=0.2
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 703 0 0 0 20 0 0 0 16 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888442880 18937 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867620
[startup+12.7027 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10517
/proc/meminfo: memFree=1818216/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=867620 CPUtime=12.68
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 19614 0 1 0 1254 14 0 0 19 0 9 0 135812575 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 216905 18942 2005 9 0 211433 0
[pid=10508/tid=10510] ppid=10506 vsize=867620 CPUtime=12.36
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 15792 0 1 0 1225 11 0 0 25 0 9 0 135812576 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4126902935 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=867620 CPUtime=0.07
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 2419 0 0 0 6 1 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 135812577 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=867620 CPUtime=0.22
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 707 0 0 0 21 1 0 0 15 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=867620 CPUtime=0
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 135812580 888442880 18942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867620
[startup+25.5011 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788584/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=25.46
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 44612 465 1 0 2519 23 3 1 19 0 9 0 135812575 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27022 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=24.56
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 23703 465 1 0 2438 14 3 1 25 0 9 0 135812576 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4126880535 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.38
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 935 465 0 0 33 1 3 1 15 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 11 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 868032
Solver just ended. Dumping a history of the last processes samples
[startup+28.7027 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788520/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=28.65
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 44965 465 1 0 2838 23 3 1 19 0 9 0 135812575 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27036 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=27.73
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24040 465 1 0 2755 14 3 1 25 0 9 0 135812576 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4126878056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.4
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 950 465 0 0 35 1 3 1 15 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 868032
[startup+30.302 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788520/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=30.26
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45053 465 1 0 2998 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=29.32
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24124 465 1 0 2914 14 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4126880047 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 954 465 0 0 36 1 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 868032
[startup+31.9063 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=31.86
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45274 465 1 0 3158 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=30.93
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24344 465 1 0 3074 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4126880573 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 868032
[startup+32.3024 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.26
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45352 465 1 0 3198 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.33
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24422 465 1 0 3114 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4127088240 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.26
Current children cumulated vsize (KiB) 868032
[startup+32.7024 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.66
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45706 465 1 0 3238 24 3 1 19 0 9 0 135812575 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27041 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.73
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 24777 465 1 0 3154 15 3 1 25 0 9 0 135812576 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4127358205 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 955 465 0 0 36 1 3 1 16 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.66
Current children cumulated vsize (KiB) 868032
[startup+32.8025 s]
/proc/loadavg: 2.00 1.99 1.83 3/81 10521
/proc/meminfo: memFree=1788456/2055920 swapFree=4191676/4192956
[pid=10508] ppid=10506 vsize=868032 CPUtime=32.75
/proc/10508/stat : 10508 (java) S 10506 10508 8486 0 -1 0 45948 465 1 0 3247 24 3 1 19 0 9 0 135812575 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10508/statm: 217008 27044 2638 9 0 211514 0
[pid=10508/tid=10510] ppid=10506 vsize=868032 CPUtime=31.83
/proc/10508/task/10510/stat : 10510 (java) R 10506 10508 8486 0 -1 64 25017 465 1 0 3164 15 3 1 25 0 9 0 135812576 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4127404112 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10511] ppid=10506 vsize=868032 CPUtime=0.55
/proc/10508/task/10511/stat : 10511 (java) S 10506 10508 8486 0 -1 64 19113 465 0 0 46 5 3 1 16 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10512] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10512/stat : 10512 (java) S 10506 10508 8486 0 -1 64 17 465 0 0 0 0 3 1 17 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10513] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10513/stat : 10513 (java) S 10506 10508 8486 0 -1 64 15 465 0 0 0 0 3 1 16 0 9 0 135812577 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10514] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10514/stat : 10514 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 24 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10515] ppid=10506 vsize=868032 CPUtime=0.41
/proc/10508/task/10515/stat : 10515 (java) S 10506 10508 8486 0 -1 64 956 465 0 0 36 1 3 1 17 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10516] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10516/stat : 10516 (java) S 10506 10508 8486 0 -1 64 1 465 0 0 0 0 3 1 25 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10508/tid=10517] ppid=10506 vsize=868032 CPUtime=0.04
/proc/10508/task/10517/stat : 10517 (java) S 10506 10508 8486 0 -1 64 12 465 0 0 0 0 3 1 15 0 9 0 135812580 888864768 27044 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.75
Current children cumulated vsize (KiB) 868032
Child status: 0
Real time (s): 32.8528
CPU time (s): 32.804
CPU user time (s): 32.5241
CPU system time (s): 0.279957
CPU usage (%): 99.8515
Max. virtual memory (cumulated for all children) (KiB): 868032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.5241
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46540
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= 2728
involuntary context switches= 2858
runsolver used 0.044993 second user time and 0.113982 second system time
The end
Begin job on node63 at 2008-07-05 08:09:32
IDJOB=1086224
IDBENCH=57779
IDSOLVER=364
FILE ID=node63/1086224-1215238172
PBS_JOBID= 7881861
Free space on /tmp= 66524 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp06/normalized-fapp06-0500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086224-1215238172/watcher-1086224-1215238172 -o /tmp/evaluation-result-1086224-1215238172/solver-1086224-1215238172 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086224-1215238172.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7fe976fa4ce71b2c5a4965beb0a6326a
RANDOM SEED=484664229
node63.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.256
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 : 5914.62
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.256
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1887368 kB
Buffers: 4644 kB
Cached: 75540 kB
SwapCached: 260 kB
Active: 93472 kB
Inactive: 16060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1887368 kB
SwapTotal: 4192956 kB
SwapFree: 4191676 kB
Dirty: 2900 kB
Writeback: 0 kB
Mapped: 41892 kB
Slab: 44556 kB
Committed_AS: 397868 kB
PageTables: 1612 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66520 MiB
End job on node63 at 2008-07-05 08:10:05