0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/198099-1168071211/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=13 nbDomainTypes=1 minDomainSize=71 maxDomainSize=71
0.40 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.40
0.40 predicates being loaded...
0.40
0.40 constraints being loaded...
0.84 nbConstraints=1079 nbMergedConstraints=1716 nbConvertedConstraints=78 nbConvertConstraintsChecks=5041
0.84 nbExtensionStructures=1 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
0.84 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.84 nbSharedEvaluationManagers=999 maxDegree=298 maxArity=4
0.84 => wckTime=0.53 cpuTime=0.4 mem=27M447
0.89
0.89 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.795 cpuTime=0.58 mem=29M638
1.30
1.30 preprocessing
1.30 nbConstraintChecks=216123 nbValidityChecks=191480 nbPropagations=25 nbRevisions=4320 nbUselessRevisions=4164
1.30 nbRemovedValues=156 detectedInconsistency=no
1.30 => wckTime=0.192 cpuTime=0.17 mem=29M638
3.20
3.20 search
3.20 run=0 nbConstraintChecks=1523017 nbValidityChecks=3297344 nbPropagations=443 nbRevisions=156388
3.20 nbUselessRevisions=151984 nbAssignments=87 nbFailedAssignments=72 nbBacktracks=10 nbVisitedNodes=170
3.20 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
3.20 => wckTime=2.094 cpuTime=2.06 mem=29M638
5.60
5.60 search
5.60 run=1 nbConstraintChecks=3668276 nbValidityChecks=6717763 nbPropagations=1346 nbRevisions=465821
5.60 nbUselessRevisions=455276 nbAssignments=152 nbFailedAssignments=117 nbBacktracks=25 nbVisitedNodes=288
5.60 nbRestartNogoods=18 mapSize=22 nbInferences=0 nbTooLargeKeys=0
5.60 => wckTime=4.495 cpuTime=4.45 mem=29M638
8.56
8.56 search
8.56 run=2 nbConstraintChecks=5957098 nbValidityChecks=12521644 nbPropagations=3114 nbRevisions=1090247
8.56 nbUselessRevisions=1069034 nbAssignments=285 nbFailedAssignments=224 nbBacktracks=47 nbVisitedNodes=549
8.56 nbRestartNogoods=39 mapSize=43 nbInferences=0 nbTooLargeKeys=0
8.56 => wckTime=7.456 cpuTime=7.4 mem=29M638
11.05
11.05 search
11.05 run=3 nbConstraintChecks=7784399 nbValidityChecks=17640690 nbPropagations=5746 nbRevisions=2012623
11.05 nbUselessRevisions=1975062 nbAssignments=444 nbFailedAssignments=344 nbBacktracks=80 nbVisitedNodes=853
11.05 nbRestartNogoods=61 mapSize=73 nbInferences=0 nbTooLargeKeys=0
11.05 => wckTime=9.942 cpuTime=9.86 mem=29M638
16.32
16.32 search
16.32 run=4 nbConstraintChecks=11430806 nbValidityChecks=27599523 nbPropagations=11047 nbRevisions=3814421
16.32 nbUselessRevisions=3746591 nbAssignments=851 nbFailedAssignments=695 nbBacktracks=130 nbVisitedNodes=1649
16.32 nbRestartNogoods=90 mapSize=121 nbInferences=0 nbTooLargeKeys=0
16.32 => wckTime=15.214 cpuTime=15.12 mem=29M638
22.28
22.28 search
22.28 run=5 nbConstraintChecks=16961674 nbValidityChecks=37656704 nbPropagations=17514 nbRevisions=5954083
22.28 nbUselessRevisions=5852705 nbAssignments=1019 nbFailedAssignments=786 nbBacktracks=206 nbVisitedNodes=1952
22.28 nbRestartNogoods=119 mapSize=188 nbInferences=0 nbTooLargeKeys=0
22.28 => wckTime=21.178 cpuTime=21.08 mem=29M638
32.93
32.93 search
32.93 run=6 nbConstraintChecks=26497092 nbValidityChecks=55159341 nbPropagations=26053 nbRevisions=8770031
32.93 nbUselessRevisions=8624468 nbAssignments=1347 nbFailedAssignments=999 nbBacktracks=319 nbVisitedNodes=2570
32.93 nbRestartNogoods=122 mapSize=291 nbInferences=0 nbTooLargeKeys=0
32.93 => wckTime=31.822 cpuTime=31.71 mem=29M638
48.81
48.81 search
48.81 run=7 nbConstraintChecks=39443913 nbValidityChecks=86417095 nbPropagations=38592 nbRevisions=13009025
48.81 nbUselessRevisions=12786063 nbAssignments=2031 nbFailedAssignments=1510 nbBacktracks=490 nbVisitedNodes=3875
48.81 nbRestartNogoods=134 mapSize=432 nbInferences=0 nbTooLargeKeys=0
48.81 => wckTime=47.71 cpuTime=47.57 mem=29M638
75.32
75.32 search
75.32 run=8 nbConstraintChecks=59792011 nbValidityChecks=144266405 nbPropagations=59305 nbRevisions=20223783
75.32 nbUselessRevisions=19842652 nbAssignments=3469 nbFailedAssignments=2686 nbBacktracks=746 nbVisitedNodes=6656
75.32 nbRestartNogoods=147 mapSize=642 nbInferences=0 nbTooLargeKeys=0
75.32 => wckTime=74.215 cpuTime=74.03 mem=30M611
109.96
109.96 search
109.96 run=9 nbConstraintChecks=84975024 nbValidityChecks=223673636 nbPropagations=92568 nbRevisions=32037294
109.96 nbUselessRevisions=31372291 nbAssignments=5657 nbFailedAssignments=4488 nbBacktracks=1130 nbVisitedNodes=10887
109.96 nbRestartNogoods=177 mapSize=933 nbInferences=0 nbTooLargeKeys=0
109.96 => wckTime=108.858 cpuTime=108.64 mem=30M611
120.51
120.51 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=30M611)
153.69
153.69 search
153.69 run=10 nbConstraintChecks=116093962 nbValidityChecks=320427780 nbPropagations=143440 nbRevisions=50350805
153.69 nbUselessRevisions=49229107 nbAssignments=8746 nbFailedAssignments=6995 nbBacktracks=1706 nbVisitedNodes=16905
153.69 nbRestartNogoods=196
153.69 => wckTime=152.585 cpuTime=152.31 mem=30M611
200.65
200.65 search
200.65 run=11 nbConstraintChecks=152918820 nbValidityChecks=396998064 nbPropagations=211405 nbRevisions=75261107
200.65 nbUselessRevisions=73545275 nbAssignments=11598 nbFailedAssignments=8978 nbBacktracks=2571 nbVisitedNodes=22460
200.65 nbRestartNogoods=218
200.65 => wckTime=199.544 cpuTime=199.22 mem=30M611
256.45
256.45 search
256.45 run=12 nbConstraintChecks=195452792 nbValidityChecks=482170935 nbPropagations=305566 nbRevisions=109868876
256.45 nbUselessRevisions=107383840 nbAssignments=16139 nbFailedAssignments=12217 nbBacktracks=3868
256.45 nbVisitedNodes=31319 nbRestartNogoods=232
256.45 => wckTime=255.344 cpuTime=254.97 mem=30M611
388.66
388.66 search
388.66 run=13 nbConstraintChecks=302847963 nbValidityChecks=693874013 nbPropagations=441645 nbRevisions=160460666
388.66 nbUselessRevisions=156773152 nbAssignments=23635 nbFailedAssignments=17761 nbBacktracks=5815
388.66 nbVisitedNodes=45808 nbRestartNogoods=271
388.66 => wckTime=387.559 cpuTime=387.05 mem=30M611
624.68
624.68 search
624.68 run=14 nbConstraintChecks=505012469 nbValidityChecks=1054046914 nbPropagations=634569 nbRevisions=232198393
624.68 nbUselessRevisions=226793647 nbAssignments=34089 nbFailedAssignments=25294 nbBacktracks=8734
624.68 nbVisitedNodes=66162 nbRestartNogoods=291
624.68 => wckTime=623.573 cpuTime=622.84 mem=30M611
850.01
850.01 search
850.01 run=15 nbConstraintChecks=696866220 nbValidityChecks=1374930217 nbPropagations=892836 nbRevisions=327081153
850.01 nbUselessRevisions=319539051 nbAssignments=45768 nbFailedAssignments=32592 nbBacktracks=13112
850.01 nbVisitedNodes=88283 nbRestartNogoods=302
850.01 => wckTime=848.905 cpuTime=847.94 mem=30M611
1137.28
1137.28 search
1137.28 run=16 nbConstraintChecks=934217639 nbValidityChecks=1774969963 nbPropagations=1246959 nbRevisions=456178093
1137.28 nbUselessRevisions=445869572 nbAssignments=62347 nbFailedAssignments=42599 nbBacktracks=19680
1137.28 nbVisitedNodes=119827 nbRestartNogoods=318
1137.28 => wckTime=1136.174 cpuTime=1134.45 mem=30M611
1494.77
1494.77 search
1494.77 run=17 nbConstraintChecks=1217895421 nbValidityChecks=2267590519 nbPropagations=1748063 nbRevisions=636716556
1494.77 nbUselessRevisions=622807909 nbAssignments=87326 nbFailedAssignments=57720 nbBacktracks=29532
1494.77 nbVisitedNodes=167685 nbRestartNogoods=321
1494.77 => wckTime=1493.669 cpuTime=1490.01 mem=30M611
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-198099-1168071211 -o ROOT/results/node26/solver-198099-1168071211 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198099-1168071211/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.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=1784 CPUtime=0
/proc/19130/stat : 19130 (java) D 19127 19130 19024 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 155515837 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19130/statm: 446 136 102 14 0 91 0
[startup+0.107367 s]
/proc/loadavg: 0.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=914988 CPUtime=0.08
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 2987 0 1 0 6 2 0 0 22 0 8 0 155515837 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515406 s]
/proc/loadavg: 0.72 0.93 1.03 3/83 19131
/proc/meminfo: memFree=1361928/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915328 CPUtime=0.48
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 6454 0 1 0 44 4 0 0 25 0 8 0 155515837 937295872 6193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228832 6193 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33649 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1296256/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1.31
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12380 0 1 0 119 12 0 0 25 0 8 0 155515837 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12118 2529 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 310 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.23
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 462 0 0 0 23 0 0 0 15 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915764
[startup+2.97363 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1295680/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=2.94
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12393 0 1 0 282 12 0 0 25 0 8 0 155515837 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073962611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12129 2530 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 310 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.25
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 466 0 0 0 24 1 0 0 15 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12129 18446744073709551615 134512640 134570532 4294956480 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) 915764
[startup+6.17394 s]
/proc/loadavg: 0.90 0.97 1.04 3/100 19148
/proc/meminfo: memFree=1295360/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=6.14
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12411 0 1 0 602 12 0 0 25 0 8 0 155515837 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073959730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12144 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.25
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 469 0 0 0 24 1 0 0 16 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915764
[startup+12.6455 s]
/proc/loadavg: 1.07 1.00 1.05 2/88 19148
/proc/meminfo: memFree=1323232/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=12.59
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12430 0 1 0 1247 12 0 0 25 0 8 0 155515837 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12160 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 17 0 8 0 155515841 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.27
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 476 0 0 0 26 1 0 0 15 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915764
[startup+25.5097 s]
/proc/loadavg: 1.06 1.00 1.05 2/88 19159
/proc/meminfo: memFree=1324840/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=25.44
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12451 0 1 0 2532 12 0 0 25 0 8 0 155515837 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12177 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.28
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 482 0 0 0 27 1 0 0 16 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915764
[startup+51.1161 s]
/proc/loadavg: 1.38 1.08 1.07 3/100 19204
/proc/meminfo: memFree=1277896/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=51.03
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12481 0 1 0 5090 13 0 0 25 0 8 0 155515837 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12204 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.3
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 494 0 0 0 29 1 0 0 15 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915764
[startup+102.328 s]
/proc/loadavg: 1.77 1.23 1.12 3/100 19204
/proc/meminfo: memFree=1227720/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=102.18
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12510 0 1 0 10204 14 0 0 25 0 8 0 155515837 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12232 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.3
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 495 0 0 0 29 1 0 0 16 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 915764
[startup+162.382 s]
/proc/loadavg: 1.91 1.37 1.18 3/100 19204
/proc/meminfo: memFree=1210952/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=162.18
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12529 0 1 0 16204 14 0 0 25 0 8 0 155515837 937742336 12250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.26
Current children cumulated vsize (KiB) 915764
[startup+1483.5 s]
/proc/loadavg: 2.03 2.01 1.79 3/100 19206
/proc/meminfo: memFree=1066248/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1479.98
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12546 0 1 0 147980 18 0 0 25 0 8 0 155515837 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073950295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12267 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.98
Current children cumulated vsize (KiB) 915764
[startup+1543.55 s]
/proc/loadavg: 2.06 2.02 1.80 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1539.7
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 153952 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.7
Current children cumulated vsize (KiB) 915764
[startup+1603.6 s]
/proc/loadavg: 2.09 2.03 1.82 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1599.42
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 159924 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073962611 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 915764
[startup+1663.65 s]
/proc/loadavg: 2.03 2.02 1.83 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1659.15
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 165897 18 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.15
Current children cumulated vsize (KiB) 915764
[startup+1723.7 s]
/proc/loadavg: 2.01 2.02 1.83 3/100 19206
/proc/meminfo: memFree=1066184/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1718.87
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 171868 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.87
Current children cumulated vsize (KiB) 915764
[startup+1783.75 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19206
/proc/meminfo: memFree=1066120/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1778.6
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 177841 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.6
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.25 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19206
/proc/meminfo: memFree=1066120/2055920 swapFree=4192812/4192956
[pid=19130] ppid=19127 vsize=915764 CPUtime=1800
/proc/19130/stat : 19130 (java) R 19127 19130 19024 0 -1 0 12549 0 1 0 179981 19 0 0 25 0 8 0 155515837 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19130/statm: 228941 12270 2533 14 0 215411 0
[pid=19130/tid=19135] ppid=19127 vsize=915764 CPUtime=0.03
/proc/19130/task/19135/stat : 19135 (java) S 19127 19130 19024 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 155515841 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19136] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19136/stat : 19136 (java) S 19127 19130 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19137] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19137/stat : 19137 (java) S 19127 19130 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155515842 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19141] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19141/stat : 19141 (java) S 19127 19130 19024 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19142] ppid=19127 vsize=915764 CPUtime=0.31
/proc/19130/task/19142/stat : 19142 (java) S 19127 19130 19024 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19143] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19143/stat : 19143 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19130/tid=19144] ppid=19127 vsize=915764 CPUtime=0
/proc/19130/task/19144/stat : 19144 (java) S 19127 19130 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155515845 937742336 12270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.29
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.200969
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12567
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= 37933
involuntary context switches= 49352
runsolver used 2.09468 s user time and 5.8861 s system time
The end
Begin job on node26 on Sat Jan 6 08:13:34 UTC 2007
IDJOB= 198099
IDBENCH= 3534
FILE ID= node26/198099-1168071211
PBS_JOBID= 3475953
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-70-13-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198099-1168071211/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-198099-1168071211 -o ROOT/results/node26/solver-198099-1168071211 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198099-1168071211/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8550458df6e804e35921814f1d43a5d8
RANDOM SEED= 997103616
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1362888 kB
Buffers: 41748 kB
Cached: 512384 kB
SwapCached: 0 kB
Active: 115412 kB
Inactive: 502892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1362888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4032 kB
Writeback: 0 kB
Mapped: 83136 kB
Slab: 59892 kB
Committed_AS: 2705908 kB
PageTables: 2112 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= 66536 MiB
End job on node26 on Sat Jan 6 08:43:42 UTC 2007