0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.28 name=HOME/instance-2098760-1247416896.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.39/0.47 nbVariables=1260 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=2520
0.39/0.47 => wckTime=0.223 cpuTime=0.16 mem=10M818
0.39/0.47
0.39/0.47 predicates being loaded...
0.49/0.53
0.49/0.53 constraints being loaded...
1.77/1.83 nbConstraints=1045 nbGlobalConstraints=145 nbConflictsStructures=1 nbSharedConflictsStructures=899
1.77/1.83 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=899 minDegree=4 maxDegree=11
1.77/1.83 minArity=3 avgArity=9.38 maxArity=600 nbGenerators=64 nbFusions=0 symmetryWckTime=0.981 symmetryCpuTime=0.75
1.77/1.83 => wckTime=1.589 cpuTime=1.2 mem=27M898
1.87/1.91
1.87/1.91 solver IterativeSystematicSolver being built...
1.97/2.01
1.97/2.01 INFO : Forward propagation technique limited
2.07/2.13 => wckTime=1.891 cpuTime=1.39 mem=33M761
2.37/2.41
2.37/2.41 preprocessing
2.37/2.41 nbConstraintChecks=9555 nbValidityChecks=9364 nbPropagations=4670 nbRevisions=8131 nbUselessRevisions=6299
2.37/2.41 nbSingletonTests=1375 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
2.37/2.41 detectedInconsistency=no
2.37/2.41 => wckTime=0.275 cpuTime=0.22 mem=34M729
13.85/14.08
13.85/14.08 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=41M492)
18.99/19.23
18.99/19.23 search
18.99/19.23 run=11 nbConstraintChecks=555692 nbValidityChecks=1726929 minDepth=115 maxDepth=1260 nbPropagations=1141041
18.99/19.23 nbRevisions=4156125 nbUselessRevisions=3377757 nbAssignments=19954 nbFailedAssignments=2202 nbBacktracks=14157
18.99/19.23 nbVisitedNodes=26654 nbRestartNogoods=83 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=847.68
18.99/19.23 nbIEliminables=118.81 nbDEliminables=0 nbPEliminables=0
18.99/19.23 => wckTime=17.094 cpuTime=16.81 mem=41M492
18.99/19.23
18.99/19.23 global
18.99/19.23 nbConstraintChecks=565247 nbValidityChecks=1736293 nbPropagations=1145711 nbRevisions=4164256
18.99/19.23 nbUselessRevisions=3384056 nbRestartNogoods=83 solvingWckTime=17.096 solvingCpuTime=16.81 expiredTime=no
18.99/19.23 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=18.19 globalCpuTime=18.24
18.99/19.23 => wckTime=18.991 cpuTime=18.2 mem=41M492
18.99/19.23
18.99/19.23 s SATISFIABLE
18.99/19.23 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
18.99/19.23 d NODES 19954
18.99/19.23 d CHECKS 565247
18.99/19.24
18.99/19.24 totalWckTime=19.058 totalCpuTime=18.24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098760-1247416896/watcher-2098760-1247416896 -o /tmp/evaluation-result-2098760-1247416896/solver-2098760-1247416896 -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-2098760-1247416896.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.09 2.00 1.97 3/80 31963
/proc/meminfo: memFree=1283896/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=200 CPUtime=0
/proc/31963/stat : 31963 (java) R 31961 31963 31692 0 -1 0 212 0 0 0 0 0 0 0 18 0 1 0 28752726 204800 33 996147200 134512640 134550932 4294955968 18446744073709551615 9286203 0 0 4096 0 0 0 0 17 0 0 0
/proc/31963/statm: 68 37 28 9 0 6 0
[startup+0.0721589 s]
/proc/loadavg: 2.09 2.00 1.97 3/80 31963
/proc/meminfo: memFree=1283896/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=864144 CPUtime=0.06
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 3128 0 1 0 5 1 0 0 18 0 9 0 28752726 884883456 2613 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 216036 2613 1241 9 0 210929 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864144
[startup+0.101164 s]
/proc/loadavg: 2.09 2.00 1.97 3/80 31963
/proc/meminfo: memFree=1283896/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=865980 CPUtime=0.09
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 3780 0 1 0 7 2 0 0 18 0 9 0 28752726 886763520 3237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 216495 3238 1708 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.30172 s]
/proc/loadavg: 2.09 2.00 1.97 3/80 31963
/proc/meminfo: memFree=1283896/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=866380 CPUtime=0.29
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 6015 0 1 0 26 3 0 0 18 0 9 0 28752726 887173120 5381 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 216595 5382 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701279 s]
/proc/loadavg: 2.09 2.00 1.97 3/80 31963
/proc/meminfo: memFree=1283896/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=867804 CPUtime=0.69
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 9333 0 1 0 64 5 0 0 18 0 9 0 28752726 888631296 8687 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 216951 8687 2038 9 0 211387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867804
[startup+1.50243 s]
/proc/loadavg: 2.08 2.00 1.97 4/91 31974
/proc/meminfo: memFree=1250016/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868452 CPUtime=1.46
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 21721 489 1 0 120 13 13 0 18 0 9 0 28752726 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217113 17028 2063 9 0 211549 0
[pid=31963/tid=31965] ppid=31961 vsize=868452 CPUtime=1.19
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 17453 489 1 0 95 11 13 0 19 0 9 0 28752726 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868452 CPUtime=0.15
/proc/31963/task/31966/stat : 31966 (java) R 31961 31963 31692 0 -1 64 2486 489 0 0 2 0 13 0 16 0 9 0 28752728 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868452 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 11 489 0 0 0 0 13 0 21 0 9 0 28752728 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868452 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 4 489 0 0 0 0 13 0 22 0 9 0 28752728 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868452 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868452 CPUtime=0.35
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 944 489 0 0 22 0 13 0 16 0 9 0 28752730 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868452 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868452 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 15 0 9 0 28752730 889294848 17028 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868452
[startup+3.10173 s]
/proc/loadavg: 2.08 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1217832/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=3.06
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27772 489 1 0 277 16 13 0 18 0 9 0 28752726 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19353 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=2.59
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21021 489 1 0 234 12 13 0 25 0 9 0 28752726 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4127232133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 17 0 9 0 28752728 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.47
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1010 489 0 0 34 0 13 0 15 0 9 0 28752730 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868580
[startup+6.30234 s]
/proc/loadavg: 2.08 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216296/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=6.22
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27814 489 1 0 593 16 13 0 18 0 9 0 28752726 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19364 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=5.73
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21024 489 1 0 548 12 13 0 25 0 9 0 28752726 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4127172913 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.49
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1020 489 0 0 35 1 13 0 15 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19364 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) 868580
[startup+12.7026 s]
/proc/loadavg: 2.07 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=12.56
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27815 489 1 0 1227 16 13 0 18 0 9 0 28752726 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19364 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=12.07
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21025 489 1 0 1182 12 13 0 25 0 9 0 28752726 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4127172913 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.49
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1020 489 0 0 35 1 13 0 15 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19364 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) 868580
Solver just ended. Dumping a history of the last processes samples
[startup+15.9022 s]
/proc/loadavg: 2.07 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=15.73
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27863 489 1 0 1544 16 13 0 18 0 9 0 28752726 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19373 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=15.22
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21026 489 1 0 1497 12 13 0 22 0 9 0 28752726 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4127291902 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1067 489 0 0 37 1 13 0 16 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 868580
[startup+17.5025 s]
/proc/loadavg: 2.06 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=17.32
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27864 489 1 0 1703 16 13 0 18 0 9 0 28752726 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19373 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=16.81
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21027 489 1 0 1656 12 13 0 25 0 9 0 28752726 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4127291906 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1067 489 0 0 37 1 13 0 16 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.32
Current children cumulated vsize (KiB) 868580
[startup+18.3016 s]
/proc/loadavg: 2.06 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=18.1
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27866 489 1 0 1781 16 13 0 18 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19374 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=17.59
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21027 489 1 0 1734 12 13 0 17 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4127291859 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1069 489 0 0 37 1 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.1
Current children cumulated vsize (KiB) 868580
[startup+18.7067 s]
/proc/loadavg: 2.06 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=18.5
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27867 489 1 0 1821 16 13 0 18 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19374 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=17.99
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21028 489 1 0 1774 12 13 0 20 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4127177596 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1069 489 0 0 37 1 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.5
Current children cumulated vsize (KiB) 868580
[startup+19.1018 s]
/proc/loadavg: 2.06 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=18.89
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27867 489 1 0 1860 16 13 0 18 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19374 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=18.38
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21028 489 1 0 1813 12 13 0 23 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4127182395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1069 489 0 0 37 1 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 868580
[startup+19.2018 s]
/proc/loadavg: 2.06 2.00 1.97 3/89 31976
/proc/meminfo: memFree=1216104/2055920 swapFree=4192812/4192956
[pid=31963] ppid=31961 vsize=868580 CPUtime=18.99
/proc/31963/stat : 31963 (java) S 31961 31963 31692 0 -1 0 27867 489 1 0 1870 16 13 0 18 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31963/statm: 217145 19374 2662 9 0 211581 0
[pid=31963/tid=31965] ppid=31961 vsize=868580 CPUtime=18.48
/proc/31963/task/31965/stat : 31965 (java) R 31961 31963 31692 0 -1 64 21028 489 1 0 1823 12 13 0 24 0 9 0 28752726 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4127167784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31966] ppid=31961 vsize=868580 CPUtime=0.22
/proc/31963/task/31966/stat : 31966 (java) S 31961 31963 31692 0 -1 64 4885 489 0 0 8 1 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31967] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31967/stat : 31967 (java) S 31961 31963 31692 0 -1 64 21 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31968] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31968/stat : 31968 (java) S 31961 31963 31692 0 -1 64 12 489 0 0 0 0 13 0 16 0 9 0 28752728 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31969] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31969/stat : 31969 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 23 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31970] ppid=31961 vsize=868580 CPUtime=0.51
/proc/31963/task/31970/stat : 31970 (java) S 31961 31963 31692 0 -1 64 1069 489 0 0 37 1 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31963/tid=31971] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31971/stat : 31971 (java) S 31961 31963 31692 0 -1 64 1 489 0 0 0 0 13 0 24 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31963/tid=31972] ppid=31961 vsize=868580 CPUtime=0.13
/proc/31963/task/31972/stat : 31972 (java) S 31961 31963 31692 0 -1 64 41 489 0 0 0 0 13 0 15 0 9 0 28752730 889425920 19374 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 868580
Child status: 0
Real time (s): 19.2643
CPU time (s): 19.0721
CPU user time (s): 18.8811
CPU system time (s): 0.19097
CPU usage (%): 99.0022
Max. virtual memory (cumulated for all children) (KiB): 870312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8811
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28392
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= 2293
involuntary context switches= 2400
runsolver used 0.032994 second user time and 0.06499 second system time
The end
Begin job on node59 at 2009-07-12 18:41:36
IDJOB=2098760
IDBENCH=58942
IDSOLVER=774
FILE ID=node59/2098760-1247416896
PBS_JOBID= 9510806
Free space on /tmp= 66356 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bibd6/normalized-bibd-6-60-30-3-12_glb.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-2098760-1247416896/watcher-2098760-1247416896 -o /tmp/evaluation-result-2098760-1247416896/solver-2098760-1247416896 -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-2098760-1247416896.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e128a2cef6168486b1acbc41a76929ee
RANDOM SEED=1927181449
node59.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.263
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.263
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: 1284376 kB
Buffers: 92896 kB
Cached: 346928 kB
SwapCached: 0 kB
Active: 469596 kB
Inactive: 214848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1284376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2208 kB
Writeback: 0 kB
Mapped: 265116 kB
Slab: 71808 kB
Committed_AS: 1008496 kB
PageTables: 2332 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= 66356 MiB
End job on node59 at 2009-07-12 18:41:55