0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203209-1168157926/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.57
1.57 constraints being loaded...
2.32 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.32 => wckTime=2.008 cpuTime=1.62 mem=58M148
2.48
2.48 solver IterativeSystematicSolver being built...
2.65 => wckTime=2.34 cpuTime=1.76 mem=65M621
2.79
2.79 preprocessing
2.79 nbConstraintChecks=43477 nbValidityChecks=68384 nbPropagations=209 nbRevisions=2187 nbUselessRevisions=1920
2.79 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.79 => wckTime=0.131 cpuTime=0.11 mem=65M621
2.90
2.90 search
2.90 run=0 nbConstraintChecks=53311 nbValidityChecks=104653 nbPropagations=633 nbRevisions=7499
2.90 nbUselessRevisions=6244 nbAssignments=33 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=60
2.90 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.24 cpuTime=0.21 mem=66M629
2.99
2.99 search
2.99 run=1 nbConstraintChecks=106300 nbValidityChecks=199187 nbPropagations=1549 nbRevisions=18730
2.99 nbUselessRevisions=15640 nbAssignments=65 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=113
2.99 nbRestartNogoods=3 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=0.332 cpuTime=0.3 mem=66M629
3.10
3.11 search
3.11 run=2 nbConstraintChecks=164938 nbValidityChecks=302575 nbPropagations=2961 nbRevisions=35703
3.11 nbUselessRevisions=29613 nbAssignments=116 nbFailedAssignments=51 nbBacktracks=50 nbVisitedNodes=195
3.11 nbRestartNogoods=7 mapSize=36 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=0.447 cpuTime=0.4 mem=66M629
3.31
3.31 search
3.31 run=3 nbConstraintChecks=281037 nbValidityChecks=533263 nbPropagations=5389 nbRevisions=64387
3.31 nbUselessRevisions=53015 nbAssignments=200 nbFailedAssignments=88 nbBacktracks=83 nbVisitedNodes=326
3.31 nbRestartNogoods=10 mapSize=67 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=0.653 cpuTime=0.6 mem=66M629
3.50
3.50 search
3.51 run=4 nbConstraintChecks=387202 nbValidityChecks=761641 nbPropagations=9155 nbRevisions=107613
3.51 nbUselessRevisions=87857 nbAssignments=306 nbFailedAssignments=135 nbBacktracks=134 nbVisitedNodes=508
3.51 nbRestartNogoods=12 mapSize=105 nbInferences=0 nbTooLargeKeys=0
3.51 => wckTime=0.846 cpuTime=0.78 mem=66M629
4.18
4.18 search
4.18 run=5 nbConstraintChecks=776579 nbValidityChecks=1611666 nbPropagations=16549 nbRevisions=199132
4.18 nbUselessRevisions=160647 nbAssignments=597 nbFailedAssignments=315 nbBacktracks=209 nbVisitedNodes=1008
4.18 nbRestartNogoods=21 mapSize=180 nbInferences=0 nbTooLargeKeys=0
4.18 => wckTime=1.525 cpuTime=1.46 mem=66M629
4.63
4.63 search
4.63 run=6 nbConstraintChecks=1033775 nbValidityChecks=2120937 nbPropagations=26582 nbRevisions=320556
4.63 nbUselessRevisions=256949 nbAssignments=829 nbFailedAssignments=414 nbBacktracks=325 nbVisitedNodes=1372
4.63 nbRestartNogoods=30 mapSize=260 nbInferences=0 nbTooLargeKeys=0
4.63 => wckTime=1.969 cpuTime=1.89 mem=66M629
5.20
5.20 search
5.20 run=7 nbConstraintChecks=1371687 nbValidityChecks=2791768 nbPropagations=39949 nbRevisions=480559
5.20 nbUselessRevisions=383880 nbAssignments=1126 nbFailedAssignments=536 nbBacktracks=496 nbVisitedNodes=1865
5.20 nbRestartNogoods=35 mapSize=378 nbInferences=0 nbTooLargeKeys=0
5.20 => wckTime=2.542 cpuTime=2.46 mem=66M629
6.80
6.80 search
6.80 run=8 nbConstraintChecks=2389817 nbValidityChecks=4705282 nbPropagations=60609 nbRevisions=731466
6.80 nbUselessRevisions=582800 nbAssignments=1722 nbFailedAssignments=871 nbBacktracks=752 nbVisitedNodes=2967
6.80 nbRestartNogoods=37 mapSize=604 nbInferences=0 nbTooLargeKeys=0
6.80 => wckTime=4.145 cpuTime=4.02 mem=66M629
9.27
9.27 search
9.27 run=9 nbConstraintChecks=3929157 nbValidityChecks=7719970 nbPropagations=92396 nbRevisions=1143224
9.27 nbUselessRevisions=912737 nbAssignments=2787 nbFailedAssignments=1543 nbBacktracks=1136 nbVisitedNodes=4948
9.27 nbRestartNogoods=45 mapSize=906 nbInferences=0 nbTooLargeKeys=0
9.27 => wckTime=6.615 cpuTime=6.46 mem=66M629
9.89
9.90 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=66M629)
11.38
11.38 search
11.38 run=10 nbConstraintChecks=5238828 nbValidityChecks=10320659 nbPropagations=137853 nbRevisions=1703545
11.38 nbUselessRevisions=1359328 nbAssignments=3983 nbFailedAssignments=2114 nbBacktracks=1712 nbVisitedNodes=6940
11.38 nbRestartNogoods=55
11.38 => wckTime=8.722 cpuTime=8.54 mem=66M629
15.12
15.12 search
15.12 run=11 nbConstraintChecks=7661934 nbValidityChecks=15045741 nbPropagations=205439 nbRevisions=2526602
15.12 nbUselessRevisions=2013542 nbAssignments=5949 nbFailedAssignments=3211 nbBacktracks=2578 nbVisitedNodes=10467
15.12 nbRestartNogoods=64
15.12 => wckTime=12.465 cpuTime=12.25 mem=66M629
20.66
20.66 search
20.66 run=12 nbConstraintChecks=11336320 nbValidityChecks=21686577 nbPropagations=301629 nbRevisions=3683380
20.66 nbUselessRevisions=2934385 nbAssignments=8450 nbFailedAssignments=4408 nbBacktracks=3875 nbVisitedNodes=14805
20.66 nbRestartNogoods=70
20.66 => wckTime=18.006 cpuTime=17.74 mem=66M629
31.56
31.56 search
31.56 run=13 nbConstraintChecks=18427987 nbValidityChecks=35299105 nbPropagations=449653 nbRevisions=5503300
31.56 nbUselessRevisions=4388814 nbAssignments=13208 nbFailedAssignments=7215 nbBacktracks=5822 nbVisitedNodes=23540
31.56 nbRestartNogoods=82
31.56 => wckTime=28.901 cpuTime=28.53 mem=66M629
42.21
42.21 search
42.21 run=14 nbConstraintChecks=25059188 nbValidityChecks=48362492 nbPropagations=663955 nbRevisions=8081256
42.21 nbUselessRevisions=6441548 nbAssignments=18806 nbFailedAssignments=9888 nbBacktracks=8743 nbVisitedNodes=33254
42.21 nbRestartNogoods=90
42.21 => wckTime=39.554 cpuTime=39.09 mem=66M629
61.49
61.49 search
61.49 run=15 nbConstraintChecks=37255970 nbValidityChecks=71054520 nbPropagations=974682 nbRevisions=11818011
61.49 nbUselessRevisions=9411639 nbAssignments=27385 nbFailedAssignments=14060 nbBacktracks=13121
61.49 nbVisitedNodes=48181 nbRestartNogoods=104
61.49 => wckTime=58.833 cpuTime=58.2 mem=66M629
94.93
94.93 search
94.93 run=16 nbConstraintChecks=58887548 nbValidityChecks=112057426 nbPropagations=1453169 nbRevisions=17586729
94.93 nbUselessRevisions=13995519 nbAssignments=40898 nbFailedAssignments=20973 nbBacktracks=19689
94.93 nbVisitedNodes=72545 nbRestartNogoods=118
94.93 => wckTime=92.274 cpuTime=91.33 mem=66M629
162.86
162.86 search
162.86 run=17 nbConstraintChecks=102975634 nbValidityChecks=200042907 nbPropagations=2246921 nbRevisions=28116204
162.86 nbUselessRevisions=22452707 nbAssignments=74368 nbFailedAssignments=44586 nbBacktracks=29543
162.86 nbVisitedNodes=135886 nbRestartNogoods=131
162.86 => wckTime=160.206 cpuTime=158.64 mem=66M629
254.03
254.03 search
254.03 run=18 nbConstraintChecks=162043117 nbValidityChecks=311889302 nbPropagations=3446702 nbRevisions=43789330
254.03 nbUselessRevisions=35031499 nbAssignments=110703 nbFailedAssignments=66139 nbBacktracks=44321
254.03 nbVisitedNodes=202628 nbRestartNogoods=142
254.03 => wckTime=251.368 cpuTime=248.97 mem=66M629
337.57
337.57 search
337.57 run=19 nbConstraintChecks=214908567 nbValidityChecks=413702260 nbPropagations=5128032 nbRevisions=65006104
337.57 nbUselessRevisions=52012303 nbAssignments=153076 nbFailedAssignments=86340 nbBacktracks=66489
337.57 nbVisitedNodes=275796 nbRestartNogoods=156
337.57 => wckTime=334.91 cpuTime=331.74 mem=66M629
488.95
488.95 search
488.95 run=20 nbConstraintChecks=311905853 nbValidityChecks=595761079 nbPropagations=7584653 nbRevisions=95505338
488.95 nbUselessRevisions=76381088 nbAssignments=219257 nbFailedAssignments=119253 nbBacktracks=99743
488.95 nbVisitedNodes=392279 nbRestartNogoods=175
488.95 => wckTime=486.296 cpuTime=481.74 mem=66M629
731.57
731.57 search
731.57 run=21 nbConstraintChecks=468742043 nbValidityChecks=896103897 nbPropagations=11302680 nbRevisions=141202896
731.57 nbUselessRevisions=112893831 nbAssignments=329423 nbFailedAssignments=179534 nbBacktracks=149621
731.57 nbVisitedNodes=590186 nbRestartNogoods=200
731.57 => wckTime=728.91 cpuTime=722.11 mem=66M629
1079.90
1079.90 search
1079.90 run=22 nbConstraintChecks=684175222 nbValidityChecks=1305884685 nbPropagations=16787207 nbRevisions=208060109
1079.90 nbUselessRevisions=166268583 nbAssignments=478292 nbFailedAssignments=253547 nbBacktracks=224440
1079.90 nbVisitedNodes=853067 nbRestartNogoods=231
1079.90 => wckTime=1077.238 cpuTime=1066.94 mem=66M629
1614.46
1614.46 search
1614.46 run=23 nbConstraintChecks=1023821470 nbValidityChecks=1953382760 nbPropagations=24976450 nbRevisions=307723880
1614.46 nbUselessRevisions=245846481 nbAssignments=710570 nbFailedAssignments=373583 nbBacktracks=336667
1614.46 nbVisitedNodes=1266689 nbRestartNogoods=271
1614.46 => wckTime=1611.805 cpuTime=1598.58 mem=66M629
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-203209-1168157926 -o ROOT/results/node2/solver-203209-1168157926 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203209-1168157926/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=18540 CPUtime=0
/proc/2247/stat : 2247 (runsolver) R 2245 2247 1078 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164188319 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2247/statm: 4635 279 244 17 0 2626 0
[startup+0.102969 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=914988 CPUtime=0.08
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 2959 0 1 0 7 1 0 0 19 0 8 0 164188319 936947712 2705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152779144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511045 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 2248
/proc/meminfo: memFree=1227272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915328 CPUtime=0.49
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 7569 0 1 0 44 5 0 0 18 0 8 0 164188319 937295872 7308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228832 7308 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33219 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2255
/proc/meminfo: memFree=1160208/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915328 CPUtime=1.3
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 19099 0 1 0 121 9 0 0 25 0 8 0 164188319 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228832 18837 2149 14 0 215302 0
[pid=2247/tid=2249] ppid=2245 vsize=915328 CPUtime=0.04
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 164188323 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915328 CPUtime=0.07
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915328 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.9775 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2255
/proc/meminfo: memFree=1119440/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=2.93
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32574 0 1 0 278 15 0 0 25 0 8 0 164188319 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32309 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.19
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.27311 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107544/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=6.2
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32592 0 1 0 604 16 0 0 25 0 8 0 164188319 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32324 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.22
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 388 0 0 0 22 0 0 0 15 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7563 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107672/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=12.61
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32605 0 1 0 1245 16 0 0 25 0 8 0 164188319 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32334 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 17 0 8 0 164188323 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440
[startup+25.6257 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107864/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=25.37
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32608 0 1 0 2521 16 0 0 25 0 8 0 164188319 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32336 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2554 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=50.76
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32609 0 1 0 5060 16 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915440
[startup+102.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=101.55
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 10138 17 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440
[startup+162.52 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 2257
/proc/meminfo: memFree=1107928/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=161.01
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 16084 17 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.77
Current children cumulated vsize (KiB) 915440
[startup+1482.92 s]
/proc/loadavg: 2.08 2.05 2.01 3/105 2310
/proc/meminfo: memFree=657272/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1470.45
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 147013 32 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (KiB) 915440
[startup+1542.93 s]
/proc/loadavg: 2.03 2.04 2.00 3/105 2310
/proc/meminfo: memFree=657208/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1530.13
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 152980 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.13
Current children cumulated vsize (KiB) 915440
[startup+1602.94 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 2310
/proc/meminfo: memFree=629752/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1589.82
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 158949 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.82
Current children cumulated vsize (KiB) 915440
[startup+1662.96 s]
/proc/loadavg: 2.16 2.07 2.01 4/105 2310
/proc/meminfo: memFree=629688/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1649.51
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 164918 33 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.51
Current children cumulated vsize (KiB) 915440
[startup+1722.98 s]
/proc/loadavg: 2.13 2.08 2.02 3/105 2310
/proc/meminfo: memFree=601144/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1709.09
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 170875 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.09
Current children cumulated vsize (KiB) 915440
[startup+1783.01 s]
/proc/loadavg: 2.19 2.10 2.02 3/105 2310
/proc/meminfo: memFree=571256/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1768.79
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 176845 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.79
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.4 s]
/proc/loadavg: 2.17 2.10 2.02 3/105 2310
/proc/meminfo: memFree=571256/2055920 swapFree=4191880/4192956
[pid=2247] ppid=2245 vsize=915440 CPUtime=1800.01
/proc/2247/stat : 2247 (java) R 2245 2247 1078 0 -1 0 32610 0 1 0 179967 34 0 0 25 0 8 0 164188319 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2247/statm: 228860 32337 2531 14 0 215330 0
[pid=2247/tid=2249] ppid=2245 vsize=915440 CPUtime=0.44
/proc/2247/task/2249/stat : 2249 (java) S 2245 2247 1078 0 -1 64 15583 0 0 0 38 6 0 0 16 0 8 0 164188323 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2250] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2250/stat : 2250 (java) S 2245 2247 1078 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2251] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2251/stat : 2251 (java) S 2245 2247 1078 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164188324 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2252] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2252/stat : 2252 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2253] ppid=2245 vsize=915440 CPUtime=0.25
/proc/2247/task/2253/stat : 2253 (java) S 2245 2247 1078 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2254] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2254/stat : 2254 (java) S 2245 2247 1078 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2247/tid=2255] ppid=2245 vsize=915440 CPUtime=0
/proc/2247/task/2255/stat : 2255 (java) S 2245 2247 1078 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164188327 937410560 32337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.49
CPU time (s): 1800.1
CPU user time (s): 1799.74
CPU system time (s): 0.362944
CPU usage (%): 99.2069
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.362944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32626
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= 37863
involuntary context switches= 71383
runsolver used 2.53561 s user time and 6.19706 s system time
The end
Begin job on node2 on Sun Jan 7 08:18:47 UTC 2007
IDJOB= 203209
IDBENCH= 3929
FILE ID= node2/203209-1168157926
PBS_JOBID= 3478243
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203209-1168157926/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-203209-1168157926 -o ROOT/results/node2/solver-203209-1168157926 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203209-1168157926/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2ae7f7a6604a7867e7e4ad10acde61da
RANDOM SEED= 741545107
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.259
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 : 5931.00
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.259
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: 1227752 kB
Buffers: 75712 kB
Cached: 605880 kB
SwapCached: 448 kB
Active: 383124 kB
Inactive: 375952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1227752 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7580 kB
Writeback: 0 kB
Mapped: 99044 kB
Slab: 53848 kB
Committed_AS: 3909292 kB
PageTables: 2372 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= 66320 MiB
End job on node2 on Sun Jan 7 08:49:01 UTC 2007