0.03/0.08
0.03/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.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2094320-1247403424.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=800 nbDomainTypes=23 minDomainSize=1 maxDomainSize=45 nbTotalValues=18972
0.39/0.47 => wckTime=0.226 cpuTime=0.15 mem=10M819
0.39/0.47
0.39/0.47 predicates being loaded...
0.48/0.53
0.48/0.53 constraints being loaded...
8.37/8.40 nbConstraints=30213 nbGlobalConstraints=259 nbSingletonDomainVariables=166 nbConflictsStructures=37
8.37/8.40 nbSharedConflictsStructures=11153 nbUnbuiltConflictsStructures=131 nbSharedBinaryRepresentations=0
8.37/8.40 nbEvaluationManagers=168 nbSharedEvaluationManagers=29786 minDegree=37 maxDegree=366 minArity=4 avgArity=4.11
8.37/8.40 maxArity=20 nbGenerators=9 nbFusions=0 symmetryWckTime=1.719 symmetryCpuTime=0.61
8.37/8.40 => wckTime=8.159 cpuTime=6.07 mem=170M667
8.86/8.96
8.86/8.96 solver IterativeSystematicSolver being built...
10.55/10.69
10.55/10.69 INFO : Forward propagation technique limited
10.65/10.79 => wckTime=10.543 cpuTime=7.15 mem=287M324
49.57/50.04
49.57/50.04 preprocessing
49.57/50.04 nbConstraintChecks=24078096 nbValidityChecks=115558341 nbPropagations=32504 nbRevisions=5488667
49.57/50.04 nbUselessRevisions=5479848 nbSingletonTests=1248 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
49.57/50.04 nbRemovedValues=0 detectedInconsistency=no
49.57/50.04 => wckTime=39.245 cpuTime=38.82 mem=291M362
73.84/74.51
73.84/74.51 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=294M457)
1450.77/1458.19
1450.77/1458.19 search
1450.77/1458.19 run=17 nbConstraintChecks=727969594 nbValidityChecks=4270520092 minDepth=370 maxDepth=800
1450.77/1458.19 nbPropagations=11071220 nbRevisions=946942540 nbUselessRevisions=943464398 nbAssignments=77379
1450.77/1458.19 nbFailedAssignments=25067 nbInferredBacktracks=86 nbBacktracks=43752 nbVisitedNodes=127406 nbRestartNogoods=136
1450.77/1458.19 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=634.53 nbIEliminables=41.93 nbDEliminables=0
1450.77/1458.19 nbPEliminables=0
1450.77/1458.19 => wckTime=1447.402 cpuTime=1440.0 mem=295M466
1450.77/1458.19
1450.77/1458.19 global
1450.77/1458.19 nbConstraintChecks=752047690 nbValidityChecks=4386078433 nbPropagations=11103724 nbRevisions=952431207
1450.77/1458.19 nbUselessRevisions=948944246 nbRestartNogoods=136 solvingWckTime=1447.404 solvingCpuTime=1440.0 expiredTime=no
1450.77/1458.19 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1447.06 globalCpuTime=1447.2
1450.77/1458.19 => wckTime=1457.95 cpuTime=1447.16 mem=295M466
1450.77/1458.19
1450.77/1458.19 s SATISFIABLE
1450.77/1458.19 v 36 7 26 28 10 11 9 29 11 21 2 6 39 3 34 12 27 2 8 8 1 6 28 36 30 25 38 5 8 16 27 17 8 41 5 3 15 33 26 1 28 16 20 4 43 26 10 10 12 39 32 13 1 15 3 14 10 42 15 32 23 0 13 0 4 19 16 36 38 31 29 2 23 33 0 7 3 23 1 22 18 18 3 25 24 28 23 30 0 19 5 26 8 29 20 8 5 11 30 15 40 24 32 1 23 31 19 17 38 30 4 25 18 33 19 29 14 3 16 22 20 25 28 5 24 17 19 18 5 12 27 7 34 38 24 6 1 13 2 16 32 15 17 26 11 28 31 44 37 14 6 43 41 35 37 17 20 21 32 13 22 31 35 30 40 9 22 27 28 24 30 4 39 7 38 2 12 22 14 18 3 17 33 10 12 31 26 38 20 11 34 16 29 4 25 29 27 7 27 9 21 44 14 8 12 33 14 35 0 35 42 6 10 28 39 25 34 18 9 20 41 18 30 39 7 12 4 32 6 13 7 1 22 9 14 4 7 21 22 8 13 21 43 32 17 24 9 16 13 9 14 13 1 13 15 0 1 24 14 41 3 21 10 42 19 11 22 33 9 7 21 36 9 37 20 43 15 12 29 23 22 33 0 40 10 25 43 11 33 17 18 25 35 17 23 31 3 24 6 34 15 36 1 29 38 31 4 37 21 20 23 42 11 37 35 39 41 30 8 23 40 7 26 26 40 19 39 11 27 24 28 0 5 27 5 27 29 36 0 8 36 10 2 21 15 5 16 12 22 37 38 34 16 34 33 17 14 4 15 44 2 18 26 40 44 41 12 6 4 35 23 2 37 13 42 16 0 31 29 30 21 32 18 19 31 41 19 20 5 32 2 9 34 11 35 6 24 25 19 37 1 6 7 5 9 2 1 2 9 4 5 5 8 6 5 1 9 1 8 7 1 2 3 0 4 2 0 5 1 2 8 7 2 6 4 5 5 9 4 2 9 6 1 6 4 1 0 5 6 0 9 9 6 8 2 1 1 5 4 6 7 9 4 5 8 1 3 4 4 5 8 6 4 6 0 1 4 9 5 8 6 7 0 9 7 4 1 9 7 5 1 5 3 4 8 5 8 7 2 3 4 6 3 0 0 0 6 0 5 3 5 8 9 8 7 1 9 1 0 5 0 5 8 6 1 8 2 4 2 8 7 5 8 6 4 6 8 3 4 4 4 2 9 6 4 0 3 4 1 5 1 3 3 3 4 3 4 7 5 0 6 4 4 1 3 6 9 0 6 3 8 2 3 9 1 3 4 3 2 3 3 1 4 3 9 1 3 8 3 1 3 8 0 1 4 9 6 7 4 4 2 6 8 0 2 0 6 1 4 8 8 4 4 7 1 1 4 8 9 5 8 5 5 2 8 3 4 8 3 6 4 3 4 3 4 3 0 9 7 4 2 1 6 1 2 5 7 1 1 8 0 8 7 5 6 3 4 2 3 5 7 6 6 6 3 6 2 7 5 2 5 3 2 3 7 8 1 5 5 5 0 3 6 0 7 3 9 3 1 4 2 7 6 6 6 6 9 9 9 1 7 2 9 6 9 7 0 6 8 6 8 3 5 5 2 4 4 0 6 3 6 3 8 0 8 4 6 8 1 8 1 2 9 5 7 3 3 9 1 9 5 8 8 3 9 3 5 0 1 9 3 9 9 6 5 5 7 7 0 3 9 1 9 1 8 1 7 7 9 9 2 7 8 7 4 7 8 9 7 7 0 0 0 8 8 9 9 9 0 2 0 0 0 0 0 0 0 0 0 0
1450.77/1458.19 d NODES 77379
1450.77/1458.19 d CHECKS 752047690
1450.77/1458.20
1450.77/1458.20 totalWckTime=1458.017 totalCpuTime=1447.21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094320-1247403424/watcher-2094320-1247403424 -o /tmp/evaluation-result-2094320-1247403424/solver-2094320-1247403424 -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-2094320-1247403424.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.02 2.02 1.81 4/80 31633
/proc/meminfo: memFree=1709744/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=152 CPUtime=0
/proc/31633/stat : 31633 (java) R 31631 31633 31238 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27408556 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 7017252 0 0 4096 0 0 0 0 17 0 0 0
/proc/31633/statm: 38 26 19 9 0 4 0
[startup+0.046116 s]
/proc/loadavg: 2.02 2.02 1.81 4/80 31633
/proc/meminfo: memFree=1709744/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=861936 CPUtime=0.03
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 2391 0 1 0 2 1 0 0 18 0 5 0 27408556 882622464 1970 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 215484 1971 905 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.102124 s]
/proc/loadavg: 2.02 2.02 1.81 4/80 31633
/proc/meminfo: memFree=1709744/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=865980 CPUtime=0.09
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 3759 0 1 0 7 2 0 0 18 0 9 0 27408556 886763520 3222 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216495 3223 1703 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.302154 s]
/proc/loadavg: 2.02 2.02 1.81 4/80 31633
/proc/meminfo: memFree=1709744/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=866380 CPUtime=0.29
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 6028 0 1 0 25 4 0 0 18 0 9 0 27408556 887173120 5395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216595 5405 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701213 s]
/proc/loadavg: 2.02 2.02 1.81 4/80 31633
/proc/meminfo: memFree=1709744/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=867780 CPUtime=0.68
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 9614 0 1 0 62 6 0 0 18 0 9 0 27408556 888606720 8968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216945 8969 2038 9 0 211381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867780
[startup+1.50133 s]
/proc/loadavg: 2.02 2.02 1.81 3/89 31642
/proc/meminfo: memFree=1661928/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=867692 CPUtime=1.49
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 18547 0 1 0 138 11 0 0 18 0 9 0 27408556 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216923 17875 2028 9 0 211381 0
[pid=31633/tid=31635] ppid=31631 vsize=867692 CPUtime=1.25
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 15796 0 1 0 117 8 0 0 25 0 9 0 27408557 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 102093965 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=867692 CPUtime=0.05
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 1373 0 0 0 5 0 0 0 16 0 9 0 27408559 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31637] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31638] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31639] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27408561 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=867692 CPUtime=0.15
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 677 0 0 0 15 0 0 0 16 0 9 0 27408561 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27408561 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27408561 888516608 17875 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867692
[startup+3.10256 s]
/proc/loadavg: 2.02 2.02 1.81 3/89 31642
/proc/meminfo: memFree=1634920/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=867692 CPUtime=3.09
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 23471 0 1 0 285 24 0 0 18 0 9 0 27408556 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216924 22797 2029 9 0 211382 0
[pid=31633/tid=31635] ppid=31631 vsize=867692 CPUtime=2.6
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 15819 0 1 0 240 20 0 0 25 0 9 0 27408557 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=867692 CPUtime=0.25
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 6220 0 0 0 23 2 0 0 17 0 9 0 27408559 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31637] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31638] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31639] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27408561 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=867692 CPUtime=0.21
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 731 0 0 0 21 0 0 0 16 0 9 0 27408561 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27408561 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27408561 888516608 22797 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867692
[startup+6.30203 s]
/proc/loadavg: 2.02 2.02 1.81 3/89 31642
/proc/meminfo: memFree=1558632/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=867692 CPUtime=6.28
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 45968 0 1 0 508 120 0 0 18 0 9 0 27408556 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 216923 45289 2029 9 0 211381 0
[pid=31633/tid=31635] ppid=31631 vsize=867692 CPUtime=5.38
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 15824 0 1 0 430 108 0 0 25 0 9 0 27408557 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=867696 CPUtime=0.66
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 28709 0 0 0 56 10 0 0 17 0 9 0 27408559 888520704 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31637] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31638] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27408559 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31639] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 27408561 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=867692 CPUtime=0.21
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 734 0 0 0 21 0 0 0 16 0 9 0 27408561 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=867696 CPUtime=0
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 27408561 888520704 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=867692 CPUtime=0
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27408561 888516608 45289 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867692
[startup+12.702 s]
/proc/loadavg: 2.10 2.04 1.82 3/89 31646
/proc/meminfo: memFree=1394328/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=12.63
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132640 2906 1 0 1015 154 90 4 18 0 9 0 27408556 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81188 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=10.15
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29071 2906 1 0 801 120 90 4 25 0 9 0 27408557 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4127357761 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 17 0 9 0 27408559 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.28
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 980 2906 0 0 33 1 90 4 15 0 9 0 27408561 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 868428
[startup+25.5028 s]
/proc/loadavg: 2.07 2.04 1.82 3/89 31646
/proc/meminfo: memFree=1394328/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=25.31
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132657 2906 1 0 2283 154 90 4 18 0 9 0 27408556 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81197 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=22.81
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29078 2906 1 0 2067 120 90 4 25 0 9 0 27408557 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4127347007 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.29
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 990 2906 0 0 34 1 90 4 16 0 9 0 27408561 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 868428
[startup+51.1026 s]
/proc/loadavg: 2.05 2.03 1.83 3/89 31646
/proc/meminfo: memFree=1394264/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=50.66
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132678 2906 1 0 4818 154 90 4 18 0 9 0 27408556 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81213 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=48.14
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29085 2906 1 0 4600 120 90 4 25 0 9 0 27408557 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4127369028 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 17 0 9 0 27408559 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.32
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1004 2906 0 0 37 1 90 4 15 0 9 0 27408561 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132738 2906 1 0 143647 157 90 4 18 0 9 0 27408556 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81239 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1436.41
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29107 2906 1 0 143424 123 90 4 25 0 9 0 27408557 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4127368259 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1438.98
Current children cumulated vsize (KiB) 868428
[startup+1452.7 s]
/proc/loadavg: 2.06 2.02 1.92 4/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1445.38
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132738 2906 1 0 144287 157 90 4 18 0 9 0 27408556 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81239 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1442.8
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29107 2906 1 0 144063 123 90 4 25 0 9 0 27408557 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4127366836 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1445.38
Current children cumulated vsize (KiB) 868428
[startup+1455.9 s]
/proc/loadavg: 2.05 2.02 1.92 3/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1448.58
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132738 2906 1 0 144607 157 90 4 18 0 9 0 27408556 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81239 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1446
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29107 2906 1 0 144383 123 90 4 25 0 9 0 27408557 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4127364293 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1448.58
Current children cumulated vsize (KiB) 868428
[startup+1457.51 s]
/proc/loadavg: 2.05 2.02 1.92 3/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1450.18
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132738 2906 1 0 144767 157 90 4 18 0 9 0 27408556 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81239 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1447.61
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29107 2906 1 0 144544 123 90 4 25 0 9 0 27408557 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4127145528 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1450.18
Current children cumulated vsize (KiB) 868428
[startup+1457.9 s]
/proc/loadavg: 2.05 2.02 1.92 3/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1450.58
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132738 2906 1 0 144807 157 90 4 18 0 9 0 27408556 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81239 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1448
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29107 2906 1 0 144583 123 90 4 25 0 9 0 27408557 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4125952222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1450.58
Current children cumulated vsize (KiB) 868428
[startup+1458.1 s]
/proc/loadavg: 2.05 2.02 1.92 3/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1450.77
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132740 2906 1 0 144826 157 90 4 18 0 9 0 27408556 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81241 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1448.2
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29109 2906 1 0 144603 123 90 4 25 0 9 0 27408557 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4126951360 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1042 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81241 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1450.77
Current children cumulated vsize (KiB) 868428
[startup+1458.2 s]
/proc/loadavg: 2.05 2.02 1.92 3/89 31693
/proc/meminfo: memFree=1380704/2055920 swapFree=4192812/4192956
[pid=31633] ppid=31631 vsize=868428 CPUtime=1450.87
/proc/31633/stat : 31633 (java) S 31631 31633 31238 0 -1 0 132746 2906 1 0 144836 157 90 4 18 0 9 0 27408556 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31633/statm: 217107 81244 2662 9 0 211543 0
[pid=31633/tid=31635] ppid=31631 vsize=868428 CPUtime=1448.3
/proc/31633/task/31635/stat : 31635 (java) R 31631 31633 31238 0 -1 64 29112 2906 1 0 144613 123 90 4 25 0 9 0 27408557 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31636] ppid=31631 vsize=868428 CPUtime=3.03
/proc/31633/task/31636/stat : 31636 (java) S 31631 31633 31238 0 -1 64 101723 2906 0 0 180 29 90 4 16 0 9 0 27408559 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31637] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31637/stat : 31637 (java) S 31631 31633 31238 0 -1 64 18 2906 0 0 0 0 90 4 15 0 9 0 27408559 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31638] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31638/stat : 31638 (java) S 31631 31633 31238 0 -1 64 22 2906 0 0 0 0 90 4 16 0 9 0 27408559 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31633/tid=31639] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31639/stat : 31639 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 23 0 9 0 27408561 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31640] ppid=31631 vsize=868428 CPUtime=1.37
/proc/31633/task/31640/stat : 31640 (java) S 31631 31633 31238 0 -1 64 1045 2906 0 0 42 1 90 4 16 0 9 0 27408561 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31641] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31641/stat : 31641 (java) S 31631 31633 31238 0 -1 64 1 2906 0 0 0 0 90 4 24 0 9 0 27408561 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31633/tid=31642] ppid=31631 vsize=868428 CPUtime=0.94
/proc/31633/task/31642/stat : 31642 (java) S 31631 31633 31238 0 -1 64 13 2906 0 0 0 0 90 4 15 0 9 0 27408561 889270272 81244 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1450.87
Current children cumulated vsize (KiB) 868428
Child status: 0
Real time (s): 1458.27
CPU time (s): 1450.94
CPU user time (s): 1449.27
CPU system time (s): 1.66875
CPU usage (%): 99.4971
Max. virtual memory (cumulated for all children) (KiB): 885228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.27
system time used= 1.66875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135681
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= 31879
involuntary context switches= 54480
runsolver used 2.07468 second user time and 4.76828 second system time
The end
Begin job on node30 at 2009-07-12 14:57:04
IDJOB=2094320
IDBENCH=54130
IDSOLVER=774
FILE ID=node30/2094320-1247403424
PBS_JOBID= 9510584
Free space on /tmp= 66376 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-13.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-2094320-1247403424/watcher-2094320-1247403424 -o /tmp/evaluation-result-2094320-1247403424/solver-2094320-1247403424 -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-2094320-1247403424.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 96388d2f788c0ec6e36289d5c4da0a58
RANDOM SEED=521508502
node30.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.277
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.277
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: 1710224 kB
Buffers: 35600 kB
Cached: 125832 kB
SwapCached: 0 kB
Active: 234776 kB
Inactive: 52476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6256 kB
Writeback: 0 kB
Mapped: 146200 kB
Slab: 43500 kB
Committed_AS: 1011852 kB
PageTables: 1948 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= 66368 MiB
End job on node30 at 2009-07-12 15:21:23