0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/194471-1168101909/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=472 nbRelationTypes=472 nbExtensionStructures=472 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=472 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2520 maxDegree=29
0.66 maxArity=2
0.66 => wckTime=0.371 cpuTime=0.27 mem=17M695
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.572 cpuTime=0.4 mem=15M590
0.92
0.92 preprocessing
0.92 nbConstraintChecks=107865 nbPropagations=1169 nbRevisions=9277 nbUselessRevisions=7763 nbSingletonTests=60
0.92 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.057 cpuTime=0.03 mem=15M590
0.95
0.95 search
0.95 run=0 nbConstraintChecks=45448 nbPropagations=1743 nbRevisions=16013 nbUselessRevisions=13324 nbAssignments=29
0.95 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.084 cpuTime=0.06 mem=15M590
0.97
0.97 search
0.97 run=1 nbConstraintChecks=101340 nbPropagations=4164 nbRevisions=40344 nbUselessRevisions=33551
0.97 nbAssignments=65 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=95 nbRestartNogoods=3 mapSize=20
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.104 cpuTime=0.07 mem=15M590
0.99
0.99 search
0.99 run=2 nbConstraintChecks=193885 nbPropagations=7566 nbRevisions=78581 nbUselessRevisions=64839
0.99 nbAssignments=113 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=173 nbRestartNogoods=5 mapSize=36
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.12 cpuTime=0.08 mem=15M590
1.01
1.01 search
1.01 run=3 nbConstraintChecks=306942 nbPropagations=12279 nbRevisions=134772 nbUselessRevisions=110858
1.01 nbAssignments=176 nbFailedAssignments=55 nbBacktracks=83 nbVisitedNodes=273 nbRestartNogoods=7 mapSize=63
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.141 cpuTime=0.1 mem=15M590
1.03
1.03 search
1.03 run=4 nbConstraintChecks=448919 nbPropagations=18585 nbRevisions=212278 nbUselessRevisions=174170
1.03 nbAssignments=261 nbFailedAssignments=79 nbBacktracks=134 nbVisitedNodes=412 nbRestartNogoods=10 mapSize=104
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.166 cpuTime=0.13 mem=15M590
1.07
1.07 search
1.07 run=5 nbConstraintChecks=644601 nbPropagations=27473 nbRevisions=328875 nbUselessRevisions=270160
1.07 nbAssignments=400 nbFailedAssignments=131 nbBacktracks=209 nbVisitedNodes=646 nbRestartNogoods=12 mapSize=169
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.206 cpuTime=0.16 mem=15M590
1.13
1.13 search
1.13 run=6 nbConstraintChecks=991795 nbPropagations=40268 nbRevisions=499358 nbUselessRevisions=410122
1.13 nbAssignments=605 nbFailedAssignments=191 nbBacktracks=323 nbVisitedNodes=946 nbRestartNogoods=18 mapSize=257
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.265 cpuTime=0.22 mem=15M590
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1524002 nbPropagations=59168 nbRevisions=762595 nbUselessRevisions=626032
1.22 nbAssignments=889 nbFailedAssignments=295 nbBacktracks=493 nbVisitedNodes=1434 nbRestartNogoods=24 mapSize=400
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.35 cpuTime=0.3 mem=15M590
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2130443 nbPropagations=85904 nbRevisions=1146041 nbUselessRevisions=941665
1.33 nbAssignments=1319 nbFailedAssignments=455 nbBacktracks=751 nbVisitedNodes=2160 nbRestartNogoods=30
1.33 mapSize=611 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.461 cpuTime=0.4 mem=15M590
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3177377 nbPropagations=124899 nbRevisions=1717132 nbUselessRevisions=1411451
1.51 nbAssignments=1977 nbFailedAssignments=697 nbBacktracks=1136 nbVisitedNodes=3234 nbRestartNogoods=36
1.51 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.64 cpuTime=0.57 mem=15M590
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M590)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4862624 nbPropagations=183026 nbRevisions=2586855 nbUselessRevisions=2124994
1.76 nbAssignments=2972 nbFailedAssignments=1107 nbBacktracks=1712 nbVisitedNodes=4949 nbRestartNogoods=41
1.76 => wckTime=0.893 cpuTime=0.81 mem=15M590
2.08
2.08 search
2.08 run=11 nbConstraintChecks=6977845 nbPropagations=267809 nbRevisions=3874020 nbUselessRevisions=3182925
2.08 nbAssignments=4395 nbFailedAssignments=1657 nbBacktracks=2576 nbVisitedNodes=7404 nbRestartNogoods=47
2.08 => wckTime=1.216 cpuTime=1.12 mem=15M590
2.66
2.66 search
2.66 run=12 nbConstraintChecks=11220275 nbPropagations=398511 nbRevisions=5904391 nbUselessRevisions=4851079
2.66 nbAssignments=6594 nbFailedAssignments=2551 nbBacktracks=3873 nbVisitedNodes=11260 nbRestartNogoods=51
2.66 => wckTime=1.795 cpuTime=1.7 mem=15M590
3.37
3.37 search
3.37 run=13 nbConstraintChecks=16105010 nbPropagations=588630 nbRevisions=8855766 nbUselessRevisions=7276771
3.37 nbAssignments=9737 nbFailedAssignments=3738 nbBacktracks=5821 nbVisitedNodes=16588 nbRestartNogoods=57
3.37 => wckTime=2.507 cpuTime=2.4 mem=15M590
4.58
4.58 search
4.58 run=14 nbConstraintChecks=24844083 nbPropagations=875959 nbRevisions=13334176 nbUselessRevisions=10954052
4.58 nbAssignments=14482 nbFailedAssignments=5551 nbBacktracks=8742 nbVisitedNodes=24778 nbRestartNogoods=67
4.58 => wckTime=3.715 cpuTime=3.6 mem=15M590
6.05
6.05 search
6.05 run=15 nbConstraintChecks=34790162 nbPropagations=1287985 nbRevisions=19748320 nbUselessRevisions=16235305
6.05 nbAssignments=21220 nbFailedAssignments=7899 nbBacktracks=13122 nbVisitedNodes=36069 nbRestartNogoods=78
6.05 => wckTime=5.187 cpuTime=5.07 mem=16M565
8.42
8.42 search
8.42 run=16 nbConstraintChecks=51186386 nbPropagations=1900778 nbRevisions=29222310 nbUselessRevisions=24033900
8.42 nbAssignments=31476 nbFailedAssignments=11573 nbBacktracks=19694 nbVisitedNodes=53502 nbRestartNogoods=85
8.42 => wckTime=7.557 cpuTime=7.42 mem=16M565
12.21
12.21 search
12.21 run=17 nbConstraintChecks=78168940 nbPropagations=2826726 nbRevisions=43517300 nbUselessRevisions=35778207
12.21 nbAssignments=47224 nbFailedAssignments=17457 nbBacktracks=29548 nbVisitedNodes=80425 nbRestartNogoods=93
12.21 => wckTime=11.341 cpuTime=11.17 mem=16M565
17.82
17.82 search
17.82 run=18 nbConstraintChecks=118582538 nbPropagations=4217416 nbRevisions=65005963 nbUselessRevisions=53408772
17.82 nbAssignments=70785 nbFailedAssignments=26229 nbBacktracks=44326 nbVisitedNodes=120633 nbRestartNogoods=103
17.82 => wckTime=16.95 cpuTime=16.73 mem=16M565
26.33
26.33 search
26.33 run=19 nbConstraintChecks=178001449 nbPropagations=6317589 nbRevisions=97542080 nbUselessRevisions=80129658
26.33 nbAssignments=106865 nbFailedAssignments=40131 nbBacktracks=66496 nbVisitedNodes=182712 nbRestartNogoods=117
26.33 => wckTime=25.465 cpuTime=25.15 mem=16M565
38.13
38.13 search
38.13 run=20 nbConstraintChecks=259452697 nbPropagations=9410895 nbRevisions=145471554 nbUselessRevisions=119533478
38.13 nbAssignments=159086 nbFailedAssignments=59090 nbBacktracks=99749 nbVisitedNodes=271246 nbRestartNogoods=123
38.13 => wckTime=37.267 cpuTime=36.85 mem=16M565
58.17
58.17 search
58.17 run=21 nbConstraintChecks=404108895 nbPropagations=14128359 nbRevisions=219606971 nbUselessRevisions=180539733
58.17 nbAssignments=241778 nbFailedAssignments=91894 nbBacktracks=149628 nbVisitedNodes=414288 nbRestartNogoods=131
58.17 => wckTime=57.3 cpuTime=56.72 mem=16M565
86.08
86.08 search
86.08 run=22 nbConstraintChecks=602690864 nbPropagations=21162323 nbRevisions=329778164 nbUselessRevisions=271178412
86.08 nbAssignments=360367 nbFailedAssignments=135653 nbBacktracks=224448 nbVisitedNodes=616546 nbRestartNogoods=139
86.08 => wckTime=85.213 cpuTime=84.38 mem=16M565
129.16
129.16 search
129.16 run=23 nbConstraintChecks=910867608 nbPropagations=31740529 nbRevisions=495770972 nbUselessRevisions=407783607
129.16 nbAssignments=539974 nbFailedAssignments=203020 nbBacktracks=336676 nbVisitedNodes=923358 nbRestartNogoods=149
129.16 => wckTime=128.29 cpuTime=127.08 mem=16M565
190.88
190.88 search
190.88 run=24 nbConstraintChecks=1339561730 nbPropagations=47505107 nbRevisions=742161579 nbUselessRevisions=610584035
190.88 nbAssignments=808489 nbFailedAssignments=303184 nbBacktracks=505017 nbVisitedNodes=1381235 nbRestartNogoods=163
190.88 => wckTime=190.011 cpuTime=188.28 mem=16M565
286.43
286.43 search
286.43 run=25 nbConstraintChecks=2016480375 nbPropagations=71187669 nbRevisions=1112894573
286.43 nbUselessRevisions=915865135 nbAssignments=1210945 nbFailedAssignments=453115 nbBacktracks=757534
286.43 nbVisitedNodes=2069149 nbRestartNogoods=182
286.43 => wckTime=285.559 cpuTime=283.0 mem=16M565
426.59
426.59 search
426.59 run=26 nbConstraintChecks=3011298221 nbPropagations=106496851 nbRevisions=1664324773
426.59 nbUselessRevisions=1369605883 nbAssignments=1810664 nbFailedAssignments=674057 nbBacktracks=1136302
426.59 nbVisitedNodes=3087992 nbRestartNogoods=199
426.59 => wckTime=425.726 cpuTime=421.95 mem=16M565
643.08
643.08 search
643.08 run=27 nbConstraintChecks=4529069078 nbPropagations=159801107 nbRevisions=2499694600
643.08 nbUselessRevisions=2057765755 nbAssignments=2728840 nbFailedAssignments=1024072 nbBacktracks=1704454
643.08 nbVisitedNodes=4665396 nbRestartNogoods=209
643.08 => wckTime=642.215 cpuTime=636.59 mem=16M565
952.71
952.71 search
952.71 run=28 nbConstraintChecks=6674300320 nbPropagations=238909363 nbRevisions=3742018568
952.71 nbUselessRevisions=3082416624 nbAssignments=4076917 nbFailedAssignments=1519913 nbBacktracks=2556682
952.71 nbVisitedNodes=6954884 nbRestartNogoods=226
952.71 => wckTime=951.841 cpuTime=943.47 mem=16M565
1457.52
1457.52 search
1457.52 run=29 nbConstraintChecks=10310164901 nbPropagations=359236760 nbRevisions=5641243207
1457.52 nbUselessRevisions=4648492594 nbAssignments=6152096 nbFailedAssignments=2316742 nbBacktracks=3835023
1457.52 nbVisitedNodes=10523965 nbRestartNogoods=241
1457.52 => wckTime=1456.648 cpuTime=1443.83 mem=16M565
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-194471-1168101909 -o ROOT/results/node14/solver-194471-1168101909 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194471-1168101909/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.20 0.97 1.37 2/93 4098
/proc/meminfo: memFree=1374712/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=18540 CPUtime=0
/proc/4097/stat : 4097 (runsolver) R 4095 4097 3605 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 158587945 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4097/statm: 4635 279 244 17 0 2626 0
[startup+0.103031 s]
/proc/loadavg: 0.20 0.97 1.37 2/93 4098
/proc/meminfo: memFree=1374712/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=914988 CPUtime=0.08
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 3031 0 1 0 7 1 0 0 24 0 8 0 158587945 936947712 2777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228747 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511065 s]
/proc/loadavg: 0.20 0.97 1.37 2/93 4098
/proc/meminfo: memFree=1374712/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915328 CPUtime=0.49
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 7244 0 1 0 45 4 0 0 25 0 8 0 158587945 937295872 6983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228832 6983 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33414 s]
/proc/loadavg: 0.20 0.97 1.37 3/100 4105
/proc/meminfo: memFree=1347072/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1.3
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9647 0 1 0 123 7 0 0 25 0 8 0 158587945 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9385 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.22
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 158587952 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98638 s]
/proc/loadavg: 0.20 0.97 1.37 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=2.94
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9663 0 1 0 287 7 0 0 25 0 8 0 158587945 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9400 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.24
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.2746 s]
/proc/loadavg: 0.35 0.99 1.38 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=6.2
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9664 0 1 0 613 7 0 0 25 0 8 0 158587945 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833669 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9400 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7602 s]
/proc/loadavg: 0.48 1.01 1.38 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=12.63
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9664 0 1 0 1256 7 0 0 25 0 8 0 158587945 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9400 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5964 s]
/proc/loadavg: 0.82 1.05 1.39 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=25.37
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9664 0 1 0 2529 8 0 0 25 0 8 0 158587945 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9400 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.1978 s]
/proc/loadavg: 1.22 1.13 1.40 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=50.73
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9664 0 1 0 5065 8 0 0 25 0 8 0 158587945 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9400 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.499 s]
/proc/loadavg: 1.70 1.28 1.44 3/100 4105
/proc/meminfo: memFree=1347008/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=101.59
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9666 0 1 0 10150 9 0 0 25 0 8 0 158587945 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829253 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9401 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158587952 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 915460
[startup+162.533 s]
/proc/loadavg: 1.95 1.42 1.47 3/100 4105
/proc/meminfo: memFree=1347008/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=161.1
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9666 0 1 0 16101 9 0 0 25 0 8 0 158587945 937431040 9401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.92
Current children cumulated vsize (KiB) 915460
[startup+1483.39 s]
/proc/loadavg: 2.08 2.02 1.85 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1470.45
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 147011 34 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.04
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (KiB) 915460
[startup+1543.42 s]
/proc/loadavg: 2.03 2.01 1.86 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1529.97
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 152963 34 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.04
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.97
Current children cumulated vsize (KiB) 915460
[startup+1603.46 s]
/proc/loadavg: 2.01 2.00 1.87 3/100 4303
/proc/meminfo: memFree=1346816/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1589.47
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 158913 34 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814234 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.04
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.47
Current children cumulated vsize (KiB) 915460
[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.87 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1649.01
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 164866 35 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.04
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 2 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.01
Current children cumulated vsize (KiB) 915460
[startup+1723.54 s]
/proc/loadavg: 2.07 2.03 1.89 3/100 4303
/proc/meminfo: memFree=1346816/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1708.54
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 170819 35 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.05
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.54
Current children cumulated vsize (KiB) 915460
[startup+1783.58 s]
/proc/loadavg: 2.02 2.02 1.89 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1768.04
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 176769 35 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.05
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.04
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.75 s]
/proc/loadavg: 2.10 2.03 1.90 4/101 4367
/proc/meminfo: memFree=1159032/2055920 swapFree=4182236/4192956
[pid=4097] ppid=4095 vsize=915460 CPUtime=1800.03
/proc/4097/stat : 4097 (java) R 4095 4097 3605 0 -1 0 9667 0 1 0 179967 36 0 0 25 0 8 0 158587945 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4097/statm: 228865 9402 2524 14 0 215335 0
[pid=4097/tid=4099] ppid=4095 vsize=915460 CPUtime=0.03
/proc/4097/task/4099/stat : 4099 (java) S 4095 4097 3605 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4100] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4100/stat : 4100 (java) S 4095 4097 3605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4101] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4101/stat : 4101 (java) S 4095 4097 3605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587949 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4102] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4102/stat : 4102 (java) S 4095 4097 3605 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4103] ppid=4095 vsize=915460 CPUtime=0.25
/proc/4097/task/4103/stat : 4103 (java) S 4095 4097 3605 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4104] ppid=4095 vsize=915460 CPUtime=0
/proc/4097/task/4104/stat : 4104 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4097/tid=4105] ppid=4095 vsize=915460 CPUtime=0.05
/proc/4097/task/4105/stat : 4105 (java) S 4095 4097 3605 0 -1 64 1 0 0 0 2 3 0 0 15 0 8 0 158587952 937431040 9402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.81
CPU time (s): 1800.1
CPU user time (s): 1799.72
CPU system time (s): 0.375942
CPU usage (%): 99.1348
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9685
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= 37872
involuntary context switches= 104595
runsolver used 1.71874 s user time and 5.19921 s system time
The end
Begin job on node14 on Sat Jan 6 16:45:24 UTC 2007
IDJOB= 194471
IDBENCH= 3216
FILE ID= node14/194471-1168101909
PBS_JOBID= 3477031
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194471-1168101909/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-194471-1168101909 -o ROOT/results/node14/solver-194471-1168101909 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194471-1168101909/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 59ba031e1eaa6b28ad25968e716c3717
RANDOM SEED= 717140161
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.227
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.227
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: 1375384 kB
Buffers: 62260 kB
Cached: 437176 kB
SwapCached: 3696 kB
Active: 212900 kB
Inactive: 367292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1375384 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 4168 kB
Writeback: 0 kB
Mapped: 100184 kB
Slab: 85124 kB
Committed_AS: 5638016 kB
PageTables: 2280 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= 66327 MiB
End job on node14 on Sat Jan 6 17:15:49 UTC 2007