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/203462-1168160032/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=53 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.56
0.56 constraints being loaded...
0.70 nbConstraints=470 nbRelationTypes=470 nbExtensionStructures=470 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=470 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1181 maxDegree=26
0.70 maxArity=2
0.70 => wckTime=0.388 cpuTime=0.29 mem=18M851
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.59 cpuTime=0.43 mem=15M593
0.96
0.96 preprocessing
0.96 nbConstraintChecks=131785 nbPropagations=1339 nbRevisions=11369 nbUselessRevisions=9632 nbSingletonTests=68
0.96 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.061 cpuTime=0.04 mem=15M593
0.99
0.99 search
0.99 run=0 nbConstraintChecks=53380 nbPropagations=1944 nbRevisions=19225 nbUselessRevisions=16151 nbAssignments=28
0.99 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.091 cpuTime=0.06 mem=15M593
1.02
1.02 search
1.02 run=1 nbConstraintChecks=146130 nbPropagations=4899 nbRevisions=49382 nbUselessRevisions=41241
1.02 nbAssignments=76 nbFailedAssignments=14 nbBacktracks=30 nbVisitedNodes=92 nbRestartNogoods=2 mapSize=21
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.115 cpuTime=0.08 mem=15M593
1.04
1.04 search
1.04 run=2 nbConstraintChecks=238554 nbPropagations=9013 nbRevisions=95260 nbUselessRevisions=79173
1.04 nbAssignments=124 nbFailedAssignments=29 nbBacktracks=53 nbVisitedNodes=173 nbRestartNogoods=4 mapSize=43
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.133 cpuTime=0.09 mem=15M593
1.06
1.06 search
1.06 run=3 nbConstraintChecks=351763 nbPropagations=14522 nbRevisions=160354 nbUselessRevisions=132966
1.06 nbAssignments=189 nbFailedAssignments=49 nbBacktracks=87 nbVisitedNodes=279 nbRestartNogoods=7 mapSize=71
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.156 cpuTime=0.12 mem=15M593
1.10
1.10 search
1.10 run=4 nbConstraintChecks=555369 nbPropagations=22173 nbRevisions=258027 nbUselessRevisions=213262
1.10 nbAssignments=294 nbFailedAssignments=93 nbBacktracks=138 nbVisitedNodes=460 nbRestartNogoods=11 mapSize=114
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.191 cpuTime=0.15 mem=15M593
1.15
1.15 search
1.15 run=5 nbConstraintChecks=786054 nbPropagations=32690 nbRevisions=397573 nbUselessRevisions=327903
1.15 nbAssignments=441 nbFailedAssignments=151 nbBacktracks=213 nbVisitedNodes=706 nbRestartNogoods=13 mapSize=172
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.242 cpuTime=0.19 mem=15M593
1.20
1.20 search
1.20 run=6 nbConstraintChecks=1116916 nbPropagations=47307 nbRevisions=598291 nbUselessRevisions=493062
1.20 nbAssignments=644 nbFailedAssignments=229 nbBacktracks=326 nbVisitedNodes=1049 nbRestartNogoods=19 mapSize=267
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.3 cpuTime=0.25 mem=15M593
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1767195 nbPropagations=68993 nbRevisions=898011 nbUselessRevisions=739040
1.30 nbAssignments=974 nbFailedAssignments=334 nbBacktracks=496 nbVisitedNodes=1538 nbRestartNogoods=25 mapSize=407
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.4 cpuTime=0.35 mem=15M593
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2305972 nbPropagations=97877 nbRevisions=1297304 nbUselessRevisions=1066083
1.41 nbAssignments=1374 nbFailedAssignments=466 nbBacktracks=756 nbVisitedNodes=2188 nbRestartNogoods=30
1.41 mapSize=596 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.502 cpuTime=0.44 mem=15M593
1.62
1.62 search
1.62 run=9 nbConstraintChecks=3622737 nbPropagations=140507 nbRevisions=1908886 nbUselessRevisions=1564107
1.62 nbAssignments=2006 nbFailedAssignments=703 nbBacktracks=1142 nbVisitedNodes=3264 nbRestartNogoods=35
1.62 mapSize=901 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.712 cpuTime=0.64 mem=16M568
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=16M568)
1.87
1.87 search
1.87 run=10 nbConstraintChecks=5258368 nbPropagations=203298 nbRevisions=2819558 nbUselessRevisions=2308085
1.87 nbAssignments=2959 nbFailedAssignments=1054 nbBacktracks=1720 nbVisitedNodes=4880 nbRestartNogoods=43
1.87 => wckTime=0.97 cpuTime=0.88 mem=16M568
2.23
2.23 search
2.23 run=11 nbConstraintChecks=7753864 nbPropagations=294972 nbRevisions=4152584 nbUselessRevisions=3394178
2.23 nbAssignments=4317 nbFailedAssignments=1534 nbBacktracks=2587 nbVisitedNodes=7189 nbRestartNogoods=45
2.23 => wckTime=1.324 cpuTime=1.23 mem=16M568
2.81
2.81 search
2.81 run=12 nbConstraintChecks=11982290 nbPropagations=433692 nbRevisions=6197530 nbUselessRevisions=5057732
2.81 nbAssignments=6508 nbFailedAssignments=2418 nbBacktracks=3887 nbVisitedNodes=10989 nbRestartNogoods=53
2.81 => wckTime=1.909 cpuTime=1.81 mem=16M568
3.67
3.67 search
3.67 run=13 nbConstraintChecks=18175457 nbPropagations=641578 nbRevisions=9289542 nbUselessRevisions=7574530
3.67 nbAssignments=9688 nbFailedAssignments=3638 nbBacktracks=5837 nbVisitedNodes=16494 nbRestartNogoods=56
3.67 => wckTime=2.77 cpuTime=2.67 mem=16M568
4.87
4.87 search
4.87 run=14 nbConstraintChecks=26973334 nbPropagations=948041 nbRevisions=13833368 nbUselessRevisions=11266308
4.87 nbAssignments=14276 nbFailedAssignments=5297 nbBacktracks=8757 nbVisitedNodes=24283 nbRestartNogoods=67
4.88 => wckTime=3.972 cpuTime=3.86 mem=16M568
6.68
6.68 search
6.68 run=15 nbConstraintChecks=39653911 nbPropagations=1403440 nbRevisions=20635066 nbUselessRevisions=16801913
6.68 nbAssignments=21404 nbFailedAssignments=8036 nbBacktracks=13135 nbVisitedNodes=36524 nbRestartNogoods=75
6.68 => wckTime=5.778 cpuTime=5.66 mem=16M568
9.28
9.28 search
9.28 run=16 nbConstraintChecks=57980475 nbPropagations=2074083 nbRevisions=30650745 nbUselessRevisions=24956516
9.28 nbAssignments=31905 nbFailedAssignments=11956 nbBacktracks=19703 nbVisitedNodes=54320 nbRestartNogoods=89
9.28 => wckTime=8.382 cpuTime=8.25 mem=16M568
13.29
13.29 search
13.29 run=17 nbConstraintChecks=86066347 nbPropagations=3081024 nbRevisions=45806479 nbUselessRevisions=37321756
13.29 nbAssignments=48449 nbFailedAssignments=18616 nbBacktracks=29555 nbVisitedNodes=82858 nbRestartNogoods=99
13.29 => wckTime=12.387 cpuTime=12.24 mem=16M568
19.95
19.95 search
19.95 run=18 nbConstraintChecks=134467451 nbPropagations=4620118 nbRevisions=69305279 nbUselessRevisions=56500579
19.95 nbAssignments=73607 nbFailedAssignments=28989 nbBacktracks=44333 nbVisitedNodes=126722 nbRestartNogoods=111
19.95 => wckTime=19.049 cpuTime=18.84 mem=16M568
28.75
28.75 search
28.75 run=19 nbConstraintChecks=196074787 nbPropagations=6883271 nbRevisions=103861316 nbUselessRevisions=84702184
28.75 nbAssignments=109044 nbFailedAssignments=42246 nbBacktracks=66503 nbVisitedNodes=187138 nbRestartNogoods=123
28.75 => wckTime=27.848 cpuTime=27.59 mem=16M568
41.43
41.43 search
41.43 run=20 nbConstraintChecks=283281225 nbPropagations=10217382 nbRevisions=154404711 nbUselessRevisions=125961819
41.44 nbAssignments=162543 nbFailedAssignments=62463 nbBacktracks=99756 nbVisitedNodes=278346 nbRestartNogoods=138
41.44 => wckTime=40.532 cpuTime=40.21 mem=16M568
63.16
63.16 search
63.16 run=21 nbConstraintChecks=443190046 nbPropagations=15298453 nbRevisions=231790570 nbUselessRevisions=189083211
63.16 nbAssignments=245256 nbFailedAssignments=95251 nbBacktracks=149634 nbVisitedNodes=421554 nbRestartNogoods=157
63.16 => wckTime=62.259 cpuTime=61.85 mem=16M568
93.62
93.62 search
93.62 run=22 nbConstraintChecks=658367040 nbPropagations=22907409 nbRevisions=347496138 nbUselessRevisions=283508646
93.62 nbAssignments=366687 nbFailedAssignments=141833 nbBacktracks=224452 nbVisitedNodes=630341 nbRestartNogoods=176
93.62 => wckTime=92.713 cpuTime=92.12 mem=16M568
140.35
140.35 search
140.35 run=23 nbConstraintChecks=997441391 nbPropagations=34263353 nbRevisions=520890489 nbUselessRevisions=424856372
140.35 nbAssignments=547600 nbFailedAssignments=210507 nbBacktracks=336679 nbVisitedNodes=938906 nbRestartNogoods=188
140.35 => wckTime=139.449 cpuTime=138.6 mem=16M568
209.72
209.72 search
209.72 run=24 nbConstraintChecks=1494760091 nbPropagations=51316049 nbRevisions=780993146 nbUselessRevisions=636990332
209.72 nbAssignments=819598 nbFailedAssignments=314122 nbBacktracks=505020 nbVisitedNodes=1404940 nbRestartNogoods=203
209.72 => wckTime=208.817 cpuTime=207.58 mem=16M568
325.31
325.31 search
325.31 run=25 nbConstraintChecks=2329710196 nbPropagations=77573005 nbRevisions=1185026317
325.31 nbUselessRevisions=966670143 nbAssignments=1252530 nbFailedAssignments=494533 nbBacktracks=757531
325.31 nbVisitedNodes=2162458 nbRestartNogoods=213
325.31 => wckTime=324.411 cpuTime=322.56 mem=16M568
476.39
476.41 search
476.41 run=26 nbConstraintChecks=3394397773 nbPropagations=116387501 nbRevisions=1779395799
476.41 nbUselessRevisions=1451830442 nbAssignments=1861677 nbFailedAssignments=724905 nbBacktracks=1136300
476.41 nbVisitedNodes=3205188 nbRestartNogoods=232
476.41 => wckTime=475.483 cpuTime=472.73 mem=16M568
717.28
717.28 search
717.28 run=27 nbConstraintChecks=5134057638 nbPropagations=174648556 nbRevisions=2670128735
717.28 nbUselessRevisions=2178093700 nbAssignments=2782081 nbFailedAssignments=1077151 nbBacktracks=1704451
717.28 nbVisitedNodes=4781123 nbRestartNogoods=246
717.28 => wckTime=716.379 cpuTime=712.31 mem=16M568
1070.82
1070.82 search
1070.82 run=28 nbConstraintChecks=7702406313 nbPropagations=261668480 nbRevisions=3992042532
1070.82 nbUselessRevisions=3254112509 nbAssignments=4154260 nbFailedAssignments=1597093 nbBacktracks=2556677
1070.82 nbVisitedNodes=7127590 nbRestartNogoods=256
1070.82 => wckTime=1069.917 cpuTime=1063.92 mem=16M568
1606.20
1606.20 search
1606.20 run=29 nbConstraintChecks=11641860880 nbPropagations=392276139 nbRevisions=5970938021
1606.20 nbUselessRevisions=4863696128 nbAssignments=6209211 nbFailedAssignments=2373695 nbBacktracks=3835018
1606.20 nbVisitedNodes=10635241 nbRestartNogoods=276
1606.20 => wckTime=1605.293 cpuTime=1596.38 mem=16M568
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-203462-1168160032 -o ROOT/results/node24/solver-203462-1168160032 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203462-1168160032/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: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=168 CPUtime=0
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 164398555 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0
/proc/15171/statm: 42 23 18 14 0 2 0
[startup+0.107997 s]
/proc/loadavg: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=913228 CPUtime=0.07
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 2920 0 1 0 6 1 0 0 23 0 8 0 164398555 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.517042 s]
/proc/loadavg: 0.92 0.98 0.99 5/82 15173
/proc/meminfo: memFree=1518624/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915328 CPUtime=0.48
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 7253 0 1 0 43 5 0 0 25 0 8 0 164398555 937295872 6992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228832 6992 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33813 s]
/proc/loadavg: 0.92 0.98 0.99 3/101 15193
/proc/meminfo: memFree=1476872/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1.29
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9951 0 1 0 121 8 0 0 25 0 8 0 164398555 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9689 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.2
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.9753 s]
/proc/loadavg: 0.92 0.98 0.99 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=2.92
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9968 0 1 0 284 8 0 0 25 0 8 0 164398555 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9704 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 17 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26065 s]
/proc/loadavg: 1.09 1.02 1.01 3/101 15193
/proc/meminfo: memFree=1476616/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=6.19
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 611 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7404 s]
/proc/loadavg: 1.23 1.05 1.02 3/101 15193
/proc/meminfo: memFree=1476616/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=12.64
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 1256 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460
[startup+25.6027 s]
/proc/loadavg: 1.34 1.08 1.02 3/101 15193
/proc/meminfo: memFree=1476680/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=25.41
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 2533 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915460
[startup+51.2085 s]
/proc/loadavg: 1.65 1.17 1.05 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=50.89
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9970 0 1 0 5081 8 0 0 25 0 8 0 164398555 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9705 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.23
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 400 0 0 0 22 1 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915460
[startup+102.511 s]
/proc/loadavg: 1.93 1.31 1.11 3/101 15193
/proc/meminfo: memFree=1476680/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=101.92
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9972 0 1 0 10184 8 0 0 25 0 8 0 164398555 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9706 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915460
[startup+162.557 s]
/proc/loadavg: 1.97 1.43 1.16 3/101 15193
/proc/meminfo: memFree=1476744/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=161.62
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9972 0 1 0 16153 9 0 0 25 0 8 0 164398555 937431040 9706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.66
Current children cumulated vsize (KiB) 915460
[startup+1483.58 s]
/proc/loadavg: 2.00 2.00 1.79 3/101 15391
/proc/meminfo: memFree=1476360/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1475.39
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 147518 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.39
Current children cumulated vsize (KiB) 915460
[startup+1543.63 s]
/proc/loadavg: 2.00 2.00 1.80 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1535.11
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 153490 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.11
Current children cumulated vsize (KiB) 915460
[startup+1603.67 s]
/proc/loadavg: 2.00 2.00 1.81 3/101 15393
/proc/meminfo: memFree=1476360/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1594.82
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 159461 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.82
Current children cumulated vsize (KiB) 915460
[startup+1663.72 s]
/proc/loadavg: 2.00 2.00 1.82 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1654.55
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 165434 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 915460
[startup+1723.77 s]
/proc/loadavg: 2.00 2.00 1.83 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1714.27
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 171406 21 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.27
Current children cumulated vsize (KiB) 915460
[startup+1783.81 s]
/proc/loadavg: 2.09 2.03 1.84 3/101 15393
/proc/meminfo: memFree=1476296/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1773.98
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 177376 22 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.98
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.03 s]
/proc/loadavg: 2.06 2.03 1.84 2/88 15407
/proc/meminfo: memFree=1489264/2055920 swapFree=4192812/4192956
[pid=15171] ppid=15168 vsize=915460 CPUtime=1800.07
/proc/15171/stat : 15171 (java) R 15168 15171 15028 0 -1 0 9974 0 1 0 179985 22 0 0 25 0 8 0 164398555 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15171/statm: 228865 9707 2524 14 0 215335 0
[pid=15171/tid=15180] ppid=15168 vsize=915460 CPUtime=0.03
/proc/15171/task/15180/stat : 15180 (java) S 15168 15171 15028 0 -1 64 427 0 0 0 3 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15182] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15182/stat : 15182 (java) S 15168 15171 15028 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15183] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15183/stat : 15183 (java) S 15168 15171 15028 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164398560 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15186] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15186/stat : 15186 (java) S 15168 15171 15028 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15188] ppid=15168 vsize=915460 CPUtime=0.24
/proc/15171/task/15188/stat : 15188 (java) S 15168 15171 15028 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15190] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15190/stat : 15190 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15171/tid=15192] ppid=15168 vsize=915460 CPUtime=0
/proc/15171/task/15192/stat : 15192 (java) S 15168 15171 15028 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164398564 937431040 9707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 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.09
CPU time (s): 1800.13
CPU user time (s): 1799.9
CPU system time (s): 0.231964
CPU usage (%): 99.4499
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.231964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9992
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= 37815
involuntary context switches= 71088
runsolver used 2.45263 s user time and 5.56715 s system time
The end
Begin job on node24 on Sun Jan 7 08:53:53 UTC 2007
IDJOB= 203462
IDBENCH= 3964
FILE ID= node24/203462-1168160032
PBS_JOBID= 3478564
Free space on /tmp= 66473 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-3-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203462-1168160032/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-203462-1168160032 -o ROOT/results/node24/solver-203462-1168160032 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203462-1168160032/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5c9d57efea59fceec688fbd5b5a88700
RANDOM SEED= 686546626
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.234
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.234
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: 1519232 kB
Buffers: 54312 kB
Cached: 357224 kB
SwapCached: 0 kB
Active: 215008 kB
Inactive: 253800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1519232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3028 kB
Writeback: 4 kB
Mapped: 76248 kB
Slab: 52808 kB
Committed_AS: 3309148 kB
PageTables: 2196 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= 66474 MiB
End job on node24 on Sun Jan 7 09:24:03 UTC 2007