0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215198-1168077948/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.49 nbVariables=762 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.176 cpuTime=0.13 mem=7M894
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.79 nbConstraints=7299 nbConvertedConstraints=6525 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.79 nbSharedExtensionStructures=6523 nbConflictsStructures=3 nbSharedConflictsStructures=6585
1.79 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.79 nbSharedEvaluationManagers=772 maxDegree=142 maxArity=32
1.79 => wckTime=1.482 cpuTime=1.27 mem=23M426
1.89
1.89 solver IterativeSystematicSolver being built...
2.25 => wckTime=1.943 cpuTime=1.56 mem=29M167
2.30
2.30 preprocessing
2.30 nbConstraintChecks=0 nbPropagations=762 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.30 detectedInconsistency=no
2.30 => wckTime=0.041 cpuTime=0.03 mem=32M193
2.96
2.96 search
2.96 run=0 nbConstraintChecks=116568 nbValidityChecks=295552 nbPropagations=3416 nbRevisions=206854
2.96 nbUselessRevisions=204209 nbAssignments=163 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=175
2.96 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.703 cpuTime=0.63 mem=33M204
3.56
3.56 search
3.56 run=1 nbConstraintChecks=254911 nbValidityChecks=616096 nbPropagations=10010 nbRevisions=638732
3.56 nbUselessRevisions=630155 nbAssignments=321 nbFailedAssignments=10 nbBacktracks=26 nbVisitedNodes=348
3.56 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
3.56 => wckTime=1.303 cpuTime=1.22 mem=33M204
4.31
4.31 search
4.31 run=2 nbConstraintChecks=477643 nbValidityChecks=973849 nbPropagations=22014 nbRevisions=1360478
4.31 nbUselessRevisions=1340392 nbAssignments=499 nbFailedAssignments=18 nbBacktracks=50 nbVisitedNodes=551
4.31 nbRestartNogoods=4 mapSize=45 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=2.053 cpuTime=1.97 mem=33M204
5.21
5.21 search
5.21 run=3 nbConstraintChecks=800233 nbValidityChecks=1355371 nbPropagations=41657 nbRevisions=2433770
5.21 nbUselessRevisions=2394169 nbAssignments=686 nbFailedAssignments=23 nbBacktracks=89 nbVisitedNodes=777
5.21 nbRestartNogoods=6 mapSize=83 nbInferences=0 nbTooLargeKeys=0
5.21 => wckTime=2.955 cpuTime=2.86 mem=33M204
6.41
6.41 search
6.41 run=4 nbConstraintChecks=1208463 nbValidityChecks=1815512 nbPropagations=70914 nbRevisions=3938206
6.41 nbUselessRevisions=3868937 nbAssignments=885 nbFailedAssignments=36 nbBacktracks=139 nbVisitedNodes=1022
6.41 nbRestartNogoods=7 mapSize=128 nbInferences=0 nbTooLargeKeys=0
6.41 => wckTime=4.156 cpuTime=4.05 mem=33M204
8.02
8.02 search
8.02 run=5 nbConstraintChecks=1850692 nbValidityChecks=2347555 nbPropagations=116537 nbRevisions=6049113
8.02 nbUselessRevisions=5932856 nbAssignments=1115 nbFailedAssignments=52 nbBacktracks=218 nbVisitedNodes=1327
8.02 nbRestartNogoods=8 mapSize=202 nbInferences=0 nbTooLargeKeys=0
8.02 => wckTime=5.765 cpuTime=5.63 mem=33M204
10.70
10.70 search
10.70 run=6 nbConstraintChecks=2917160 nbValidityChecks=3123025 nbPropagations=187431 nbRevisions=9082348
10.70 nbUselessRevisions=8891875 nbAssignments=1390 nbFailedAssignments=73 nbBacktracks=342 nbVisitedNodes=1727
10.70 nbRestartNogoods=9 mapSize=325 nbInferences=0 nbTooLargeKeys=0
10.70 => wckTime=8.443 cpuTime=8.28 mem=33M204
14.63
14.63 search
14.63 run=7 nbConstraintChecks=4427716 nbValidityChecks=4189961 nbPropagations=292395 nbRevisions=13380646
14.63 nbUselessRevisions=13078782 nbAssignments=1710 nbFailedAssignments=98 nbBacktracks=520 nbVisitedNodes=2225
14.63 nbRestartNogoods=11 mapSize=502 nbInferences=0 nbTooLargeKeys=0
14.63 => wckTime=12.371 cpuTime=12.16 mem=33M204
21.03
21.03 search
21.03 run=8 nbConstraintChecks=6690619 nbValidityChecks=5895069 nbPropagations=445791 nbRevisions=19588038
21.03 nbUselessRevisions=19120991 nbAssignments=2129 nbFailedAssignments=133 nbBacktracks=789 nbVisitedNodes=2914
21.03 nbRestartNogoods=12 mapSize=770 nbInferences=0 nbTooLargeKeys=0
21.03 => wckTime=18.775 cpuTime=18.5 mem=33M204
26.75
26.75 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=34M213)
29.84
29.84 search
29.84 run=9 nbConstraintChecks=9944491 nbValidityChecks=8163246 nbPropagations=669970 nbRevisions=28475985
29.84 nbUselessRevisions=27766251 nbAssignments=2723 nbFailedAssignments=210 nbBacktracks=1187 nbVisitedNodes=3904
29.84 nbRestartNogoods=14
29.84 => wckTime=27.583 cpuTime=27.23 mem=34M213
43.32
43.32 search
43.32 run=10 nbConstraintChecks=14702907 nbValidityChecks=11571693 nbPropagations=993875 nbRevisions=41257607
43.32 nbUselessRevisions=40195035 nbAssignments=3521 nbFailedAssignments=309 nbBacktracks=1769 nbVisitedNodes=5281
43.32 nbRestartNogoods=16
43.32 => wckTime=41.067 cpuTime=40.57 mem=34M213
65.42
65.42 search
65.42 run=11 nbConstraintChecks=22083068 nbValidityChecks=17245471 nbPropagations=1466432 nbRevisions=60164420
65.42 nbUselessRevisions=58582176 nbAssignments=4642 nbFailedAssignments=446 nbBacktracks=2638 nbVisitedNodes=7272
65.42 nbRestartNogoods=18
65.42 => wckTime=63.167 cpuTime=62.47 mem=34M213
92.98
92.99 search
92.99 run=12 nbConstraintChecks=32577484 nbValidityChecks=24144478 nbPropagations=2173593 nbRevisions=87646390
92.99 nbUselessRevisions=85285728 nbAssignments=6250 nbFailedAssignments=632 nbBacktracks=3939 nbVisitedNodes=10175
92.99 nbRestartNogoods=20
92.99 => wckTime=90.729 cpuTime=89.77 mem=34M213
137.85
137.85 search
137.86 run=13 nbConstraintChecks=48672825 nbValidityChecks=35824928 nbPropagations=3214626 nbRevisions=128437381
137.86 nbUselessRevisions=124921849 nbAssignments=8540 nbFailedAssignments=846 nbBacktracks=5887 nbVisitedNodes=14415
137.86 nbRestartNogoods=22
137.86 => wckTime=135.599 cpuTime=134.24 mem=34M213
204.33
204.33 search
204.33 run=14 nbConstraintChecks=72911334 nbValidityChecks=52764694 nbPropagations=4786137 nbRevisions=189343643
204.33 nbUselessRevisions=184082912 nbAssignments=11975 nbFailedAssignments=1252 nbBacktracks=8811
204.33 nbVisitedNodes=20760 nbRestartNogoods=26
204.33 => wckTime=202.078 cpuTime=200.1 mem=34M213
299.54
299.54 search
299.54 run=15 nbConstraintChecks=104457022 nbValidityChecks=79013852 nbPropagations=7034883 nbRevisions=278205331
299.54 nbUselessRevisions=270429259 nbAssignments=16912 nbFailedAssignments=1713 nbBacktracks=13205
299.54 nbVisitedNodes=29354 nbRestartNogoods=28
299.54 => wckTime=297.287 cpuTime=294.43 mem=34M213
384.29
384.29 search
384.29 run=16 nbConstraintChecks=141140018 nbValidityChecks=100769804 nbPropagations=10196426 nbRevisions=397082291
384.29 nbUselessRevisions=385766229 nbAssignments=24587 nbFailedAssignments=2732 nbBacktracks=19774
384.29 nbVisitedNodes=41435 nbRestartNogoods=30
384.29 => wckTime=382.037 cpuTime=378.41 mem=34M213
532.95
532.95 search
532.95 run=17 nbConstraintChecks=197793967 nbValidityChecks=142654801 nbPropagations=14786915 nbRevisions=567081002
532.95 nbUselessRevisions=550625035 nbAssignments=36147 nbFailedAssignments=4333 nbBacktracks=29629
532.95 nbVisitedNodes=59208 nbRestartNogoods=35
532.95 => wckTime=530.69 cpuTime=525.69 mem=34M213
933.95
933.95 search
933.95 run=18 nbConstraintChecks=321452217 nbValidityChecks=273204501 nbPropagations=22166901 nbRevisions=863298921
933.95 nbUselessRevisions=838500984 nbAssignments=53752 nbFailedAssignments=7073 nbBacktracks=44407
933.95 nbVisitedNodes=90085 nbRestartNogoods=38
933.95 => wckTime=931.692 cpuTime=923.07 mem=34M213
1608.64
1608.64 search
1608.64 run=19 nbConstraintChecks=506634316 nbValidityChecks=493507454 nbPropagations=33373750 nbRevisions=1351945779
1608.64 nbUselessRevisions=1314364462 nbAssignments=80098 nbFailedAssignments=11163 nbBacktracks=66579
1608.64 nbVisitedNodes=135663 nbRestartNogoods=41
1608.64 => wckTime=1606.384 cpuTime=1591.58 mem=34M213
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-215198-1168077948 -o ROOT/results/node21/solver-215198-1168077948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215198-1168077948/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: 1.97 1.96 1.68 4/93 20853
/proc/meminfo: memFree=1623968/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=906644 CPUtime=0.02
/proc/20852/stat : 20852 (java) S 20850 20852 20343 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156189399 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 226661 1818 1036 14 0 214244 0
[pid=20852/tid=20854] ppid=20850 vsize=906644 CPUtime=0
/proc/20852/task/20854/stat : 20854 (java) R 20850 20852 20343 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156189403 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103643 s]
/proc/loadavg: 1.97 1.96 1.68 4/93 20853
/proc/meminfo: memFree=1623968/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=914988 CPUtime=0.09
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 3013 0 1 0 8 1 0 0 17 0 8 0 156189399 936947712 2759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228747 2759 1434 14 0 215242 0
[pid=20852/tid=20854] ppid=20850 vsize=914988 CPUtime=0
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156189403 936947712 2759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511718 s]
/proc/loadavg: 1.97 1.96 1.68 4/93 20853
/proc/meminfo: memFree=1623968/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915328 CPUtime=0.49
/proc/20852/stat : 20852 (java) S 20850 20852 20343 0 -1 0 6413 0 1 0 45 4 0 0 17 0 8 0 156189399 937295872 6152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228832 6152 2144 14 0 215302 0
[pid=20852/tid=20854] ppid=20850 vsize=915328 CPUtime=0
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156189403 937295872 6152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33487 s]
/proc/loadavg: 1.97 1.96 1.68 3/100 20860
/proc/meminfo: memFree=1562408/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915640 CPUtime=1.31
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 17747 0 1 0 111 20 0 0 21 0 8 0 156189399 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155123422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228910 17484 2178 14 0 215380 0
[pid=20852/tid=20854] ppid=20850 vsize=915640 CPUtime=0.04
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 1141 0 0 0 4 0 0 0 16 0 8 0 156189403 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915640 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915640 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156189403 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915640 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915640 CPUtime=0.17
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 420 0 0 0 17 0 0 0 16 0 8 0 156189406 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915640 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915640 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 156189407 937615360 17484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915640
[startup+2.98419 s]
/proc/loadavg: 1.97 1.96 1.68 3/100 20860
/proc/meminfo: memFree=1547432/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=2.94
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21865 0 1 0 253 41 0 0 25 0 8 0 156189399 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21599 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.3
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 489 0 0 0 29 1 0 0 15 0 8 0 156189406 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21599 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) 915732
[startup+6.27481 s]
/proc/loadavg: 1.97 1.96 1.68 3/100 20860
/proc/meminfo: memFree=1547240/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=6.2
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21868 0 1 0 579 41 0 0 25 0 8 0 156189399 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21601 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 17 0 8 0 156189403 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.31
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 492 0 0 0 30 1 0 0 15 0 8 0 156189406 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915732
[startup+12.767 s]
/proc/loadavg: 1.97 1.96 1.68 3/100 20860
/proc/meminfo: memFree=1547248/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=12.63
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21880 0 1 0 1222 41 0 0 25 0 8 0 156189399 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21610 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.33
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 502 0 0 0 32 1 0 0 15 0 8 0 156189406 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915732
[startup+25.6215 s]
/proc/loadavg: 1.98 1.96 1.68 3/100 20860
/proc/meminfo: memFree=1547376/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=25.37
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21883 0 1 0 2496 41 0 0 25 0 8 0 156189399 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21611 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.33
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 503 0 0 0 32 1 0 0 15 0 8 0 156189406 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915732
[startup+51.2553 s]
/proc/loadavg: 1.98 1.96 1.69 3/100 20860
/proc/meminfo: memFree=1547376/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=50.77
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21893 0 1 0 5035 42 0 0 25 0 8 0 156189399 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21617 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 511 0 0 0 34 1 0 0 16 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915732
[startup+102.517 s]
/proc/loadavg: 1.99 1.97 1.71 4/100 20860
/proc/meminfo: memFree=1547312/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=101.56
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21895 0 1 0 10114 42 0 0 25 0 8 0 156189399 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21617 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 511 0 0 0 34 1 0 0 16 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915732
################
# More data... #
################
Current children cumulated CPU time (s) 1409.84
Current children cumulated vsize (KiB) 915732
[startup+1482.88 s]
/proc/loadavg: 2.07 2.03 1.92 3/100 20920
/proc/meminfo: memFree=1580720/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1469.3
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 146878 52 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.3
Current children cumulated vsize (KiB) 915732
[startup+1542.89 s]
/proc/loadavg: 2.02 2.02 1.92 3/100 20920
/proc/meminfo: memFree=1580656/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1528.77
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 152825 52 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.77
Current children cumulated vsize (KiB) 915732
[startup+1602.91 s]
/proc/loadavg: 2.07 2.03 1.93 3/100 20920
/proc/meminfo: memFree=1580656/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1588.24
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 158771 53 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.24
Current children cumulated vsize (KiB) 915732
[startup+1662.92 s]
/proc/loadavg: 2.03 2.02 1.93 3/100 20920
/proc/meminfo: memFree=1580592/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1647.7
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 164717 53 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.7
Current children cumulated vsize (KiB) 915732
[startup+1722.93 s]
/proc/loadavg: 2.01 2.02 1.93 3/100 20920
/proc/meminfo: memFree=1580592/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1707.16
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 170662 54 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.16
Current children cumulated vsize (KiB) 915732
[startup+1782.94 s]
/proc/loadavg: 2.03 2.03 1.93 3/100 20920
/proc/meminfo: memFree=1580528/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1766.61
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 176607 54 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.61
Current children cumulated vsize (KiB) 915732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.71 s]
/proc/loadavg: 2.02 2.02 1.93 3/100 20920
/proc/meminfo: memFree=1580528/2055920 swapFree=4192812/4192956
[pid=20852] ppid=20850 vsize=915732 CPUtime=1800.08
/proc/20852/stat : 20852 (java) R 20850 20852 20343 0 -1 0 21896 0 1 0 179953 55 0 0 25 0 8 0 156189399 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20852/statm: 228933 21618 2537 14 0 215403 0
[pid=20852/tid=20854] ppid=20850 vsize=915732 CPUtime=0.16
/proc/20852/task/20854/stat : 20854 (java) S 20850 20852 20343 0 -1 64 4760 0 0 0 15 1 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20855] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20855/stat : 20855 (java) S 20850 20852 20343 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20856] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20856/stat : 20856 (java) S 20850 20852 20343 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156189403 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20857] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20857/stat : 20857 (java) S 20850 20852 20343 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20858] ppid=20850 vsize=915732 CPUtime=0.35
/proc/20852/task/20858/stat : 20858 (java) S 20850 20852 20343 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20859] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20859/stat : 20859 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156189406 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20852/tid=20860] ppid=20850 vsize=915732 CPUtime=0
/proc/20852/task/20860/stat : 20860 (java) S 20850 20852 20343 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156189407 937709568 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.77
CPU time (s): 1800.14
CPU user time (s): 1799.58
CPU system time (s): 0.565913
CPU usage (%): 99.0845
Max. virtual memory (cumulated for all children) (KiB): 915828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.565913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21912
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= 38106
involuntary context switches= 74609
runsolver used 2.41063 s user time and 5.63014 s system time
The end
Begin job on node21 on Sat Jan 6 10:05:49 UTC 2007
IDJOB= 215198
IDBENCH= 4983
FILE ID= node21/215198-1168077948
PBS_JOBID= 3476050
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32b4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215198-1168077948/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-215198-1168077948 -o ROOT/results/node21/solver-215198-1168077948 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215198-1168077948/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e947351b58355c721b574a6fb8f8b6dc
RANDOM SEED= 448862311
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.261
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.261
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: 1624384 kB
Buffers: 32724 kB
Cached: 186848 kB
SwapCached: 0 kB
Active: 254120 kB
Inactive: 105700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1624384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2804 kB
Writeback: 0 kB
Mapped: 169300 kB
Slab: 56440 kB
Committed_AS: 3730640 kB
PageTables: 2348 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= 66544 MiB
End job on node21 on Sat Jan 6 10:36:07 UTC 2007