0.01/0.09
0.01/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.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-2099260-1247417862.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.29/0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.29/0.37 => wckTime=0.135 cpuTime=0.12 mem=7M892
0.29/0.38
0.29/0.38 relations being loaded...
0.49/0.58
0.49/0.58 constraints being loaded...
0.78/0.82 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.78/0.82 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2637 minDegree=11
0.78/0.82 maxDegree=22 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.06 symmetryCpuTime=0.04
0.78/0.82 => wckTime=0.585 cpuTime=0.42 mem=18M630
0.78/0.89
0.78/0.89 solver IterativeSystematicSolver being built...
0.97/1.04 => wckTime=0.804 cpuTime=0.54 mem=21M156
0.97/1.10
0.97/1.10 preprocessing
0.97/1.10 nbConstraintChecks=70947 nbPropagations=984 nbRevisions=7568 nbUselessRevisions=6085 nbSingletonTests=56
0.97/1.10 nbEffectiveSingletonTests=0 nbACRemovals=1 nbFoundSingletons=0 nbRemovedValues=1 detectedInconsistency=no
0.97/1.10 => wckTime=0.056 cpuTime=0.04 mem=21M156
1.17/1.22
1.17/1.22 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M164)
40.58/41.09
40.58/41.09 search
40.58/41.09 run=19 nbConstraintChecks=213499155 minDepth=1 maxDepth=40 nbPropagations=9267946 nbRevisions=123383555
40.58/41.09 nbUselessRevisions=99529911 nbAssignments=161019 nbFailedAssignments=64022 nbBacktracks=96799
40.58/41.09 nbVisitedNodes=280552 nbRestartNogoods=142 nbFoundSolutions=1 nbSEliminables=8.51 nbREliminables=1.43
40.58/41.09 nbIEliminables=0.05 nbDEliminables=0 nbPEliminables=0
40.58/41.09 => wckTime=40.041 cpuTime=39.58 mem=22M164
40.58/41.09
40.58/41.09 global
40.58/41.09 nbConstraintChecks=213570102 nbPropagations=9268930 nbRevisions=123391123 nbUselessRevisions=99535996
40.58/41.09 nbRestartNogoods=142 solvingWckTime=40.045 solvingCpuTime=39.58 expiredTime=no totalExploration=no
40.58/41.09 nbFoundSolutions=1 firstSolutionCpuTime=40.12 globalCpuTime=40.17
40.58/41.09 => wckTime=40.851 cpuTime=40.12 mem=22M164
40.58/41.09
40.58/41.09 s SATISFIABLE
40.58/41.09 v 18 12 18 1 18 16 14 4 10 7 10 8 12 2 17 3 9 4 10 15 5 0 7 13 14 8 6 11 18 4 13 15 10 0 14 3 6 9 15 3
40.58/41.09 d NODES 161019
40.58/41.09 d CHECKS 213570102
40.58/41.09
40.58/41.09 totalWckTime=40.907 totalCpuTime=40.17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099260-1247417862/watcher-2099260-1247417862 -o /tmp/evaluation-result-2099260-1247417862/solver-2099260-1247417862 -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-2099260-1247417862.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.00 2.00 2.00 4/80 30592
/proc/meminfo: memFree=1581184/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=1616 CPUtime=0
/proc/30592/stat : 30592 (java) R 30590 30592 30282 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 28849491 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/30592/statm: 404 148 122 9 0 46 0
[startup+0.0174959 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 30592
/proc/meminfo: memFree=1581184/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=11260 CPUtime=0.01
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 882 0 1 0 0 1 0 0 18 0 2 0 28849491 11530240 636 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 2815 636 330 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11260
[startup+0.101505 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 30592
/proc/meminfo: memFree=1581184/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=865984 CPUtime=0.09
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 3770 0 1 0 7 2 0 0 18 0 9 0 28849491 886767616 3225 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216496 3225 1701 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301523 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 30592
/proc/meminfo: memFree=1581184/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=866224 CPUtime=0.29
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 5813 0 1 0 25 4 0 0 18 0 9 0 28849491 887013376 5179 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216556 5179 1980 9 0 211014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866224
[startup+0.701567 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 30592
/proc/meminfo: memFree=1581184/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867080 CPUtime=0.68
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 8134 0 1 0 64 4 0 0 18 0 9 0 28849491 887889920 7487 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216770 7487 2007 9 0 211228 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867080
[startup+1.50265 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1551672/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=1.47
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17119 290 1 0 139 8 0 0 18 0 9 0 28849491 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10786 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=1.14
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11960 290 1 0 109 5 0 0 25 0 9 0 28849492 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4126901356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.23
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 731 290 0 0 23 0 0 0 15 0 9 0 28849496 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 5 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867928
[startup+3.10283 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1548152/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=3.05
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17142 290 1 0 297 8 0 0 18 0 9 0 28849491 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10807 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=2.7
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11966 290 1 0 265 5 0 0 25 0 9 0 28849492 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4126892400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 17 0 9 0 28849493 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 748 290 0 0 26 0 0 0 15 0 9 0 28849496 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 5 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10807 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867928
[startup+6.30117 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547896/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=6.22
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17161 290 1 0 614 8 0 0 18 0 9 0 28849491 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10811 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=5.87
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11969 290 1 0 582 5 0 0 25 0 9 0 28849492 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4125952294 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10811 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867928
[startup+12.7019 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547704/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=12.56
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17164 290 1 0 1248 8 0 0 18 0 9 0 28849491 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10812 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=12.2
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11972 290 1 0 1215 5 0 0 25 0 9 0 28849492 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4126904098 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10812 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867928
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547832/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=25.23
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17166 290 1 0 2515 8 0 0 18 0 9 0 28849491 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10814 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=24.88
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11974 290 1 0 2483 5 0 0 25 0 9 0 28849492 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4126892347 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867928
Solver just ended. Dumping a history of the last processes samples
[startup+31.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=31.57
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17167 290 1 0 3149 8 0 0 18 0 9 0 28849491 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10815 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=31.23
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11975 290 1 0 3117 6 0 0 25 0 9 0 28849492 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4126892464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.57
Current children cumulated vsize (KiB) 867928
[startup+35.1023 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=34.74
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17167 290 1 0 3466 8 0 0 18 0 9 0 28849491 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10815 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=34.4
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11975 290 1 0 3434 6 0 0 25 0 9 0 28849492 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4126974505 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.74
Current children cumulated vsize (KiB) 867928
[startup+38.3017 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=37.91
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17167 290 1 0 3783 8 0 0 18 0 9 0 28849491 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10815 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=37.57
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11975 290 1 0 3751 6 0 0 25 0 9 0 28849492 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4126889347 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 867928
[startup+39.9018 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=39.5
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17167 290 1 0 3942 8 0 0 18 0 9 0 28849491 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10815 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=39.15
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11975 290 1 0 3909 6 0 0 25 0 9 0 28849492 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4126892324 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.5
Current children cumulated vsize (KiB) 867928
[startup+40.7069 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=40.29
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17167 290 1 0 4021 8 0 0 18 0 9 0 28849491 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10815 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=39.95
/proc/30592/task/30594/stat : 30594 (java) R 30590 30592 30282 0 -1 64 11975 290 1 0 3989 6 0 0 25 0 9 0 28849492 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4126910052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 750 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.29
Current children cumulated vsize (KiB) 867928
[startup+41.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30605
/proc/meminfo: memFree=1547768/2055920 swapFree=4192812/4192956
[pid=30592] ppid=30590 vsize=867928 CPUtime=40.68
/proc/30592/stat : 30592 (java) S 30590 30592 30282 0 -1 0 17267 290 1 0 4060 8 0 0 18 0 9 0 28849491 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30592/statm: 216982 10911 2656 9 0 211418 0
[pid=30592/tid=30594] ppid=30590 vsize=867928 CPUtime=40.33
/proc/30592/task/30594/stat : 30594 (java) S 30590 30592 30282 0 -1 64 12074 290 1 0 4027 6 0 0 25 0 9 0 28849492 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30595] ppid=30590 vsize=867928 CPUtime=0.05
/proc/30592/task/30595/stat : 30595 (java) S 30590 30592 30282 0 -1 64 3585 290 0 0 5 0 0 0 16 0 9 0 28849493 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30592/tid=30596] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30596/stat : 30596 (java) S 30590 30592 30282 0 -1 64 17 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30597] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30597/stat : 30597 (java) S 30590 30592 30282 0 -1 64 8 290 0 0 0 0 0 0 16 0 9 0 28849493 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30598] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30598/stat : 30598 (java) S 30590 30592 30282 0 -1 64 2 290 0 0 0 0 0 0 18 0 9 0 28849496 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30599] ppid=30590 vsize=867928 CPUtime=0.26
/proc/30592/task/30599/stat : 30599 (java) S 30590 30592 30282 0 -1 64 751 290 0 0 26 0 0 0 16 0 9 0 28849496 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30600] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30600/stat : 30600 (java) S 30590 30592 30282 0 -1 64 1 290 0 0 0 0 0 0 19 0 9 0 28849496 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30592/tid=30601] ppid=30590 vsize=867928 CPUtime=0
/proc/30592/task/30601/stat : 30601 (java) S 30590 30592 30282 0 -1 64 19 290 0 0 0 0 0 0 15 0 9 0 28849496 888758272 10911 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.68
Current children cumulated vsize (KiB) 867928
Child status: 0
Real time (s): 41.1526
CPU time (s): 40.7108
CPU user time (s): 40.6088
CPU system time (s): 0.101984
CPU usage (%): 98.9264
Max. virtual memory (cumulated for all children) (KiB): 867928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.6088
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17583
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= 1846
involuntary context switches= 1906
runsolver used 0.052991 second user time and 0.143978 second system time
The end
Begin job on node64 at 2009-07-12 18:57:42
IDJOB=2099260
IDBENCH=60047
IDSOLVER=774
FILE ID=node64/2099260-1247417862
PBS_JOBID= 9510648
Free space on /tmp= 66348 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-20_ext.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-2099260-1247417862/watcher-2099260-1247417862 -o /tmp/evaluation-result-2099260-1247417862/solver-2099260-1247417862 -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-2099260-1247417862.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d1c1178443fa4c2f12b50c79f62b5713
RANDOM SEED=278189290
node64.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.220
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.220
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: 1581664 kB
Buffers: 74716 kB
Cached: 232916 kB
SwapCached: 0 kB
Active: 246672 kB
Inactive: 148760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 108304 kB
Slab: 63636 kB
Committed_AS: 1019336 kB
PageTables: 1936 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= 66344 MiB
End job on node64 at 2009-07-12 18:58:23