0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199816-1168136622/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.04
1.04 constraints being loaded...
1.31 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.31 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
1.31 => wckTime=0.995 cpuTime=0.86 mem=47M670
1.43
1.43 solver IterativeSystematicSolver being built...
1.60 => wckTime=1.282 cpuTime=1.01 mem=34M237
1.70
1.70 preprocessing
1.70 nbConstraintChecks=32327 nbValidityChecks=51149 nbPropagations=209 nbRevisions=2048 nbUselessRevisions=1758
1.70 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.70 => wckTime=0.102 cpuTime=0.08 mem=34M237
1.77
1.77 search
1.77 run=0 nbConstraintChecks=30706 nbValidityChecks=63338 nbPropagations=589 nbRevisions=6635
1.77 nbUselessRevisions=5444 nbAssignments=33 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=58
1.77 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.172 cpuTime=0.14 mem=35M240
1.85
1.85 search
1.85 run=1 nbConstraintChecks=76135 nbValidityChecks=151180 nbPropagations=1686 nbRevisions=19095
1.85 nbUselessRevisions=15474 nbAssignments=73 nbFailedAssignments=36 nbBacktracks=26 nbVisitedNodes=129
1.86 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.253 cpuTime=0.21 mem=35M240
1.99
1.99 search
1.99 run=2 nbConstraintChecks=155673 nbValidityChecks=318680 nbPropagations=3601 nbRevisions=41436
1.99 nbUselessRevisions=33480 nbAssignments=159 nbFailedAssignments=58 nbBacktracks=48 nbVisitedNodes=215
1.99 nbRestartNogoods=10 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.393 cpuTime=0.34 mem=35M240
2.14
2.14 search
2.14 run=3 nbConstraintChecks=248782 nbValidityChecks=520736 nbPropagations=6620 nbRevisions=76658
2.14 nbUselessRevisions=62012 nbAssignments=272 nbFailedAssignments=92 nbBacktracks=81 nbVisitedNodes=340
2.14 nbRestartNogoods=17 mapSize=68 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.537 cpuTime=0.48 mem=35M240
2.36
2.36 search
2.36 run=4 nbConstraintChecks=392516 nbValidityChecks=823426 nbPropagations=11403 nbRevisions=133473
2.36 nbUselessRevisions=107804 nbAssignments=420 nbFailedAssignments=170 nbBacktracks=131 nbVisitedNodes=591
2.36 nbRestartNogoods=22 mapSize=115 nbInferences=0 nbTooLargeKeys=0
2.36 => wckTime=0.761 cpuTime=0.69 mem=35M240
2.71
2.71 search
2.71 run=5 nbConstraintChecks=617711 nbValidityChecks=1298822 nbPropagations=19004 nbRevisions=223237
2.71 nbUselessRevisions=179509 nbAssignments=659 nbFailedAssignments=328 nbBacktracks=207 nbVisitedNodes=1041
2.71 nbRestartNogoods=28 mapSize=187 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=1.108 cpuTime=1.03 mem=35M240
3.37
3.37 search
3.37 run=6 nbConstraintChecks=1039592 nbValidityChecks=2186611 nbPropagations=31502 nbRevisions=369850
3.37 nbUselessRevisions=295615 nbAssignments=1023 nbFailedAssignments=573 nbBacktracks=320 nbVisitedNodes=1747
3.37 nbRestartNogoods=34 mapSize=298 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=1.766 cpuTime=1.68 mem=35M240
4.06
4.06 search
4.06 run=7 nbConstraintChecks=1515804 nbValidityChecks=3118041 nbPropagations=49677 nbRevisions=586332
4.06 nbUselessRevisions=467033 nbAssignments=1466 nbFailedAssignments=829 nbBacktracks=491 nbVisitedNodes=2555
4.06 nbRestartNogoods=45 mapSize=451 nbInferences=0 nbTooLargeKeys=0
4.06 => wckTime=2.459 cpuTime=2.36 mem=35M240
5.29
5.29 search
5.29 run=8 nbConstraintChecks=2366501 nbValidityChecks=4823507 nbPropagations=77311 nbRevisions=924871
5.29 nbUselessRevisions=735735 nbAssignments=2249 nbFailedAssignments=1308 nbBacktracks=747 nbVisitedNodes=3962
5.29 nbRestartNogoods=56 mapSize=689 nbInferences=0 nbTooLargeKeys=0
5.29 => wckTime=3.69 cpuTime=3.55 mem=35M240
7.43
7.43 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=35M240)
7.54
7.54 search
7.54 run=9 nbConstraintChecks=4032595 nbValidityChecks=7978326 nbPropagations=119899 nbRevisions=1448624
7.54 nbUselessRevisions=1149467 nbAssignments=3442 nbFailedAssignments=2095 nbBacktracks=1131 nbVisitedNodes=6246
7.54 nbRestartNogoods=70
7.54 => wckTime=5.941 cpuTime=5.78 mem=35M240
9.76
9.76 search
9.76 run=10 nbConstraintChecks=5555168 nbValidityChecks=11175026 nbPropagations=182653 nbRevisions=2208988
9.76 nbUselessRevisions=1748233 nbAssignments=5114 nbFailedAssignments=3163 nbBacktracks=1707 nbVisitedNodes=9362
9.76 nbRestartNogoods=82
9.76 => wckTime=8.158 cpuTime=7.97 mem=35M240
14.18
14.18 search
14.18 run=11 nbConstraintChecks=8644149 nbValidityChecks=17534630 nbPropagations=280509 nbRevisions=3392153
14.18 nbUselessRevisions=2677766 nbAssignments=7815 nbFailedAssignments=4958 nbBacktracks=2571 nbVisitedNodes=14527
14.18 nbRestartNogoods=101
14.18 => wckTime=12.582 cpuTime=12.35 mem=35M240
20.53
20.53 search
20.53 run=12 nbConstraintChecks=13183710 nbValidityChecks=26770435 nbPropagations=431332 nbRevisions=5192144
20.53 nbUselessRevisions=4088270 nbAssignments=12126 nbFailedAssignments=7966 nbBacktracks=3868 nbVisitedNodes=22811
20.53 nbRestartNogoods=118
20.53 => wckTime=18.931 cpuTime=18.64 mem=35M240
30.96
30.97 search
30.97 run=13 nbConstraintChecks=20354409 nbValidityChecks=41763038 nbPropagations=664438 nbRevisions=7965786
30.97 nbUselessRevisions=6258522 nbAssignments=18436 nbFailedAssignments=12312 nbBacktracks=5816 nbVisitedNodes=35068
30.97 nbRestartNogoods=129
30.97 => wckTime=29.365 cpuTime=28.98 mem=35M240
41.98
41.98 search
41.98 run=14 nbConstraintChecks=28370962 nbValidityChecks=57375655 nbPropagations=992625 nbRevisions=11913083
41.98 nbUselessRevisions=9357942 nbAssignments=25667 nbFailedAssignments=16619 nbBacktracks=8735 nbVisitedNodes=48617
41.98 nbRestartNogoods=145
41.98 => wckTime=40.378 cpuTime=39.89 mem=35M240
60.48
60.48 search
60.48 run=15 nbConstraintChecks=41701696 nbValidityChecks=83588440 nbPropagations=1469092 nbRevisions=17735878
60.48 nbUselessRevisions=13944681 nbAssignments=37048 nbFailedAssignments=23614 nbBacktracks=13115
60.48 nbVisitedNodes=70098 nbRestartNogoods=160
60.48 => wckTime=58.883 cpuTime=58.23 mem=35M240
93.34
93.34 search
93.34 run=16 nbConstraintChecks=66498455 nbValidityChecks=131212571 nbPropagations=2192902 nbRevisions=26631820
93.34 nbUselessRevisions=20958791 nbAssignments=55975 nbFailedAssignments=35929 nbBacktracks=19683
93.34 nbVisitedNodes=106464 nbRestartNogoods=181
93.34 => wckTime=91.737 cpuTime=90.78 mem=35M240
140.02
140.02 search
140.02 run=17 nbConstraintChecks=100777186 nbValidityChecks=200170066 nbPropagations=3291326 nbRevisions=40147375
140.02 nbUselessRevisions=31599650 nbAssignments=85243 nbFailedAssignments=55327 nbBacktracks=29535
140.02 nbVisitedNodes=162862 nbRestartNogoods=192
140.02 => wckTime=138.421 cpuTime=137.08 mem=35M240
200.18
200.18 search
200.18 run=18 nbConstraintChecks=144837835 nbValidityChecks=289551164 nbPropagations=4919880 nbRevisions=59864173
200.18 nbUselessRevisions=47097065 nbAssignments=127643 nbFailedAssignments=82930 nbBacktracks=44313
200.18 nbVisitedNodes=243288 nbRestartNogoods=208
200.18 => wckTime=198.583 cpuTime=196.96 mem=35M240
287.79
287.79 search
287.79 run=19 nbConstraintChecks=209814939 nbValidityChecks=420606723 nbPropagations=7259164 nbRevisions=88535476
287.79 nbUselessRevisions=69693827 nbAssignments=188267 nbFailedAssignments=121380 nbBacktracks=66481
287.79 nbVisitedNodes=357429 nbRestartNogoods=222
287.79 => wckTime=286.192 cpuTime=284.13 mem=35M240
434.53
434.53 search
434.53 run=20 nbConstraintChecks=314763776 nbValidityChecks=627225351 nbPropagations=10766600 nbRevisions=131502447
434.53 nbUselessRevisions=103549871 nbAssignments=279931 nbFailedAssignments=179786 nbBacktracks=99733
434.53 nbVisitedNodes=531099 nbRestartNogoods=229
434.53 => wckTime=432.929 cpuTime=430.1 mem=35M240
645.13
645.13 search
645.13 run=21 nbConstraintChecks=462027639 nbValidityChecks=919808187 nbPropagations=15918820 nbRevisions=194679954
645.13 nbUselessRevisions=153368610 nbAssignments=405225 nbFailedAssignments=255158 nbBacktracks=149611
645.13 nbVisitedNodes=766517 nbRestartNogoods=247
645.13 => wckTime=643.526 cpuTime=639.64 mem=35M240
1030.53
1030.53 search
1030.53 run=22 nbConstraintChecks=731203426 nbValidityChecks=1453656599 nbPropagations=23940312 nbRevisions=292073879
1030.53 nbUselessRevisions=229848553 nbAssignments=623111 nbFailedAssignments=398219 nbBacktracks=224430
1030.53 nbVisitedNodes=1183819 nbRestartNogoods=264
1030.53 => wckTime=1028.931 cpuTime=1023.21 mem=35M240
1502.09
1502.09 search
1502.09 run=23 nbConstraintChecks=1056840692 nbValidityChecks=2113443677 nbPropagations=35671918 nbRevisions=435479246
1502.09 nbUselessRevisions=342771527 nbAssignments=909612 nbFailedAssignments=572486 nbBacktracks=336658
1502.09 nbVisitedNodes=1722033 nbRestartNogoods=284
1502.09 => wckTime=1500.49 cpuTime=1492.56 mem=35M240
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-199816-1168136622 -o ROOT/results/node56/solver-199816-1168136622 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199816-1168136622/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.01 1.89 4/81 25069
/proc/meminfo: memFree=1751136/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=18540 CPUtime=0
/proc/25068/stat : 25068 (runsolver) R 25066 25068 24041 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 162060309 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25068/statm: 4635 279 244 17 0 2626 0
[startup+0.107934 s]
/proc/loadavg: 2.00 2.01 1.89 4/81 25069
/proc/meminfo: memFree=1751136/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=914988 CPUtime=0.09
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 2994 0 1 0 8 1 0 0 18 0 8 0 162060309 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515972 s]
/proc/loadavg: 2.00 2.01 1.89 4/81 25069
/proc/meminfo: memFree=1751136/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915328 CPUtime=0.49
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 7600 0 1 0 46 3 0 0 18 0 8 0 162060309 937295872 7339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228832 7339 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33705 s]
/proc/loadavg: 2.00 2.01 1.89 3/88 25076
/proc/meminfo: memFree=1683944/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1.3
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 19143 0 1 0 121 9 0 0 25 0 8 0 162060309 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 18880 2168 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.07
/proc/25068/task/25070/stat : 25070 (java) R 25066 25068 24041 0 -1 64 2659 0 0 0 6 1 0 0 16 0 8 0 162060314 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134259 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.1
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 162060317 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 18880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915416
[startup+2.99061 s]
/proc/loadavg: 2.00 2.01 1.89 3/88 25076
/proc/meminfo: memFree=1668200/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=2.93
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23406 0 1 0 281 12 0 0 25 0 8 0 162060309 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23142 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 162060314 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.2
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 162060317 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416
[startup+6.19153 s]
/proc/loadavg: 2.00 2.01 1.89 3/88 25076
/proc/meminfo: memFree=1667944/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=6.1
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23422 0 1 0 598 12 0 0 25 0 8 0 162060309 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23155 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 17 0 8 0 162060314 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.23
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 162060317 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915416
[startup+12.6832 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 25076
/proc/meminfo: memFree=1668136/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=12.54
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23426 0 1 0 1241 13 0 0 25 0 8 0 162060309 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23158 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915416
[startup+25.5504 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 25076
/proc/meminfo: memFree=1668264/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=25.29
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23426 0 1 0 2516 13 0 0 25 0 8 0 162060309 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23158 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915416
[startup+51.1979 s]
/proc/loadavg: 2.12 2.03 1.90 3/88 25076
/proc/meminfo: memFree=1668200/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=50.69
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23428 0 1 0 5056 13 0 0 25 0 8 0 162060309 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23159 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915416
[startup+102.491 s]
/proc/loadavg: 2.25 2.07 1.92 5/91 25128
/proc/meminfo: memFree=1581776/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=101.56
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23428 0 1 0 10142 14 0 0 25 0 8 0 162060309 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25068/statm: 228854 23159 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162060318 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915416
[startup+162.572 s]
/proc/loadavg: 2.21 2.09 1.93 3/92 25129
/proc/meminfo: memFree=1538120/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=161.2
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23428 0 1 0 16105 15 0 0 25 0 8 0 162060309 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750070 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.93
Current children cumulated vsize (KiB) 915416
[startup+1484.48 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1233544/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1476.74
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 147655 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.74
Current children cumulated vsize (KiB) 915416
[startup+1544.57 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1204936/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1536.46
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 153627 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.46
Current children cumulated vsize (KiB) 915416
[startup+1604.65 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1204872/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1596.27
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 159608 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.27
Current children cumulated vsize (KiB) 915416
[startup+1664.74 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1204872/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1656.07
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 165588 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.07
Current children cumulated vsize (KiB) 915416
[startup+1724.83 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1204808/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1715.87
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 171568 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.87
Current children cumulated vsize (KiB) 915416
[startup+1784.92 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1176392/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1775.68
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 177549 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625329 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.02
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.68
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/92 25129
/proc/meminfo: memFree=1176392/2055920 swapFree=4184772/4192956
[pid=25068] ppid=25066 vsize=915416 CPUtime=1800.05
/proc/25068/stat : 25068 (java) R 25066 25068 24041 0 -1 0 23429 0 1 0 179986 19 0 0 25 0 8 0 162060309 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25068/statm: 228854 23160 2531 14 0 215324 0
[pid=25068/tid=25070] ppid=25066 vsize=915416 CPUtime=0.16
/proc/25068/task/25070/stat : 25070 (java) S 25066 25068 24041 0 -1 64 6426 0 0 0 14 2 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25071] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25071/stat : 25071 (java) S 25066 25068 24041 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25072] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25072/stat : 25072 (java) S 25066 25068 24041 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162060314 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25073] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25073/stat : 25073 (java) S 25066 25068 24041 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25074] ppid=25066 vsize=915416 CPUtime=0.24
/proc/25068/task/25074/stat : 25074 (java) S 25066 25068 24041 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162060317 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25075] ppid=25066 vsize=915416 CPUtime=0
/proc/25068/task/25075/stat : 25075 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25068/tid=25076] ppid=25066 vsize=915416 CPUtime=0.03
/proc/25068/task/25076/stat : 25076 (java) S 25066 25068 24041 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 162060318 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.46
CPU time (s): 1800.11
CPU user time (s): 1799.9
CPU system time (s): 0.214967
CPU usage (%): 99.4836
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23445
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= 37684
involuntary context switches= 60666
runsolver used 2.38364 s user time and 4.85726 s system time
The end
Begin job on node56 on Sun Jan 7 02:23:42 UTC 2007
IDJOB= 199816
IDBENCH= 3638
FILE ID= node56/199816-1168136622
PBS_JOBID= 3478018
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199816-1168136622/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-199816-1168136622 -o ROOT/results/node56/solver-199816-1168136622 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199816-1168136622/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9c6a9349bdd157e01642ecaeb6b5556a
RANDOM SEED= 471199716
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.232
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.232
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: 1751552 kB
Buffers: 20360 kB
Cached: 195992 kB
SwapCached: 1860 kB
Active: 77196 kB
Inactive: 163292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751552 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4452 kB
Writeback: 0 kB
Mapped: 38844 kB
Slab: 49116 kB
Committed_AS: 3064016 kB
PageTables: 1960 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= 66513 MiB
End job on node56 on Sun Jan 7 02:53:51 UTC 2007