0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/237548-1168349156/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.53 nbVariables=625 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.53 => wckTime=0.185 cpuTime=0.13 mem=7M862
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
1.73 nbConstraints=7524 nbConvertedConstraints=7524 nbConvertConstraintsChecks=2500 nbExtensionStructures=4
1.73 nbSharedExtensionStructures=7520 nbConflictsStructures=4 nbSharedConflictsStructures=7520
1.73 nbSharedBinaryRepresentations=149 maxDegree=25 maxArity=2
1.73 => wckTime=1.383 cpuTime=1.1 mem=8M162
1.80
1.80 solver IterativeSystematicSolver being built...
2.01 => wckTime=1.659 cpuTime=1.27 mem=21M548
2.43
2.43 preprocessing
2.43 nbConstraintChecks=184255 nbPropagations=10852 nbRevisions=11417 nbUselessRevisions=1650 nbSingletonTests=718
2.43 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
2.43 => wckTime=0.412 cpuTime=0.38 mem=21M548
2.50
2.50 search
2.50 run=0 nbConstraintChecks=31523 nbPropagations=12470 nbRevisions=13055 nbUselessRevisions=1710 nbAssignments=87
2.50 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=106 nbRestartNogoods=0 mapSize=10 nbInferences=0
2.50 nbTooLargeKeys=0
2.50 => wckTime=0.491 cpuTime=0.45 mem=21M548
2.54
2.54 search
2.54 run=1 nbConstraintChecks=61752 nbPropagations=26570 nbRevisions=27780 nbUselessRevisions=3484
2.54 nbAssignments=184 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=231 nbRestartNogoods=3 mapSize=25
2.54 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=0.531 cpuTime=0.49 mem=22M542
2.58
2.58 search
2.58 run=2 nbConstraintChecks=92231 nbPropagations=42366 nbRevisions=44249 nbUselessRevisions=5326
2.58 nbAssignments=294 nbFailedAssignments=43 nbBacktracks=47 nbVisitedNodes=381 nbRestartNogoods=6 mapSize=47
2.59 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=0.573 cpuTime=0.53 mem=22M542
2.63
2.63 search
2.63 run=3 nbConstraintChecks=122880 nbPropagations=59924 nbRevisions=62530 nbUselessRevisions=7239
2.63 nbAssignments=420 nbFailedAssignments=69 nbBacktracks=80 nbVisitedNodes=560 nbRestartNogoods=11 mapSize=79
2.63 nbInferences=1 nbTooLargeKeys=0
2.63 => wckTime=0.621 cpuTime=0.57 mem=22M542
2.69
2.69 search
2.69 run=4 nbConstraintChecks=153982 nbPropagations=79385 nbRevisions=82759 nbUselessRevisions=9222
2.69 nbAssignments=576 nbFailedAssignments=106 nbBacktracks=130 nbVisitedNodes=793 nbRestartNogoods=14 mapSize=128
2.69 nbInferences=4 nbTooLargeKeys=0
2.69 => wckTime=0.68 cpuTime=0.63 mem=22M542
2.76
2.76 search
2.76 run=5 nbConstraintChecks=185746 nbPropagations=100986 nbRevisions=105148 nbUselessRevisions=11277
2.76 nbAssignments=782 nbFailedAssignments=155 nbBacktracks=205 nbVisitedNodes=1114 nbRestartNogoods=19 mapSize=203
2.76 nbInferences=21 nbTooLargeKeys=0
2.76 => wckTime=0.752 cpuTime=0.69 mem=23M537
2.85
2.85 search
2.85 run=6 nbConstraintChecks=218332 nbPropagations=125042 nbRevisions=130002 nbUselessRevisions=13406
2.85 nbAssignments=1058 nbFailedAssignments=229 nbBacktracks=318 nbVisitedNodes=1560 nbRestartNogoods=21
2.85 mapSize=315 nbInferences=43 nbTooLargeKeys=0
2.85 => wckTime=0.837 cpuTime=0.77 mem=24M532
2.97
2.97 search
2.97 run=7 nbConstraintChecks=252250 nbPropagations=152058 nbRevisions=157789 nbUselessRevisions=15612
2.97 nbAssignments=1444 nbFailedAssignments=336 nbBacktracks=488 nbVisitedNodes=2202 nbRestartNogoods=28
2.97 mapSize=485 nbInferences=85 nbTooLargeKeys=0
2.97 => wckTime=0.955 cpuTime=0.88 mem=24M532
3.11
3.11 search
3.11 run=8 nbConstraintChecks=292381 nbPropagations=182735 nbRevisions=189311 nbUselessRevisions=17982
3.11 nbAssignments=1964 nbFailedAssignments=502 nbBacktracks=745 nbVisitedNodes=3091 nbRestartNogoods=36
3.11 mapSize=738 nbInferences=122 nbTooLargeKeys=0
3.11 => wckTime=1.099 cpuTime=1.02 mem=25M526
3.28
3.28 search
3.28 run=9 nbConstraintChecks=337480 nbPropagations=217907 nbRevisions=225454 nbUselessRevisions=20520
3.28 nbAssignments=2650 nbFailedAssignments=755 nbBacktracks=1130 nbVisitedNodes=4302 nbRestartNogoods=40
3.28 mapSize=1102 nbInferences=141 nbTooLargeKeys=0
3.28 => wckTime=1.265 cpuTime=1.17 mem=26M521
3.53
3.53 search
3.53 run=10 nbConstraintChecks=391395 nbPropagations=260219 nbRevisions=268462 nbUselessRevisions=23314
3.53 nbAssignments=3849 nbFailedAssignments=1069 nbBacktracks=1706 nbVisitedNodes=6416 nbRestartNogoods=42
3.53 mapSize=1653 nbInferences=428 nbTooLargeKeys=0
3.53 => wckTime=1.52 cpuTime=1.42 mem=27M516
3.93
3.93 search
3.93 run=11 nbConstraintChecks=508843 nbPropagations=315294 nbRevisions=323630 nbUselessRevisions=26859
3.93 nbAssignments=5808 nbFailedAssignments=1432 nbBacktracks=2570 nbVisitedNodes=9766 nbRestartNogoods=51
3.93 mapSize=2461 nbInferences=1116 nbTooLargeKeys=0
3.93 => wckTime=1.92 cpuTime=1.81 mem=28M510
4.69
4.69 search
4.69 run=12 nbConstraintChecks=665168 nbPropagations=389301 nbRevisions=396453 nbUselessRevisions=31250
4.69 nbAssignments=8828 nbFailedAssignments=1995 nbBacktracks=3867 nbVisitedNodes=14985 nbRestartNogoods=59
4.69 mapSize=3697 nbInferences=2189 nbTooLargeKeys=0
4.69 => wckTime=2.682 cpuTime=2.57 mem=35M473
5.98
5.98 search
5.98 run=13 nbConstraintChecks=840969 nbPropagations=493287 nbRevisions=495253 nbUselessRevisions=36125
5.98 nbAssignments=13994 nbFailedAssignments=2759 nbBacktracks=5813 nbVisitedNodes=23699 nbRestartNogoods=70
5.98 mapSize=5643 nbInferences=4384 nbTooLargeKeys=0
5.98 => wckTime=3.968 cpuTime=3.84 mem=49M399
8.23
8.23 search
8.23 run=14 nbConstraintChecks=1050194 nbPropagations=645551 nbRevisions=633786 nbUselessRevisions=41534
8.23 nbAssignments=22533 nbFailedAssignments=3679 nbBacktracks=8733 nbVisitedNodes=38517 nbRestartNogoods=79
8.23 mapSize=8563 nbInferences=8910 nbTooLargeKeys=0
8.23 => wckTime=6.22 cpuTime=6.03 mem=43M992
11.52
11.52 search
11.52 run=15 nbConstraintChecks=1393599 nbPropagations=872345 nbRevisions=834132 nbUselessRevisions=48400
11.52 nbAssignments=35450 nbFailedAssignments=5000 nbBacktracks=13112 nbVisitedNodes=61181 nbRestartNogoods=84
11.52 mapSize=12881 nbInferences=16016 nbTooLargeKeys=0
11.52 => wckTime=9.505 cpuTime=9.22 mem=48M627
16.60
16.60 search
16.60 run=16 nbConstraintChecks=2014233 nbPropagations=1217710 nbRevisions=1132703 nbUselessRevisions=57154
16.60 nbAssignments=55484 nbFailedAssignments=6853 nbBacktracks=19680 nbVisitedNodes=95380 nbRestartNogoods=102
16.60 mapSize=19390 nbInferences=26998 nbTooLargeKeys=0
16.60 => wckTime=14.587 cpuTime=14.19 mem=71M909
23.57
23.57 search
23.57 run=17 nbConstraintChecks=2602551 nbPropagations=1717900 nbRevisions=1557086 nbUselessRevisions=66966
23.57 nbAssignments=83733 nbFailedAssignments=10043 nbBacktracks=29532 nbVisitedNodes=144922 nbRestartNogoods=122
23.57 mapSize=29191 nbInferences=42009 nbTooLargeKeys=0
23.57 => wckTime=21.555 cpuTime=21.02 mem=113M79
36.68
36.68 search
36.68 run=18 nbConstraintChecks=3988003 nbPropagations=2535732 nbRevisions=2234103 nbUselessRevisions=80003
36.68 nbAssignments=135807 nbFailedAssignments=12853 nbBacktracks=44310 nbVisitedNodes=236175 nbRestartNogoods=138
36.68 mapSize=43860 nbInferences=75966 nbTooLargeKeys=0
36.68 => wckTime=34.668 cpuTime=33.88 mem=156M656
57.59
57.59 search
57.59 run=19 nbConstraintChecks=6129834 nbPropagations=3856902 nbRevisions=3314869 nbUselessRevisions=102287
57.59 nbAssignments=217433 nbFailedAssignments=16856 nbBacktracks=66478 nbVisitedNodes=380357 nbRestartNogoods=159
57.59 mapSize=65906 nbInferences=130905 nbTooLargeKeys=0
57.59 => wckTime=55.582 cpuTime=54.38 mem=211M880
91.31
91.31 search
91.31 run=20 nbConstraintChecks=10239139 nbPropagations=6075541 nbRevisions=5109234 nbUselessRevisions=133593
91.31 nbAssignments=353062 nbFailedAssignments=21707 nbBacktracks=99731 nbVisitedNodes=621018 nbRestartNogoods=177
91.31 mapSize=99062 nbInferences=227259 nbTooLargeKeys=0
91.31 => wckTime=89.297 cpuTime=87.5 mem=318M498
140.13
140.13 search
140.13 run=21 nbConstraintChecks=15406963 nbPropagations=9530366 nbRevisions=7876876 nbUselessRevisions=179254
140.13 nbAssignments=549610 nbFailedAssignments=28316 nbBacktracks=149610 nbVisitedNodes=968669 nbRestartNogoods=204
140.13 mapSize=148784 nbInferences=366156 nbTooLargeKeys=0
140.13 => wckTime=138.122 cpuTime=135.3 mem=455M116
197.82
197.82 INFO : Stopping hyperNogood (mapSize=198643, nbTooLargekeys=0, mem=600M416)
202.54
202.54 search
202.54 run=22 nbConstraintChecks=25150702 nbPropagations=14869578 nbRevisions=12214460 nbUselessRevisions=241741
202.54 nbAssignments=826321 nbFailedAssignments=49673 nbBacktracks=224430 nbVisitedNodes=1465902 nbRestartNogoods=237
202.54 => wckTime=200.529 cpuTime=196.65 mem=600M416
224.42
224.42 search
224.42 run=23 nbConstraintChecks=28131923 nbPropagations=21099223 nbRevisions=17446713 nbUselessRevisions=308576
224.42 nbAssignments=1018261 nbFailedAssignments=127391 nbBacktracks=336657 nbVisitedNodes=1811455
224.42 nbRestartNogoods=279
224.42 => wckTime=222.412 cpuTime=218.32 mem=600M416
256.48
256.49 search
256.49 run=24 nbConstraintChecks=32549122 nbPropagations=28652763 nbRevisions=24020367 nbUselessRevisions=384841
256.49 nbAssignments=1304893 nbFailedAssignments=244096 nbBacktracks=504999 nbVisitedNodes=2329987
256.49 nbRestartNogoods=313
256.49 => wckTime=254.473 cpuTime=250.09 mem=600M416
304.05
304.05 search
304.05 run=25 nbConstraintChecks=40040254 nbPropagations=38206950 nbRevisions=32684411 nbUselessRevisions=500705
304.05 nbAssignments=1733005 nbFailedAssignments=418039 nbBacktracks=757510 nbVisitedNodes=3104055
304.05 nbRestartNogoods=347
304.05 => wckTime=302.038 cpuTime=297.2 mem=600M416
384.82
384.82 search
384.82 run=26 nbConstraintChecks=84473681 nbPropagations=51669164 nbRevisions=47291998 nbUselessRevisions=1385108
384.82 nbAssignments=2388188 nbFailedAssignments=693084 nbBacktracks=1136278 nbVisitedNodes=4303433
384.82 nbRestartNogoods=391
384.82 => wckTime=382.811 cpuTime=377.22 mem=600M416
551.19
551.19 search
551.19 run=27 nbConstraintChecks=268575539 nbPropagations=74838106 nbRevisions=79819492 nbUselessRevisions=5343119
551.19 nbAssignments=3432982 nbFailedAssignments=1167432 nbBacktracks=1704429 nbVisitedNodes=6209493
551.19 nbRestartNogoods=445
551.19 => wckTime=549.181 cpuTime=541.63 mem=600M416
729.88
729.88 search
729.88 run=28 nbConstraintChecks=285120441 nbPropagations=104479223 nbRevisions=118819548 nbUselessRevisions=9302217
729.88 nbAssignments=4879397 nbFailedAssignments=1760387 nbBacktracks=2556655 nbVisitedNodes=8840709
729.88 nbRestartNogoods=477
729.88 => wckTime=727.868 cpuTime=718.28 mem=600M416
958.29
958.29 search
958.29 run=29 nbConstraintChecks=309569067 nbPropagations=143792603 nbRevisions=167495506 nbUselessRevisions=13264676
958.29 nbAssignments=7044576 nbFailedAssignments=2647003 nbBacktracks=3834996 nbVisitedNodes=12779116
958.29 nbRestartNogoods=495
958.29 => wckTime=956.273 cpuTime=944.51 mem=600M416
1491.51
1491.51 search
1491.51 run=30 nbConstraintChecks=960994137 nbPropagations=215652885 nbRevisions=274076199 nbUselessRevisions=25059805
1491.51 nbAssignments=10314052 nbFailedAssignments=3998198 nbBacktracks=5752506 nbVisitedNodes=18566982
1491.51 nbRestartNogoods=520
1491.51 => wckTime=1489.501 cpuTime=1472.07 mem=600M416
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-237548-1168349156 -o ROOT/results/node44/solver-237548-1168349156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237548-1168349156/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.19 2.06 2.01 4/85 15219
/proc/meminfo: memFree=1578272/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=18540 CPUtime=0
/proc/15218/stat : 15218 (runsolver) R 15216 15218 14125 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183314620 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15218/statm: 4635 279 244 17 0 2626 0
[startup+0.10853 s]
/proc/loadavg: 2.19 2.06 2.01 4/85 15219
/proc/meminfo: memFree=1578272/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=914988 CPUtime=0.08
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 2977 0 1 0 7 1 0 0 19 0 8 0 183314620 936947712 2723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517568 s]
/proc/loadavg: 2.19 2.06 2.01 4/85 15219
/proc/meminfo: memFree=1578272/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915328 CPUtime=0.45
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 6226 0 15 0 41 4 0 0 18 0 8 0 183314620 937295872 5979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072898133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228832 5979 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.34665 s]
/proc/loadavg: 2.19 2.06 2.01 3/92 15226
/proc/meminfo: memFree=1528744/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915628 CPUtime=1.27
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 14888 0 15 0 100 27 0 0 25 0 8 0 183314620 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11750611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228907 14640 2169 14 0 215377 0
[pid=15218/tid=15220] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 183314625 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183314625 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 183314625 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915628 CPUtime=0.18
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 426 0 0 0 17 1 0 0 16 0 8 0 183314629 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915628 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937603072 14640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915628
[startup+2.99198 s]
/proc/loadavg: 2.19 2.06 2.01 3/92 15226
/proc/meminfo: memFree=1505896/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=2.9
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 19840 0 16 0 244 46 0 0 25 0 8 0 183314620 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 19590 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=0.13
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 2732 0 0 0 13 0 0 0 17 0 8 0 183314625 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.3
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 490 0 0 0 28 2 0 0 15 0 8 0 183314629 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 19590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915720
[startup+6.27116 s]
/proc/loadavg: 2.18 2.05 2.01 3/92 15226
/proc/meminfo: memFree=1505584/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=6.15
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 19851 0 16 0 569 46 0 0 25 0 8 0 183314620 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 19600 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=0.13
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 2732 0 0 0 13 0 0 0 16 0 8 0 183314625 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.32
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 500 0 0 0 30 2 0 0 15 0 8 0 183314629 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915720
[startup+12.7638 s]
/proc/loadavg: 2.16 2.05 2.01 3/92 15226
/proc/meminfo: memFree=1470712/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=12.57
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 28577 0 16 0 1207 50 0 0 25 0 8 0 183314620 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 28324 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=0.23
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 11456 0 0 0 19 4 0 0 16 0 8 0 183314625 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.32
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 500 0 0 0 30 2 0 0 16 0 8 0 183314629 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 28324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915720
[startup+25.6421 s]
/proc/loadavg: 2.13 2.05 2.01 3/92 15226
/proc/meminfo: memFree=1433656/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=25.3
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 42722 0 16 0 2475 55 0 0 25 0 8 0 183314620 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074067079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 42465 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=0.39
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 25595 0 0 0 30 9 0 0 16 0 8 0 183314625 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 502 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 42465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915720
[startup+51.2608 s]
/proc/loadavg: 2.08 2.05 2.01 3/92 15226
/proc/meminfo: memFree=1312376/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=50.69
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 61051 0 16 0 5005 64 0 0 25 0 8 0 183314620 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 60789 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=0.62
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 43918 0 0 0 45 17 0 0 16 0 8 0 183314625 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 60789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915720
[startup+102.498 s]
/proc/loadavg: 2.03 2.04 2.00 3/92 15226
/proc/meminfo: memFree=1145336/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=101.37
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 99662 0 16 0 10058 79 0 0 25 0 8 0 183314620 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 99388 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.14
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 82517 0 0 0 81 33 0 0 16 0 8 0 183314625 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 99388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915720
[startup+162.597 s]
/proc/loadavg: 2.08 2.04 2.00 3/92 15226
/proc/meminfo: memFree=946168/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=160.92
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 138573 0 16 0 15998 94 0 0 25 0 8 0 183314620 937697280 138286 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.36
Current children cumulated vsize (KiB) 915720
[startup+1484.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1468.68
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 146760 108 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.68
Current children cumulated vsize (KiB) 915720
[startup+1544.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1528.01
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 152693 108 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.01
Current children cumulated vsize (KiB) 915720
[startup+1604.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 15226
/proc/meminfo: memFree=540856/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1587.33
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 158625 108 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.33
Current children cumulated vsize (KiB) 915720
[startup+1664.42 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 15226
/proc/meminfo: memFree=540920/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1646.8
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 164572 108 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.8
Current children cumulated vsize (KiB) 915720
[startup+1724.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 15365
/proc/meminfo: memFree=1083032/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1706.5
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 170539 111 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074000807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.5
Current children cumulated vsize (KiB) 915720
[startup+1784.52 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 15365
/proc/meminfo: memFree=1006296/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1766.46
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 176535 111 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.46
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 15365
/proc/meminfo: memFree=1006232/2055920 swapFree=4191892/4192956
[pid=15218] ppid=15216 vsize=915720 CPUtime=1800.08
/proc/15218/stat : 15218 (java) R 15216 15218 14125 0 -1 0 154790 0 16 0 179897 111 0 0 25 0 8 0 183314620 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15218/statm: 228930 154495 2546 14 0 215400 0
[pid=15218/tid=15220] ppid=15216 vsize=915720 CPUtime=1.94
/proc/15218/task/15220/stat : 15220 (java) S 15216 15218 14125 0 -1 64 137624 0 0 0 139 55 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15221] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15221/stat : 15221 (java) S 15216 15218 14125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15222] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15222/stat : 15222 (java) S 15216 15218 14125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183314625 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15223] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15223/stat : 15223 (java) S 15216 15218 14125 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15224] ppid=15216 vsize=915720 CPUtime=0.33
/proc/15218/task/15224/stat : 15224 (java) S 15216 15218 14125 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15225] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15225/stat : 15225 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183314629 937697280 154495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15218/tid=15226] ppid=15216 vsize=915720 CPUtime=0
/proc/15218/task/15226/stat : 15226 (java) S 15216 15218 14125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183314629 937697280 154495 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) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1818.32
CPU time (s): 1800.23
CPU user time (s): 1799.03
CPU system time (s): 1.20382
CPU usage (%): 99.0052
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.20382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154807
page faults= 16
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38549
involuntary context switches= 90720
runsolver used 3.9554 s user time and 6.35203 s system time
The end
Begin job on node44 on Tue Jan 9 13:25:56 UTC 2007
IDJOB= 237548
IDBENCH= 6948
FILE ID= node44/237548-1168349156
PBS_JOBID= 3503614
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237548-1168349156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-237548-1168349156 -o ROOT/results/node44/solver-237548-1168349156 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237548-1168349156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a07f0f6319945eeec5dcf824462a8ed2
RANDOM SEED= 412015733
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.213
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.213
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: 1578688 kB
Buffers: 20476 kB
Cached: 76336 kB
SwapCached: 292 kB
Active: 382264 kB
Inactive: 39272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1578688 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2548 kB
Writeback: 0 kB
Mapped: 344220 kB
Slab: 40400 kB
Committed_AS: 4824816 kB
PageTables: 2396 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= 66539 MiB
End job on node44 on Tue Jan 9 13:56:14 UTC 2007