0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/195003-1168109220/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.128 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=466 nbRelationTypes=466 nbExtensionStructures=466 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=466 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2417 maxDegree=25
0.72 maxArity=2
0.72 => wckTime=0.403 cpuTime=0.29 mem=17M695
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.603 cpuTime=0.42 mem=15M579
0.98
0.98 preprocessing
0.98 nbConstraintChecks=113906 nbPropagations=1217 nbRevisions=10254 nbUselessRevisions=8570 nbSingletonTests=61
0.98 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.062 cpuTime=0.04 mem=15M579
1.01
1.01 search
1.01 run=0 nbConstraintChecks=46377 nbPropagations=1728 nbRevisions=16431 nbUselessRevisions=13752 nbAssignments=27
1.01 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.089 cpuTime=0.05 mem=15M579
1.03
1.03 search
1.03 run=1 nbConstraintChecks=112953 nbPropagations=4209 nbRevisions=42855 nbUselessRevisions=35845
1.03 nbAssignments=69 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=18
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.11 cpuTime=0.07 mem=15M579
1.04
1.04 search
1.05 run=2 nbConstraintChecks=202023 nbPropagations=7719 nbRevisions=83081 nbUselessRevisions=69035
1.05 nbAssignments=116 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=181 nbRestartNogoods=7 mapSize=39
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.126 cpuTime=0.08 mem=15M579
1.07
1.07 search
1.07 run=3 nbConstraintChecks=307676 nbPropagations=12524 nbRevisions=142202 nbUselessRevisions=117672
1.07 nbAssignments=185 nbFailedAssignments=60 nbBacktracks=82 nbVisitedNodes=292 nbRestartNogoods=11 mapSize=66
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.147 cpuTime=0.1 mem=15M579
1.10
1.10 search
1.10 run=4 nbConstraintChecks=468068 nbPropagations=19193 nbRevisions=229663 nbUselessRevisions=189496
1.10 nbAssignments=282 nbFailedAssignments=96 nbBacktracks=135 nbVisitedNodes=453 nbRestartNogoods=14 mapSize=107
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.177 cpuTime=0.13 mem=15M579
1.14
1.14 search
1.14 run=5 nbConstraintChecks=681817 nbPropagations=28239 nbRevisions=349829 nbUselessRevisions=287672
1.14 nbAssignments=411 nbFailedAssignments=136 nbBacktracks=216 nbVisitedNodes=661 nbRestartNogoods=15 mapSize=171
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.221 cpuTime=0.17 mem=15M579
1.20
1.20 search
1.20 run=6 nbConstraintChecks=1029813 nbPropagations=41224 nbRevisions=526728 nbUselessRevisions=431370
1.20 nbAssignments=611 nbFailedAssignments=213 nbBacktracks=329 nbVisitedNodes=995 nbRestartNogoods=18 mapSize=267
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.278 cpuTime=0.22 mem=15M579
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1459947 nbPropagations=59437 nbRevisions=782224 nbUselessRevisions=639050
1.27 nbAssignments=893 nbFailedAssignments=312 nbBacktracks=499 nbVisitedNodes=1469 nbRestartNogoods=24 mapSize=402
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.352 cpuTime=0.3 mem=15M579
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2105791 nbPropagations=85417 nbRevisions=1158793 nbUselessRevisions=946651
1.38 nbAssignments=1300 nbFailedAssignments=452 nbBacktracks=755 nbVisitedNodes=2158 nbRestartNogoods=30
1.38 mapSize=612 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.466 cpuTime=0.41 mem=15M579
1.55
1.55 search
1.55 run=9 nbConstraintChecks=3025838 nbPropagations=122756 nbRevisions=1705656 nbUselessRevisions=1393947
1.55 nbAssignments=1927 nbFailedAssignments=683 nbBacktracks=1140 nbVisitedNodes=3209 nbRestartNogoods=38
1.55 mapSize=925 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.628 cpuTime=0.56 mem=15M579
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M579)
1.77
1.77 search
1.77 run=10 nbConstraintChecks=4422182 nbPropagations=177199 nbRevisions=2508585 nbUselessRevisions=2050388
1.77 nbAssignments=2856 nbFailedAssignments=1023 nbBacktracks=1716 nbVisitedNodes=4767 nbRestartNogoods=42
1.77 => wckTime=0.848 cpuTime=0.77 mem=15M579
2.10
2.10 search
2.10 run=11 nbConstraintChecks=6791520 nbPropagations=258336 nbRevisions=3723571 nbUselessRevisions=3044904
2.10 nbAssignments=4272 nbFailedAssignments=1561 nbBacktracks=2583 nbVisitedNodes=7168 nbRestartNogoods=47
2.10 => wckTime=1.181 cpuTime=1.1 mem=15M579
2.55
2.55 search
2.55 run=12 nbConstraintChecks=9799355 nbPropagations=376184 nbRevisions=5480634 nbUselessRevisions=4482477
2.55 nbAssignments=6266 nbFailedAssignments=2248 nbBacktracks=3881 nbVisitedNodes=10510 nbRestartNogoods=52
2.55 => wckTime=1.629 cpuTime=1.53 mem=15M579
3.29
3.29 search
3.29 run=13 nbConstraintChecks=14974413 nbPropagations=553871 nbRevisions=8155879 nbUselessRevisions=6667765
3.29 nbAssignments=9392 nbFailedAssignments=3416 nbBacktracks=5828 nbVisitedNodes=15826 nbRestartNogoods=61
3.29 => wckTime=2.368 cpuTime=2.27 mem=15M579
4.31
4.31 search
4.31 run=14 nbConstraintChecks=21966992 nbPropagations=815231 nbRevisions=12104154 nbUselessRevisions=9895455
4.31 nbAssignments=13985 nbFailedAssignments=5054 nbBacktracks=8750 nbVisitedNodes=23445 nbRestartNogoods=66
4.31 => wckTime=3.386 cpuTime=3.28 mem=15M579
5.82
5.82 search
5.82 run=15 nbConstraintChecks=31808204 nbPropagations=1202806 nbRevisions=17996316 nbUselessRevisions=14729966
5.82 nbAssignments=20837 nbFailedAssignments=7502 nbBacktracks=13129 nbVisitedNodes=34974 nbRestartNogoods=77
5.82 => wckTime=4.897 cpuTime=4.77 mem=15M579
8.18
8.18 search
8.18 run=16 nbConstraintChecks=48294944 nbPropagations=1782120 nbRevisions=26819434 nbUselessRevisions=21956167
8.18 nbAssignments=31046 nbFailedAssignments=11131 nbBacktracks=19702 nbVisitedNodes=52098 nbRestartNogoods=81
8.18 => wckTime=7.261 cpuTime=7.11 mem=16M554
11.79
11.79 search
11.79 run=17 nbConstraintChecks=73371862 nbPropagations=2657703 nbRevisions=40098565 nbUselessRevisions=32808144
11.79 nbAssignments=46754 nbFailedAssignments=16978 nbBacktracks=29556 nbVisitedNodes=78682 nbRestartNogoods=89
11.79 => wckTime=10.872 cpuTime=10.69 mem=16M554
17.10
17.10 search
17.10 run=18 nbConstraintChecks=109970731 nbPropagations=3968464 nbRevisions=60144514 nbUselessRevisions=49229511
17.10 nbAssignments=69678 nbFailedAssignments=25110 nbBacktracks=44334 nbVisitedNodes=117402 nbRestartNogoods=98
17.10 => wckTime=16.181 cpuTime=15.94 mem=16M554
25.19
25.19 search
25.19 run=19 nbConstraintChecks=166362643 nbPropagations=5940916 nbRevisions=90346310 nbUselessRevisions=73963732
25.19 nbAssignments=104628 nbFailedAssignments=37858 nbBacktracks=66503 nbVisitedNodes=176356 nbRestartNogoods=110
25.19 => wckTime=24.273 cpuTime=23.96 mem=16M554
37.32
37.32 search
37.32 run=20 nbConstraintChecks=248328001 nbPropagations=8910941 nbRevisions=136038138 nbUselessRevisions=111459754
37.32 nbAssignments=157473 nbFailedAssignments=57440 nbBacktracks=99755 nbVisitedNodes=266074 nbRestartNogoods=116
37.32 => wckTime=36.403 cpuTime=35.96 mem=16M554
54.69
54.69 search
54.69 run=21 nbConstraintChecks=364199568 nbPropagations=13319863 nbRevisions=203959670 nbUselessRevisions=167261152
54.69 nbAssignments=235092 nbFailedAssignments=85169 nbBacktracks=149633 nbVisitedNodes=396763 nbRestartNogoods=126
54.69 => wckTime=53.771 cpuTime=53.17 mem=16M554
81.55
81.55 search
81.55 run=22 nbConstraintChecks=548742189 nbPropagations=19945839 nbRevisions=305639487 nbUselessRevisions=250730821
81.55 nbAssignments=351828 nbFailedAssignments=127077 nbBacktracks=224453 nbVisitedNodes=593424 nbRestartNogoods=140
81.55 => wckTime=80.631 cpuTime=79.76 mem=16M554
122.93
122.94 search
122.94 run=23 nbConstraintChecks=833949469 nbPropagations=29966265 nbRevisions=459536706 nbUselessRevisions=377049571
122.94 nbAssignments=530883 nbFailedAssignments=193895 nbBacktracks=336680 nbVisitedNodes=897883 nbRestartNogoods=149
122.94 => wckTime=122.014 cpuTime=120.74 mem=16M554
182.42
182.42 search
182.42 run=24 nbConstraintChecks=1241655106 nbPropagations=44872200 nbRevisions=689550064 nbUselessRevisions=566031978
182.42 nbAssignments=791454 nbFailedAssignments=286109 nbBacktracks=505026 nbVisitedNodes=1336887 nbRestartNogoods=155
182.42 => wckTime=181.502 cpuTime=179.79 mem=16M554
273.11
273.11 search
273.11 run=25 nbConstraintChecks=1871819686 nbPropagations=67241442 nbRevisions=1034829925
273.11 nbUselessRevisions=849612766 nbAssignments=1186003 nbFailedAssignments=428133 nbBacktracks=757540
273.11 nbVisitedNodes=2001790 nbRestartNogoods=165
273.11 => wckTime=272.194 cpuTime=269.99 mem=16M554
405.07
405.07 search
405.07 run=26 nbConstraintChecks=2769324253 nbPropagations=100671029 nbRevisions=1549793857
405.07 nbUselessRevisions=1272862122 nbAssignments=1777930 nbFailedAssignments=641283 nbBacktracks=1136307
405.07 nbVisitedNodes=2999509 nbRestartNogoods=176
405.07 => wckTime=404.151 cpuTime=401.22 mem=16M554
606.92
606.92 search
606.92 run=27 nbConstraintChecks=4155013039 nbPropagations=150858731 nbRevisions=2324310519
606.92 nbUselessRevisions=1909822886 nbAssignments=2665082 nbFailedAssignments=960274 nbBacktracks=1704458
606.92 nbVisitedNodes=4498042 nbRestartNogoods=188
606.92 => wckTime=605.997 cpuTime=601.99 mem=16M554
922.25
922.25 search
922.25 run=28 nbConstraintChecks=6316393341 nbPropagations=226989805 nbRevisions=3509457700
922.25 nbUselessRevisions=2886107530 nbAssignments=4034831 nbFailedAssignments=1477785 nbBacktracks=2556686
922.25 nbVisitedNodes=6839253 nbRestartNogoods=201
922.25 => wckTime=921.332 cpuTime=915.54 mem=16M554
1371.69
1371.69 search
1371.69 run=29 nbConstraintChecks=9378959909 nbPropagations=340467320 nbRevisions=5272052648
1371.69 nbUselessRevisions=4337667994 nbAssignments=6036850 nbFailedAssignments=2201440 nbBacktracks=3835027
1371.69 nbVisitedNodes=10212679 nbRestartNogoods=220
1371.69 => wckTime=1370.773 cpuTime=1362.53 mem=16M554
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-195003-1168109220 -o ROOT/results/node26/solver-195003-1168109220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195003-1168109220/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: 1.84 1.97 1.97 5/94 29949
/proc/meminfo: memFree=1796360/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=18540 CPUtime=0
/proc/29948/stat : 29948 (runsolver) R 29946 29948 29608 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 159316422 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29948/statm: 4635 279 244 17 0 2626 0
[startup+0.103684 s]
/proc/loadavg: 1.84 1.97 1.97 5/94 29949
/proc/meminfo: memFree=1796360/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=914988 CPUtime=0.08
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 3011 0 1 0 7 1 0 0 24 0 8 0 159316422 936947712 2757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153579255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228747 2757 1433 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515723 s]
/proc/loadavg: 1.84 1.97 1.97 5/94 29949
/proc/meminfo: memFree=1796360/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915328 CPUtime=0.45
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 6719 0 8 0 40 5 0 0 18 0 8 0 159316422 937295872 6465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228832 6465 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.3378 s]
/proc/loadavg: 1.84 1.97 1.97 3/101 29956
/proc/meminfo: memFree=1701776/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1.27
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9627 0 8 0 119 8 0 0 24 0 8 0 159316422 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9372 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.2
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 381 0 0 0 18 2 0 0 15 0 8 0 159316430 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915460
[startup+2.97495 s]
/proc/loadavg: 1.84 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1685448/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=2.89
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9644 0 8 0 281 8 0 0 25 0 8 0 159316422 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9388 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 159316426 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 397 0 0 0 22 2 0 0 15 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915460
[startup+6.25825 s]
/proc/loadavg: 1.85 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1685456/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=6.14
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9645 0 8 0 606 8 0 0 25 0 8 0 159316422 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9388 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 397 0 0 0 22 2 0 0 15 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.7399 s]
/proc/loadavg: 1.86 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1685520/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=12.56
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9645 0 8 0 1248 8 0 0 25 0 8 0 159316422 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9388 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 397 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.5971 s]
/proc/loadavg: 1.89 1.97 1.97 4/102 29957
/proc/meminfo: memFree=1685584/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=25.3
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9647 0 8 0 2522 8 0 0 25 0 8 0 159316422 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9389 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915460
[startup+51.2025 s]
/proc/loadavg: 1.93 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1685520/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=50.64
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9647 0 8 0 5056 8 0 0 25 0 8 0 159316422 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9389 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915460
[startup+102.505 s]
/proc/loadavg: 1.97 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1685584/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=101.47
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9647 0 8 0 10138 9 0 0 25 0 8 0 159316422 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9389 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 398 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915460
[startup+162.596 s]
/proc/loadavg: 1.99 1.97 1.97 3/102 29957
/proc/meminfo: memFree=1667472/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=161.03
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 16094 9 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.07
Current children cumulated vsize (KiB) 915460
[startup+1483.61 s]
/proc/loadavg: 2.01 2.03 2.00 3/102 30155
/proc/meminfo: memFree=1615888/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1474.78
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 147453 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.78
Current children cumulated vsize (KiB) 915460
[startup+1543.66 s]
/proc/loadavg: 2.00 2.02 2.00 3/102 30155
/proc/meminfo: memFree=1597968/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1534.5
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 153425 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.5
Current children cumulated vsize (KiB) 915460
[startup+1603.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 30155
/proc/meminfo: memFree=1597904/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1594.23
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 159398 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.23
Current children cumulated vsize (KiB) 915460
[startup+1663.75 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 30155
/proc/meminfo: memFree=1597840/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1653.93
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 165368 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826753 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.93
Current children cumulated vsize (KiB) 915460
[startup+1723.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30155
/proc/meminfo: memFree=1597840/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1713.65
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 171340 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.65
Current children cumulated vsize (KiB) 915460
[startup+1783.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 30155
/proc/meminfo: memFree=1597712/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1773.38
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 177313 25 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819859 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.38
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.67 s]
/proc/loadavg: 1.99 2.00 2.00 2/88 30171
/proc/meminfo: memFree=1774464/2055920 swapFree=4192812/4192956
[pid=29948] ppid=29946 vsize=915460 CPUtime=1800.07
/proc/29948/stat : 29948 (java) R 29946 29948 29608 0 -1 0 9648 0 8 0 179981 26 0 0 25 0 8 0 159316422 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29948/statm: 228865 9390 2524 14 0 215335 0
[pid=29948/tid=29950] ppid=29946 vsize=915460 CPUtime=0.03
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29608 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 159316426 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29608 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29608 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159316427 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29608 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915460 CPUtime=0.24
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29608 0 -1 64 399 0 0 0 22 2 0 0 16 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915460 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29608 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159316430 937431040 9390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.72
CPU time (s): 1800.12
CPU user time (s): 1799.85
CPU system time (s): 0.266959
CPU usage (%): 99.4146
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.266959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9666
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37803
involuntary context switches= 88458
runsolver used 2.19867 s user time and 5.78012 s system time
The end
Begin job on node26 on Sat Jan 6 18:47:01 UTC 2007
IDJOB= 195003
IDBENCH= 3244
FILE ID= node26/195003-1168109220
PBS_JOBID= 3477334
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-26_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195003-1168109220/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-195003-1168109220 -o ROOT/results/node26/solver-195003-1168109220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195003-1168109220/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8c64b7f78172a272f301d70807cc9dbb
RANDOM SEED= 655760184
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.236
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.236
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: 1798536 kB
Buffers: 38048 kB
Cached: 93124 kB
SwapCached: 0 kB
Active: 139580 kB
Inactive: 60760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5904 kB
Writeback: 0 kB
Mapped: 93688 kB
Slab: 41772 kB
Committed_AS: 3662052 kB
PageTables: 2328 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= 66537 MiB
End job on node26 on Sat Jan 6 19:17:13 UTC 2007