0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206267-1168170592/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
1.55
1.55 constraints being loaded...
2.31 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.31 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.31 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.31 => wckTime=1.998 cpuTime=1.6 mem=58M30
2.46
2.46 solver IterativeSystematicSolver being built...
2.64 => wckTime=2.326 cpuTime=1.74 mem=65M642
2.78
2.78 preprocessing
2.78 nbConstraintChecks=48083 nbValidityChecks=77036 nbPropagations=262 nbRevisions=2766 nbUselessRevisions=2419
2.78 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.78 => wckTime=0.14 cpuTime=0.12 mem=65M642
2.89
2.89 search
2.89 run=0 nbConstraintChecks=52005 nbValidityChecks=103567 nbPropagations=778 nbRevisions=8968
2.89 nbUselessRevisions=7350 nbAssignments=38 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=67
2.89 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=0.251 cpuTime=0.22 mem=66M660
3.01
3.01 search
3.01 run=1 nbConstraintChecks=112395 nbValidityChecks=226697 nbPropagations=2226 nbRevisions=26289
3.01 nbUselessRevisions=21299 nbAssignments=83 nbFailedAssignments=41 nbBacktracks=26 nbVisitedNodes=147
3.01 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.01 => wckTime=0.369 cpuTime=0.33 mem=66M660
3.22
3.22 search
3.22 run=2 nbConstraintChecks=219160 nbValidityChecks=443324 nbPropagations=4694 nbRevisions=56422
3.22 nbUselessRevisions=45315 nbAssignments=152 nbFailedAssignments=81 nbBacktracks=48 nbVisitedNodes=275
3.22 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=0.573 cpuTime=0.52 mem=66M660
3.38
3.38 search
3.38 run=3 nbConstraintChecks=311676 nbValidityChecks=627819 nbPropagations=8271 nbRevisions=100323
3.38 nbUselessRevisions=80354 nbAssignments=227 nbFailedAssignments=116 nbBacktracks=81 nbVisitedNodes=408
3.38 nbRestartNogoods=8 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.38 => wckTime=0.736 cpuTime=0.68 mem=66M660
3.67
3.67 search
3.67 run=4 nbConstraintChecks=481066 nbValidityChecks=990040 nbPropagations=13697 nbRevisions=167379
3.67 nbUselessRevisions=133762 nbAssignments=411 nbFailedAssignments=240 nbBacktracks=133 nbVisitedNodes=746
3.67 nbRestartNogoods=13 mapSize=121 nbInferences=0 nbTooLargeKeys=0
3.67 => wckTime=1.022 cpuTime=0.96 mem=66M660
4.13
4.13 search
4.13 run=5 nbConstraintChecks=751600 nbValidityChecks=1552219 nbPropagations=21587 nbRevisions=266946
4.13 nbUselessRevisions=213094 nbAssignments=603 nbFailedAssignments=349 nbBacktracks=208 nbVisitedNodes=1097
4.13 nbRestartNogoods=17 mapSize=189 nbInferences=0 nbTooLargeKeys=0
4.13 => wckTime=1.49 cpuTime=1.42 mem=66M660
4.59
4.59 search
4.59 run=6 nbConstraintChecks=1014951 nbValidityChecks=2078477 nbPropagations=32485 nbRevisions=404333
4.59 nbUselessRevisions=322728 nbAssignments=852 nbFailedAssignments=475 nbBacktracks=322 nbVisitedNodes=1536
4.59 nbRestartNogoods=25 mapSize=279 nbInferences=0 nbTooLargeKeys=0
4.59 => wckTime=1.948 cpuTime=1.87 mem=66M660
5.35
5.35 search
5.35 run=7 nbConstraintChecks=1459280 nbValidityChecks=2985653 nbPropagations=48862 nbRevisions=609437
5.35 nbUselessRevisions=486610 nbAssignments=1259 nbFailedAssignments=685 nbBacktracks=492 nbVisitedNodes=2247
5.35 nbRestartNogoods=32 mapSize=436 nbInferences=0 nbTooLargeKeys=0
5.35 => wckTime=2.708 cpuTime=2.64 mem=66M660
6.67
6.67 search
6.67 run=8 nbConstraintChecks=2234556 nbValidityChecks=4592756 nbPropagations=73085 nbRevisions=916919
6.67 nbUselessRevisions=732458 nbAssignments=1899 nbFailedAssignments=1035 nbBacktracks=749 nbVisitedNodes=3369
6.67 nbRestartNogoods=38 mapSize=654 nbInferences=0 nbTooLargeKeys=0
6.67 => wckTime=4.026 cpuTime=3.92 mem=66M660
8.21
8.21 search
8.21 run=9 nbConstraintChecks=3188571 nbValidityChecks=6685351 nbPropagations=108399 nbRevisions=1358108
8.21 nbUselessRevisions=1084423 nbAssignments=2903 nbFailedAssignments=1578 nbBacktracks=1134 nbVisitedNodes=5086
8.21 nbRestartNogoods=54 mapSize=983 nbInferences=0 nbTooLargeKeys=0
8.21 => wckTime=5.565 cpuTime=5.45 mem=66M660
8.49
8.49 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=66M660)
10.79
10.79 search
10.79 run=10 nbConstraintChecks=4778731 nbValidityChecks=9944022 nbPropagations=163334 nbRevisions=2036842
10.79 nbUselessRevisions=1624633 nbAssignments=4288 nbFailedAssignments=2379 nbBacktracks=1710 nbVisitedNodes=7678
10.79 nbRestartNogoods=63
10.79 => wckTime=8.15 cpuTime=8.02 mem=66M660
14.17
14.17 search
14.17 run=11 nbConstraintChecks=6845347 nbValidityChecks=14486412 nbPropagations=244078 nbRevisions=3043158
14.17 nbUselessRevisions=2426622 nbAssignments=6479 nbFailedAssignments=3696 nbBacktracks=2576 nbVisitedNodes=11726
14.17 nbRestartNogoods=74
14.17 => wckTime=11.53 cpuTime=11.38 mem=66M660
19.93
19.93 search
19.93 run=12 nbConstraintChecks=10378849 nbValidityChecks=21870581 nbPropagations=368655 nbRevisions=4580767
19.93 nbUselessRevisions=3649283 nbAssignments=9625 nbFailedAssignments=5510 nbBacktracks=3873 nbVisitedNodes=17513
19.93 nbRestartNogoods=85
19.93 => wckTime=17.291 cpuTime=17.13 mem=66M660
29.26
29.26 search
29.26 run=13 nbConstraintChecks=16290746 nbValidityChecks=33956827 nbPropagations=559427 nbRevisions=6925278
29.26 nbUselessRevisions=5508848 nbAssignments=15216 nbFailedAssignments=9146 nbBacktracks=5821 nbVisitedNodes=28025
29.26 nbRestartNogoods=94
29.26 => wckTime=26.62 cpuTime=26.41 mem=66M660
43.29
43.29 search
43.29 run=14 nbConstraintChecks=24965258 nbValidityChecks=52147693 nbPropagations=841982 nbRevisions=10463111
43.29 nbUselessRevisions=8321037 nbAssignments=22141 nbFailedAssignments=13145 nbBacktracks=8741 nbVisitedNodes=40892
43.29 nbRestartNogoods=103
43.29 => wckTime=40.653 cpuTime=40.39 mem=66M660
65.69
65.69 search
65.69 run=15 nbConstraintChecks=39156230 nbValidityChecks=82213693 nbPropagations=1283915 nbRevisions=15949630
65.69 nbUselessRevisions=12662858 nbAssignments=35658 nbFailedAssignments=22276 nbBacktracks=13120
65.69 nbVisitedNodes=66565 nbRestartNogoods=107
65.69 => wckTime=63.05 cpuTime=62.7 mem=66M660
97.42
97.42 search
97.42 run=16 nbConstraintChecks=58600603 nbValidityChecks=122706433 nbPropagations=1946624 nbRevisions=24366404
97.42 nbUselessRevisions=19355234 nbAssignments=51735 nbFailedAssignments=31779 nbBacktracks=19688
97.42 nbVisitedNodes=96596 nbRestartNogoods=123
97.42 => wckTime=94.779 cpuTime=94.31 mem=66M660
146.54
146.54 search
146.54 run=17 nbConstraintChecks=90468280 nbValidityChecks=186946091 nbPropagations=2943820 nbRevisions=36895063
146.54 nbUselessRevisions=29293679 nbAssignments=78877 nbFailedAssignments=49060 nbBacktracks=29540
146.54 nbVisitedNodes=147696 nbRestartNogoods=132
146.54 => wckTime=143.902 cpuTime=143.24 mem=66M660
210.94
210.94 search
210.94 run=18 nbConstraintChecks=130343273 nbValidityChecks=269791232 nbPropagations=4427154 nbRevisions=55471341
210.94 nbUselessRevisions=44033759 nbAssignments=114735 nbFailedAssignments=70115 nbBacktracks=44319
210.94 nbVisitedNodes=214424 nbRestartNogoods=146
210.94 => wckTime=208.301 cpuTime=207.39 mem=66M660
323.29
323.29 search
323.29 run=19 nbConstraintChecks=201116771 nbValidityChecks=415939188 nbPropagations=6679151 nbRevisions=83535203
323.29 nbUselessRevisions=66218313 nbAssignments=175893 nbFailedAssignments=109096 nbBacktracks=66487
323.29 nbVisitedNodes=329764 nbRestartNogoods=153
323.29 => wckTime=320.653 cpuTime=319.31 mem=66M660
446.37
446.37 search
446.37 run=20 nbConstraintChecks=278329474 nbValidityChecks=578896370 nbPropagations=9822694 nbRevisions=122678164
446.37 nbUselessRevisions=97231167 nbAssignments=251109 nbFailedAssignments=151035 nbBacktracks=99739
446.37 nbVisitedNodes=466824 nbRestartNogoods=169
446.37 => wckTime=443.732 cpuTime=441.9 mem=66M660
664.74
664.74 search
664.74 run=21 nbConstraintChecks=412854114 nbValidityChecks=862314272 nbPropagations=14513841 nbRevisions=180069476
664.74 nbUselessRevisions=142578323 nbAssignments=365882 nbFailedAssignments=215918 nbBacktracks=149619
664.74 nbVisitedNodes=678506 nbRestartNogoods=195
664.74 => wckTime=662.1 cpuTime=659.42 mem=66M660
990.14
990.14 search
990.14 run=22 nbConstraintChecks=612803561 nbValidityChecks=1283026561 nbPropagations=21576776 nbRevisions=265814300
990.14 nbUselessRevisions=210205466 nbAssignments=538413 nbFailedAssignments=313623 nbBacktracks=224437
990.14 nbVisitedNodes=998341 nbRestartNogoods=226
990.14 => wckTime=987.497 cpuTime=983.29 mem=66M660
1517.47
1517.47 search
1517.47 run=23 nbConstraintChecks=942869066 nbValidityChecks=1968968601 nbPropagations=31974507 nbRevisions=395268887
1517.47 nbUselessRevisions=312707226 nbAssignments=812613 nbFailedAssignments=475587 nbBacktracks=336665
1517.47 nbVisitedNodes=1505770 nbRestartNogoods=239
1517.47 => wckTime=1514.825 cpuTime=1508.56 mem=66M660
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-206267-1168170592 -o ROOT/results/node51/solver-206267-1168170592 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206267-1168170592/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.04 2.00 4/73 28385
/proc/meminfo: memFree=1658304/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=9948 CPUtime=0
/proc/28384/stat : 28384 (java) S 28382 28384 27858 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 165457744 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/28384/statm: 2955 510 421 14 0 1602 0
[startup+0.103595 s]
/proc/loadavg: 2.00 2.04 2.00 4/73 28385
/proc/meminfo: memFree=1658304/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=914988 CPUtime=0.08
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 165457744 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511665 s]
/proc/loadavg: 2.00 2.04 2.00 4/73 28385
/proc/meminfo: memFree=1658304/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915328 CPUtime=0.49
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 7582 0 1 0 45 4 0 0 18 0 8 0 165457744 937295872 7321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073553134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228832 7321 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3348 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 28392
/proc/meminfo: memFree=1591176/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915328 CPUtime=1.3
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 19100 0 1 0 121 9 0 0 25 0 8 0 165457744 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228832 18838 2149 14 0 215302 0
[pid=28384/tid=28386] ppid=28382 vsize=915328 CPUtime=0.05
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 2680 0 0 0 5 0 0 0 17 0 8 0 165457748 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915328 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915328 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915328 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915328 CPUtime=0.08
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 165457752 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915328 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915328 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937295872 18838 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) 915328
[startup+2.98609 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 28392
/proc/meminfo: memFree=1550472/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=2.94
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32574 0 1 0 279 15 0 0 25 0 8 0 165457744 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32309 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 17 0 8 0 165457748 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.19
/proc/28384/task/28390/stat : 28390 (java) R 28382 28384 27858 0 -1 64 374 0 0 0 19 0 0 0 16 0 8 0 165457752 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153172335 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.27165 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 28392
/proc/meminfo: memFree=1538440/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=6.19
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32596 0 1 0 604 15 0 0 25 0 8 0 165457744 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32328 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 17 0 8 0 165457748 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.22
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 394 0 0 0 22 0 0 0 15 0 8 0 165457752 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7035 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 28392
/proc/meminfo: memFree=1538568/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=12.6
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32606 0 1 0 1245 15 0 0 25 0 8 0 165457744 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32335 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 402 0 0 0 24 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915440
[startup+25.5487 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 28392
/proc/meminfo: memFree=1538760/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=25.4
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32606 0 1 0 2524 16 0 0 25 0 8 0 165457744 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073887294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32335 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 402 0 0 0 24 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915440
[startup+51.2451 s]
/proc/loadavg: 2.00 2.03 2.00 3/80 28392
/proc/meminfo: memFree=1538824/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=51
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32606 0 1 0 5084 16 0 0 25 0 8 0 165457744 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32335 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 402 0 0 0 24 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915440
[startup+102.525 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 28392
/proc/meminfo: memFree=1538888/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=102.08
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32606 0 1 0 10192 16 0 0 25 0 8 0 165457744 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32335 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 402 0 0 0 24 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 915440
[startup+162.546 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 28392
/proc/meminfo: memFree=1538888/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=161.87
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32606 0 1 0 16171 16 0 0 25 0 8 0 165457744 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.07
Current children cumulated vsize (KiB) 915440
[startup+1482.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 28590
/proc/meminfo: memFree=1538312/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1476.86
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 147669 17 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.86
Current children cumulated vsize (KiB) 915440
[startup+1542.97 s]
/proc/loadavg: 1.92 1.98 1.99 4/88 28661
/proc/meminfo: memFree=1512392/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1536.62
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 153640 22 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.62
Current children cumulated vsize (KiB) 915440
[startup+1603.04 s]
/proc/loadavg: 2.03 2.01 2.00 3/88 28661
/proc/meminfo: memFree=1489800/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1596.31
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 159609 22 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 915440
[startup+1663.11 s]
/proc/loadavg: 2.01 2.00 2.00 3/88 28661
/proc/meminfo: memFree=1489864/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1655.82
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 165559 23 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797369 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.82
Current children cumulated vsize (KiB) 915440
[startup+1723.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 28663
/proc/meminfo: memFree=1489864/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1715.33
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 171510 23 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.33
Current children cumulated vsize (KiB) 915440
[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 28663
/proc/meminfo: memFree=1489864/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1774.84
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 177460 24 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.84
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 28663
/proc/meminfo: memFree=1489864/2055920 swapFree=4192812/4192956
[pid=28384] ppid=28382 vsize=915440 CPUtime=1800.02
/proc/28384/stat : 28384 (java) R 28382 28384 27858 0 -1 0 32609 0 1 0 179978 24 0 0 25 0 8 0 165457744 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28384/statm: 228860 32337 2531 14 0 215330 0
[pid=28384/tid=28386] ppid=28382 vsize=915440 CPUtime=0.43
/proc/28384/task/28386/stat : 28386 (java) S 28382 28384 27858 0 -1 64 15581 0 0 0 38 5 0 0 16 0 8 0 165457748 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28387] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28387/stat : 28387 (java) S 28382 28384 27858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28388] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28388/stat : 28388 (java) S 28382 28384 27858 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165457749 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28389] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28389/stat : 28389 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28390] ppid=28382 vsize=915440 CPUtime=0.24
/proc/28384/task/28390/stat : 28390 (java) S 28382 28384 27858 0 -1 64 404 0 0 0 24 0 0 0 16 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28391] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28391/stat : 28391 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28384/tid=28392] ppid=28382 vsize=915440 CPUtime=0
/proc/28384/task/28392/stat : 28392 (java) S 28382 28384 27858 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165457752 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.75
CPU time (s): 1800.07
CPU user time (s): 1799.81
CPU system time (s): 0.263959
CPU usage (%): 99.5199
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32626
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37753
involuntary context switches= 54841
runsolver used 1.90771 s user time and 4.78127 s system time
The end
Begin job on node51 on Sun Jan 7 11:49:52 UTC 2007
IDJOB= 206267
IDBENCH= 4195
FILE ID= node51/206267-1168170592
PBS_JOBID= 3479052
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206267-1168170592/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-206267-1168170592 -o ROOT/results/node51/solver-206267-1168170592 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206267-1168170592/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 53bf81f071c9b552fd20d7b6234d763f
RANDOM SEED= 256538896
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.277
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.277
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: 1658720 kB
Buffers: 29484 kB
Cached: 271960 kB
SwapCached: 0 kB
Active: 157636 kB
Inactive: 180604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7468 kB
Writeback: 0 kB
Mapped: 50348 kB
Slab: 44472 kB
Committed_AS: 3454288 kB
PageTables: 1764 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= 66549 MiB
End job on node51 on Sun Jan 7 12:20:01 UTC 2007