0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2097940-1247414178.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.48/0.57 nbVariables=300 nbDomainTypes=13 minDomainSize=42 maxDomainSize=250 nbTotalValues=53536
0.48/0.57 => wckTime=0.325 cpuTime=0.32 mem=9M871
0.48/0.57
0.48/0.57 predicates being loaded...
0.68/0.70
0.68/0.70 constraints being loaded...
20.49/20.79
20.49/20.79 INFO : Stopping converting binary constraints (cpu=20.06, mem = 45M876)
21.87/22.16 nbConstraints=2326 nbMergedConstraints=2051 nbConvertedConstraints=1144 nbConvertConstraintsChecks=37415732
21.87/22.16 nbExtensionStructures=1062 nbSharedExtensionStructures=250 nbConflictsStructures=1283
21.87/22.16 nbSharedConflictsStructures=265 nbUnbuiltConflictsStructures=847 nbSharedBinaryRepresentations=281346
21.87/22.16 nbEvaluationManagers=1068 nbSharedEvaluationManagers=114 minDegree=6 maxDegree=19 minArity=2 maxArity=2
21.87/22.16 nbGenerators=0 nbFusions=0 symmetryWckTime=0.252 symmetryCpuTime=0.18
21.87/22.16 => wckTime=21.915 cpuTime=21.13 mem=50M542
22.06/22.32
22.06/22.32 solver IterativeSystematicSolver being built...
22.27/22.50 => wckTime=22.255 cpuTime=21.27 mem=47M852
23.36/23.60
23.36/23.60 preprocessing
23.36/23.60 nbConstraintChecks=2880982 nbValidityChecks=118410 nbPropagations=405 nbRevisions=4201 nbUselessRevisions=3514
23.36/23.60 nbRemovedValues=25324 detectedInconsistency=no
23.36/23.60 => wckTime=1.103 cpuTime=1.07 mem=47M852
28.50/28.85
28.50/28.85 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=49M804)
30.18/30.59
30.18/30.59 search
30.18/30.59 run=11 nbConstraintChecks=24270011 nbValidityChecks=15659410 minDepth=35 maxDepth=300 nbPropagations=200139
30.18/30.59 nbRevisions=2105186 nbUselessRevisions=1737969 nbAssignments=2495 nbFailedAssignments=1724 nbBacktracks=325
30.18/30.59 nbVisitedNodes=4346 nbRestartNogoods=129 nbFoundSolutions=1 nbSEliminables=25.32 nbREliminables=11.16
30.18/30.59 nbIEliminables=149.58 nbDEliminables=0 nbPEliminables=0
30.18/30.59 => wckTime=8.092 cpuTime=7.93 mem=49M804
30.18/30.59
30.18/30.60 global
30.18/30.60 nbConstraintChecks=27150993 nbValidityChecks=15777820 nbPropagations=200544 nbRevisions=2109387
30.18/30.60 nbUselessRevisions=1741483 nbRestartNogoods=129 solvingWckTime=8.094 solvingCpuTime=7.93 expiredTime=no
30.18/30.60 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=29.19 globalCpuTime=29.25
30.18/30.60 => wckTime=30.352 cpuTime=29.2 mem=49M804
30.28/30.60
30.28/30.60 s SATISFIABLE
30.28/30.60 v 2276 -2604 2616 2372 -2360 2200 -2528 2344 2344 2396 -2240 2168 2260 -2400 -2616 2496 -2328 2572 -2612 2616 -2160 -2440 2200 -2160 -2584 -2160 -2348 -2516 -2224 2480 -2252 -2200 -2588 -2372 -2588 -2576 -2516 2380 2228 -2564 -2248 -2328 -2312 -2172 -2184 -2524 -2576 -2160 2160 2300 -2640 -2512 -2168 -2556 2436 -2288 2564 2484 2552 -2340 2456 -2624 -2624 2248 2384 2464 -2456 -2528 2444 -2480 -2456 2488 -2656 -2600 -2460 -2208 2312 2608 2224 -2564 -2160 2512 -2252 -2292 -2160 2588 -2488 2444 -2568 -2284 -2396 -2356 2608 -2580 -2520 2468 -2632 -2200 2516 -2592 2380 -2568 -2360 -2604 -2320 2280 2584 -2344 2616 -2400 2476 2640 2260 2464 2424 -2356 -2628 2500 2220 2612 2412 2600 2260 -2264 -2292 2616 -2628 2496 2224 2360 -2476 2564 2632 -2324 -2160 -2524 2560 -2484 2288 -2392 -2184 -2472 -2612 2404 -2632 -2200 2172 -2320 -2200 2552 -2504 -2360 2652 -2512 2576 -2564 2524 2212 2556 -2560 -2508 2200 -2572 -2160 2340 -2200 2284 2560 -2392 -2324 -2336 -2420 -2608 -2500 2368 -2652 2516 2568 2604 -2564 -2300 -2496 -2576 2548 -2568 -2596 -2200 2280 2160 -2528 2592 -2584 -2616 2320 2568 -2360 2352 -2556 2560 2272 -2512 2600 2344 2560 -2472 2484 -2528 2440 -2312 -2556 -2188 -2440 2212 -2540 -2592 -2548 2556 -2356 2432 2648 2444 2252 2632 2632 2288 2616 2608 2336 2552 -2488 2656 2200 2600 2384 -2480 -2520 2408 2324 2304 2208 -2608 2196 -2388 -2300 -2248 2592 2656 2540 2608 2592 2536 2616 2468 2596 -2292 2396 2496 2612 2624 -2296 -2384 2604 2616 -2592 2456 -2376 2592 -2520 -2428 -2568 2352 2236 2496 -2468 -2656 2212 2448 -2608 -2456 -2440 -2600 2428 -2316 2208 2200 -2240 -2208 -2364 2320 2412 2656 2172 2648 2568 -2272 2588 -2320 2552 -2496 2480
30.28/30.60 d NODES 2495
30.28/30.60 d CHECKS 27150993
30.28/30.60
30.28/30.60 totalWckTime=30.412 totalCpuTime=29.26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097940-1247414178/watcher-2097940-1247414178 -o /tmp/evaluation-result-2097940-1247414178/solver-2097940-1247414178 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097940-1247414178.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 1841
/proc/meminfo: memFree=1670712/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=18576 CPUtime=0
/proc/1841/stat : 1841 (runsolver) R 1839 1841 31866 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28480494 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1841/statm: 4644 284 249 26 0 2626 0
[startup+0.0131729 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 1841
/proc/meminfo: memFree=1670712/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=1616 CPUtime=0
/proc/1841/stat : 1841 (java) D 1839 1841 31866 0 -1 0 347 0 0 0 0 0 0 0 18 0 1 0 28480494 1654784 151 996147200 134512640 134550932 4294955968 18446744073709551615 11952932 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1841/statm: 404 151 125 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.105006 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 1841
/proc/meminfo: memFree=1670712/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=865984 CPUtime=0.08
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 3777 0 1 0 7 1 0 0 18 0 9 0 28480494 886767616 3230 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216496 3230 1704 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301021 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 1841
/proc/meminfo: memFree=1670712/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=866224 CPUtime=0.28
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 5845 0 1 0 25 3 0 0 18 0 9 0 28480494 887013376 5211 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216556 5211 1972 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.701054 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 1841
/proc/meminfo: memFree=1670712/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=866716 CPUtime=0.68
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 7689 0 1 0 65 3 0 0 18 0 9 0 28480494 887517184 7043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216679 7043 2031 9 0 211115 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866716
[startup+1.50212 s]
/proc/loadavg: 2.05 2.01 2.00 3/89 1851
/proc/meminfo: memFree=1640496/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=867752 CPUtime=1.47
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 12833 0 1 0 141 6 0 0 18 0 9 0 28480494 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216938 12184 2041 9 0 211374 0
[pid=1841/tid=1843] ppid=1839 vsize=867752 CPUtime=1.26
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 11427 0 1 0 121 5 0 0 25 0 9 0 28480496 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4126915780 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 28480497 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28480498 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28480498 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28480500 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=867752 CPUtime=0.19
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 709 0 0 0 19 0 0 0 16 0 9 0 28480500 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28480500 888578048 12184 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480500 888578048 12184 996147200 134512640 134550932 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) 867752
[startup+3.10124 s]
/proc/loadavg: 2.05 2.01 2.00 3/89 1851
/proc/meminfo: memFree=1628016/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=867752 CPUtime=3.05
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 13826 0 1 0 298 7 0 0 18 0 9 0 28480494 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216938 13175 2041 9 0 211374 0
[pid=1841/tid=1843] ppid=1839 vsize=867752 CPUtime=2.82
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 12394 0 1 0 276 6 0 0 25 0 9 0 28480496 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4126951106 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 28480497 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28480498 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28480498 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28480500 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=867752 CPUtime=0.22
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 735 0 0 0 22 0 0 0 16 0 9 0 28480500 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28480500 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480500 888578048 13175 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867752
[startup+6.3015 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 1851
/proc/meminfo: memFree=1620272/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=867752 CPUtime=6.22
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 15655 0 1 0 613 9 0 0 18 0 9 0 28480494 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216938 15002 2041 9 0 211374 0
[pid=1841/tid=1843] ppid=1839 vsize=867752 CPUtime=5.98
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 14219 0 1 0 590 8 0 0 25 0 9 0 28480496 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4126915703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 28480497 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 28480498 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28480498 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28480500 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=867752 CPUtime=0.22
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 739 0 0 0 22 0 0 0 16 0 9 0 28480500 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28480500 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=867752 CPUtime=0
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480500 888578048 15002 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867752
[startup+12.702 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 1851
/proc/meminfo: memFree=1601840/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=867664 CPUtime=12.57
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 19689 0 1 0 1245 12 0 0 18 0 9 0 28480494 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 216916 19009 2029 9 0 211374 0
[pid=1841/tid=1843] ppid=1839 vsize=867664 CPUtime=12.22
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 15825 0 1 0 1212 10 0 0 25 0 9 0 28480496 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4126913007 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=867664 CPUtime=0.08
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 2416 0 0 0 8 0 0 0 16 0 9 0 28480497 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=867664 CPUtime=0
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28480498 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=867664 CPUtime=0
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28480498 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=867664 CPUtime=0
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28480500 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=867664 CPUtime=0.24
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 747 0 0 0 24 0 0 0 16 0 9 0 28480500 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=867664 CPUtime=0
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28480500 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=867664 CPUtime=0
/proc/1841/task/1851/stat : 1851 (java) R 1839 1841 31866 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28480500 888487936 19009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867664
[startup+25.5021 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1579120/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=25.24
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39347 413 1 0 2499 22 2 1 18 0 9 0 28480494 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25333 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=24.42
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21550 413 1 0 2424 15 2 1 25 0 9 0 28480496 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4127327446 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 17 0 9 0 28480497 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 996 413 0 0 38 1 2 1 15 0 9 0 28480500 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25333 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 7 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25333 996147200 134512640 134550932 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) 868076
Solver just ended. Dumping a history of the last processes samples
[startup+28.7013 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1579056/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=28.4
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39398 413 1 0 2815 22 2 1 18 0 9 0 28480494 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25345 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=27.57
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21586 413 1 0 2739 15 2 1 25 0 9 0 28480496 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4127327420 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 17 0 9 0 28480497 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.44
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 1009 413 0 0 40 1 2 1 16 0 9 0 28480500 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 9 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25345 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.4
Current children cumulated vsize (KiB) 868076
[startup+29.5014 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1579056/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=29.19
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39399 413 1 0 2894 22 2 1 18 0 9 0 28480494 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25346 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=28.36
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21586 413 1 0 2818 15 2 1 25 0 9 0 28480496 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4126637992 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 16 0 9 0 28480497 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.45
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 1010 413 0 0 41 1 2 1 16 0 9 0 28480500 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 9 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.19
Current children cumulated vsize (KiB) 868076
[startup+30.3014 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1578992/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=29.99
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39402 413 1 0 2974 22 2 1 18 0 9 0 28480494 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25347 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=29.15
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21588 413 1 0 2897 15 2 1 25 0 9 0 28480496 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4127348110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 16 0 9 0 28480497 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.45
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 1011 413 0 0 41 1 2 1 16 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 9 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (KiB) 868076
[startup+30.5015 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1578992/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=30.18
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39402 413 1 0 2993 22 2 1 18 0 9 0 28480494 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25347 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=29.34
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21588 413 1 0 2916 15 2 1 25 0 9 0 28480496 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4126916964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 16 0 9 0 28480497 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.45
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 1011 413 0 0 41 1 2 1 16 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 9 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25347 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.18
Current children cumulated vsize (KiB) 868076
[startup+30.6015 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 1855
/proc/meminfo: memFree=1578992/2055920 swapFree=4192812/4192956
[pid=1841] ppid=1839 vsize=868076 CPUtime=30.28
/proc/1841/stat : 1841 (java) S 1839 1841 31866 0 -1 0 39422 413 1 0 3003 22 2 1 18 0 9 0 28480494 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1841/statm: 217019 25352 2663 9 0 211455 0
[pid=1841/tid=1843] ppid=1839 vsize=868076 CPUtime=29.44
/proc/1841/task/1843/stat : 1843 (java) R 1839 1841 31866 0 -1 64 21606 413 1 0 2926 15 2 1 25 0 9 0 28480496 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4127368985 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1844] ppid=1839 vsize=868076 CPUtime=0.42
/proc/1841/task/1844/stat : 1844 (java) S 1839 1841 31866 0 -1 64 15951 413 0 0 35 4 2 1 16 0 9 0 28480497 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1845] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1845/stat : 1845 (java) S 1839 1841 31866 0 -1 64 17 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1846] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1846/stat : 1846 (java) S 1839 1841 31866 0 -1 64 15 413 0 0 0 0 2 1 16 0 9 0 28480498 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1847] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1847/stat : 1847 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 18 0 9 0 28480500 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1848] ppid=1839 vsize=868076 CPUtime=0.45
/proc/1841/task/1848/stat : 1848 (java) S 1839 1841 31866 0 -1 64 1013 413 0 0 41 1 2 1 16 0 9 0 28480500 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1850] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1850/stat : 1850 (java) S 1839 1841 31866 0 -1 64 1 413 0 0 0 0 2 1 19 0 9 0 28480500 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1841/tid=1851] ppid=1839 vsize=868076 CPUtime=0.03
/proc/1841/task/1851/stat : 1851 (java) S 1839 1841 31866 0 -1 64 9 413 0 0 0 0 2 1 15 0 9 0 28480500 888909824 25352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 868076
Child status: 0
Real time (s): 30.631
CPU time (s): 30.3224
CPU user time (s): 30.0634
CPU system time (s): 0.25896
CPU usage (%): 98.9923
Max. virtual memory (cumulated for all children) (KiB): 868076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0634
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39943
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= 2323
involuntary context switches= 2999
runsolver used 0.049992 second user time and 0.103984 second system time
The end
Begin job on node69 at 2009-07-12 17:56:18
IDJOB=2097940
IDBENCH=58035
IDSOLVER=774
FILE ID=node69/2097940-1247414178
PBS_JOBID= 9510509
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp03/normalized-fapp03-0300-7.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097940-1247414178/watcher-2097940-1247414178 -o /tmp/evaluation-result-2097940-1247414178/solver-2097940-1247414178 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097940-1247414178.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 864e3c61ff08e32a4845b7a063b51513
RANDOM SEED=1637104093
node69.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.211
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.211
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: 1671256 kB
Buffers: 39800 kB
Cached: 117824 kB
SwapCached: 0 kB
Active: 263876 kB
Inactive: 63688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1671256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 190392 kB
Slab: 42080 kB
Committed_AS: 1005216 kB
PageTables: 2208 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= 66500 MiB
End job on node69 at 2009-07-12 17:56:49