0.44
0.44 Abscon 109 (November, 2006)
0.44
0.44 configuration
0.44 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/210736-1168202029/unknown.xml
0.51
0.51 domains being loaded...
0.51
0.51 variables being loaded...
0.74 nbVariables=4622 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.74 => wckTime=0.303 cpuTime=0.21 mem=14M704
0.74
0.74 predicates being loaded...
0.76
0.76 constraints being loaded...
2.91 nbConstraints=11909 nbMergedConstraints=659 nbSingletonDomainVariables=27 nbConvertedConstraints=7752
2.91 nbConvertConstraintsChecks=42043 nbExtensionStructures=8 nbSharedExtensionStructures=7744
2.91 nbConflictsStructures=42 nbSharedConflictsStructures=11867 nbSharedBinaryRepresentations=19
2.91 nbEvaluationManagers=34 nbSharedEvaluationManagers=4123 maxDegree=187 maxArity=11
2.91 => wckTime=2.47 cpuTime=2.01 mem=28M808
3.05
3.05 solver IterativeSystematicSolver being built...
3.54 => wckTime=3.104 cpuTime=2.4 mem=34M946
13.39
13.39 preprocessing
13.39 nbConstraintChecks=155723 nbValidityChecks=109131 nbPropagations=23053 nbRevisions=128531
13.39 nbUselessRevisions=114400 nbSingletonTests=4633 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0
13.39 detectedInconsistency=no
13.39 => wckTime=9.835 cpuTime=9.69 mem=34M946
15.96
15.96 search
15.96 run=0 nbConstraintChecks=26751 nbValidityChecks=41700 nbPropagations=26964 nbRevisions=165302
15.96 nbUselessRevisions=147321 nbAssignments=260 nbFailedAssignments=4 nbBacktracks=24 nbVisitedNodes=268
15.96 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
15.96 => wckTime=12.407 cpuTime=12.23 mem=35M978
18.80
18.80 search
18.80 run=1 nbConstraintChecks=153655 nbValidityChecks=145816 nbPropagations=73317 nbRevisions=465695
18.80 nbUselessRevisions=410483 nbAssignments=740 nbFailedAssignments=6 nbBacktracks=49 nbVisitedNodes=534
18.80 nbRestartNogoods=4 mapSize=7 nbInferences=1 nbTooLargeKeys=0
18.80 => wckTime=15.245 cpuTime=15.04 mem=36M994
21.50
21.50 search
21.50 run=2 nbConstraintChecks=204537 nbValidityChecks=204723 nbPropagations=127325 nbRevisions=828300
21.50 nbUselessRevisions=728344 nbAssignments=1232 nbFailedAssignments=8 nbBacktracks=75 nbVisitedNodes=801
21.50 nbRestartNogoods=6 mapSize=11 nbInferences=2 nbTooLargeKeys=0
21.50 => wckTime=17.946 cpuTime=17.71 mem=36M994
24.53
24.53 search
24.53 run=3 nbConstraintChecks=256745 nbValidityChecks=267021 nbPropagations=189152 nbRevisions=1255399
24.53 nbUselessRevisions=1103018 nbAssignments=1754 nbFailedAssignments=12 nbBacktracks=126 nbVisitedNodes=1103
24.53 nbRestartNogoods=8 mapSize=20 nbInferences=4 nbTooLargeKeys=0
24.53 => wckTime=20.971 cpuTime=20.71 mem=36M994
27.51
27.51 search
27.51 run=4 nbConstraintChecks=308393 nbValidityChecks=326332 nbPropagations=258693 nbRevisions=1745212
27.51 nbUselessRevisions=1532836 nbAssignments=2271 nbFailedAssignments=15 nbBacktracks=177 nbVisitedNodes=1398
27.51 nbRestartNogoods=11 mapSize=28 nbInferences=7 nbTooLargeKeys=0
27.51 => wckTime=23.955 cpuTime=23.65 mem=38M10
30.86
30.86 search
30.86 run=5 nbConstraintChecks=334871 nbValidityChecks=370424 nbPropagations=332267 nbRevisions=2273590
30.86 nbUselessRevisions=1997263 nbAssignments=2605 nbFailedAssignments=19 nbBacktracks=270 nbVisitedNodes=1743
30.86 nbRestartNogoods=12 mapSize=36 nbInferences=10 nbTooLargeKeys=0
30.86 => wckTime=27.308 cpuTime=26.97 mem=38M10
34.65
34.65 search
34.65 run=6 nbConstraintChecks=366082 nbValidityChecks=416199 nbPropagations=410227 nbRevisions=2842665
34.65 nbUselessRevisions=2498078 nbAssignments=2976 nbFailedAssignments=25 nbBacktracks=395 nbVisitedNodes=2130
34.65 nbRestartNogoods=15 mapSize=49 nbInferences=15 nbTooLargeKeys=0
34.65 => wckTime=31.096 cpuTime=30.72 mem=39M25
38.97
38.97 search
38.97 run=7 nbConstraintChecks=438471 nbValidityChecks=492122 nbPropagations=498103 nbRevisions=3491395
38.97 nbUselessRevisions=3068665 nbAssignments=3471 nbFailedAssignments=34 nbBacktracks=566 nbVisitedNodes=2573
38.97 nbRestartNogoods=18 mapSize=81 nbInferences=22 nbTooLargeKeys=0
38.97 => wckTime=35.421 cpuTime=35.0 mem=39M25
43.83
43.83 search
43.83 run=8 nbConstraintChecks=500970 nbValidityChecks=564460 nbPropagations=593556 nbRevisions=4207903
43.83 nbUselessRevisions=3699378 nbAssignments=3970 nbFailedAssignments=72 nbBacktracks=830 nbVisitedNodes=3174
43.83 nbRestartNogoods=19 mapSize=181 nbInferences=36 nbTooLargeKeys=0
43.83 => wckTime=40.277 cpuTime=39.81 mem=40M41
48.13
48.13 search
48.13 run=9 nbConstraintChecks=564023 nbValidityChecks=620119 nbPropagations=698292 nbRevisions=4988402
48.13 nbUselessRevisions=4384487 nbAssignments=4461 nbFailedAssignments=121 nbBacktracks=1214 nbVisitedNodes=3815
48.13 nbRestartNogoods=20 mapSize=330 nbInferences=36 nbTooLargeKeys=0
48.13 => wckTime=44.577 cpuTime=44.07 mem=41M57
54.51
54.51 search
54.51 run=10 nbConstraintChecks=654799 nbValidityChecks=682770 nbPropagations=816928 nbRevisions=5860772
54.51 nbUselessRevisions=5147256 nbAssignments=5249 nbFailedAssignments=169 nbBacktracks=1794 nbVisitedNodes=4730
54.51 nbRestartNogoods=21 mapSize=448 nbInferences=36 nbTooLargeKeys=0
54.51 => wckTime=50.961 cpuTime=50.38 mem=42M73
65.82
65.82 search
65.82 run=11 nbConstraintChecks=1131859 nbValidityChecks=1049224 nbPropagations=1002264 nbRevisions=7194608
65.82 nbUselessRevisions=6301878 nbAssignments=6961 nbFailedAssignments=278 nbBacktracks=2672 nbVisitedNodes=6200
65.82 nbRestartNogoods=30 mapSize=780 nbInferences=36 nbTooLargeKeys=0
65.82 => wckTime=62.267 cpuTime=61.58 mem=44M104
79.38
79.38 search
79.38 run=12 nbConstraintChecks=1364536 nbValidityChecks=1213419 nbPropagations=1215228 nbRevisions=8725666
79.38 nbUselessRevisions=7623935 nbAssignments=8498 nbFailedAssignments=437 nbBacktracks=3984 nbVisitedNodes=8096
79.38 nbRestartNogoods=33 mapSize=1138 nbInferences=36 nbTooLargeKeys=0
79.38 => wckTime=75.823 cpuTime=75.01 mem=46M135
100.83
100.83 search
100.83 run=13 nbConstraintChecks=1908200 nbValidityChecks=1471981 nbPropagations=1526059 nbRevisions=10820052
100.83 nbUselessRevisions=9405890 nbAssignments=10798 nbFailedAssignments=664 nbBacktracks=5947 nbVisitedNodes=10930
100.83 nbRestartNogoods=34 mapSize=1668 nbInferences=38 nbTooLargeKeys=0
100.83 => wckTime=97.275 cpuTime=96.26 mem=50M198
137.29
137.29 search
137.29 run=14 nbConstraintChecks=2301087 nbValidityChecks=1769572 nbPropagations=1884307 nbRevisions=13265206
137.29 nbUselessRevisions=11489950 nbAssignments=14256 nbFailedAssignments=946 nbBacktracks=8872 nbVisitedNodes=14883
137.29 nbRestartNogoods=38 mapSize=2191 nbInferences=46 nbTooLargeKeys=0
137.29 => wckTime=133.742 cpuTime=132.4 mem=53M245
190.79
190.79 search
190.79 run=15 nbConstraintChecks=3698837 nbValidityChecks=2903651 nbPropagations=2428776 nbRevisions=17052611
190.79 nbUselessRevisions=14717662 nbAssignments=19696 nbFailedAssignments=1616 nbBacktracks=13252
190.79 nbVisitedNodes=21813 nbRestartNogoods=43 mapSize=3862 nbInferences=69 nbTooLargeKeys=0
190.79 => wckTime=187.239 cpuTime=185.4 mem=60M355
261.31
261.31 search
261.31 run=16 nbConstraintChecks=4670299 nbValidityChecks=3495574 nbPropagations=3133309 nbRevisions=21839564
261.31 nbUselessRevisions=18772401 nbAssignments=27242 nbFailedAssignments=2146 nbBacktracks=19824
261.31 nbVisitedNodes=30332 nbRestartNogoods=50 mapSize=5109 nbInferences=113 nbTooLargeKeys=0
261.31 => wckTime=257.756 cpuTime=255.28 mem=70M512
369.68
369.68 search
369.68 run=17 nbConstraintChecks=6404016 nbValidityChecks=4827931 nbPropagations=4042323 nbRevisions=28208126
369.68 nbUselessRevisions=24183449 nbAssignments=38367 nbFailedAssignments=3134 nbBacktracks=29688
369.68 nbVisitedNodes=43702 nbRestartNogoods=53 mapSize=7335 nbInferences=125 nbTooLargeKeys=0
369.68 => wckTime=366.123 cpuTime=362.61 mem=44M836
523.16
523.16 search
523.16 run=18 nbConstraintChecks=8406849 nbValidityChecks=5889970 nbPropagations=5291942 nbRevisions=36727652
523.16 nbUselessRevisions=31380198 nbAssignments=55174 nbFailedAssignments=3891 nbBacktracks=44474
523.16 nbVisitedNodes=61602 nbRestartNogoods=66 mapSize=9277 nbInferences=316 nbTooLargeKeys=0
523.17 => wckTime=519.612 cpuTime=514.7 mem=67M25
772.68
772.68 search
772.68 run=19 nbConstraintChecks=13499572 nbValidityChecks=9648179 nbPropagations=7391445 nbRevisions=51183016
772.68 nbUselessRevisions=43618479 nbAssignments=79834 nbFailedAssignments=5947 nbBacktracks=66647
772.68 nbVisitedNodes=91440 nbRestartNogoods=75 mapSize=14514 nbInferences=546 nbTooLargeKeys=0
772.68 => wckTime=769.129 cpuTime=761.89 mem=58M374
1098.21
1098.21 search
1098.21 run=20 nbConstraintChecks=25823174 nbValidityChecks=15535768 nbPropagations=11372982 nbRevisions=77772345
1098.21 nbUselessRevisions=65910486 nbAssignments=116816 nbFailedAssignments=9162 nbBacktracks=99901
1098.21 nbVisitedNodes=135377 nbRestartNogoods=83 mapSize=21822 nbInferences=548 nbTooLargeKeys=0
1098.21 => wckTime=1094.661 cpuTime=1084.4 mem=71M659
1635.24
1635.24 search
1635.24 run=21 nbConstraintChecks=37181316 nbValidityChecks=24338913 nbPropagations=17164396 nbRevisions=117630143
1635.24 nbUselessRevisions=99529373 nbAssignments=171894 nbFailedAssignments=13361 nbBacktracks=149783
1635.24 nbVisitedNodes=201619 nbRestartNogoods=96 mapSize=33223 nbInferences=1166 nbTooLargeKeys=0
1635.24 => wckTime=1631.683 cpuTime=1618.38 mem=103M985
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-210736-1168202029 -o ROOT/results/node6/solver-210736-1168202029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210736-1168202029/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.98 2.00 1.83 3/86 20393
/proc/meminfo: memFree=1190896/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=18540 CPUtime=0
/proc/20392/stat : 20392 (runsolver) R 20390 20392 19824 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 168598411 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20392/statm: 4635 279 244 17 0 2626 0
[startup+0.102756 s]
/proc/loadavg: 1.98 2.00 1.83 3/86 20393
/proc/meminfo: memFree=1190896/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=907808 CPUtime=0.06
/proc/20392/stat : 20392 (java) D 20390 20392 19824 0 -1 0 2505 0 1 0 4 2 0 0 17 0 4 0 168598411 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510808 s]
/proc/loadavg: 1.98 2.00 1.83 3/86 20393
/proc/meminfo: memFree=1190896/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916352 CPUtime=0.39
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 5817 0 1 0 35 4 0 0 18 0 8 0 168598411 938344448 5556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229088 5556 2098 14 0 215558 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 916352
[startup+1.33291 s]
/proc/loadavg: 1.99 2.00 1.83 3/93 20400
/proc/meminfo: memFree=1138104/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916668 CPUtime=1.2
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 17690 0 1 0 108 12 0 0 23 0 8 0 168598411 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229167 17427 2158 14 0 215637 0
[pid=20392/tid=20394] ppid=20390 vsize=916668 CPUtime=0.05
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 1149 0 0 0 5 0 0 0 16 0 8 0 168598416 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916668 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168598417 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916668 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916668 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916668 CPUtime=0.16
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 168598430 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916668 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916668 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938668032 17427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 916668
[startup+2.97811 s]
/proc/loadavg: 1.99 2.00 1.83 3/93 20400
/proc/meminfo: memFree=1121656/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=917004 CPUtime=2.83
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 22051 0 1 0 219 64 0 0 25 0 8 0 168598411 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229251 21785 2190 14 0 215721 0
[pid=20392/tid=20394] ppid=20390 vsize=917004 CPUtime=0.27
/proc/20392/task/20394/stat : 20394 (java) R 20390 20392 19824 0 -1 64 5379 0 0 0 25 2 0 0 16 0 8 0 168598416 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525114 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=917004 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168598417 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=917004 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=917004 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=917004 CPUtime=0.24
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 453 0 0 0 23 1 0 0 15 0 8 0 168598430 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=917004 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=917004 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 939012096 21785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 917004
[startup+6.18848 s]
/proc/loadavg: 1.99 2.00 1.83 4/93 20400
/proc/meminfo: memFree=1104248/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=6.01
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24364 0 1 0 535 66 0 0 25 0 8 0 168598411 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074215600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 24072 2547 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 7203 0 0 0 34 3 0 0 17 0 8 0 168598416 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 518 0 0 0 36 1 0 0 15 0 8 0 168598430 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 24072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 916872
[startup+12.6672 s]
/proc/loadavg: 1.99 2.00 1.83 3/93 20400
/proc/meminfo: memFree=1104440/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=12.42
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24369 0 1 0 1176 66 0 0 25 0 8 0 168598411 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074168228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 24075 2547 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 7203 0 0 0 34 3 0 0 16 0 8 0 168598416 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.38
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 521 0 0 0 37 1 0 0 15 0 8 0 168598430 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 24075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 916872
[startup+25.5448 s]
/proc/loadavg: 1.99 2.00 1.84 3/93 20400
/proc/meminfo: memFree=1104504/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=25.19
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24391 0 1 0 2452 67 0 0 25 0 8 0 168598411 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074250608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 24093 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 7203 0 0 0 34 3 0 0 17 0 8 0 168598416 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.43
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 537 0 0 0 41 2 0 0 15 0 8 0 168598430 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 916872
[startup+51.1908 s]
/proc/loadavg: 1.99 2.00 1.84 3/93 20400
/proc/meminfo: memFree=1104568/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=50.59
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24402 0 1 0 4992 67 0 0 25 0 8 0 168598411 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 24099 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 7203 0 0 0 34 3 0 0 16 0 8 0 168598416 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.44
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 544 0 0 0 42 2 0 0 16 0 8 0 168598430 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 24099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 916872
[startup+102.485 s]
/proc/loadavg: 1.99 2.00 1.84 3/93 20400
/proc/meminfo: memFree=1104568/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=101.41
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24411 0 1 0 10074 67 0 0 25 0 8 0 168598411 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 24103 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.37
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 7203 0 0 0 34 3 0 0 16 0 8 0 168598416 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.45
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 548 0 0 0 43 2 0 0 15 0 8 0 168598430 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 916872
[startup+162.529 s]
/proc/loadavg: 1.99 2.00 1.85 3/93 20400
/proc/meminfo: memFree=1104632/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=160.91
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 24411 0 1 0 16023 68 0 0 25 0 8 0 168598411 938876928 24103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.57
Current children cumulated vsize (KiB) 916872
[startup+1483.68 s]
/proc/loadavg: 2.02 2.01 1.93 3/93 20400
/proc/meminfo: memFree=1065272/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1471.33
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 34201 0 1 0 147049 84 0 0 25 0 8 0 168598411 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 33889 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.59
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 16988 0 0 0 51 8 0 0 16 0 8 0 168598416 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.33
Current children cumulated vsize (KiB) 916872
[startup+1543.73 s]
/proc/loadavg: 2.01 2.00 1.93 3/93 20400
/proc/meminfo: memFree=1065272/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1531.09
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 34201 0 1 0 153025 84 0 0 25 0 8 0 168598411 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074265507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 33889 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.59
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 16988 0 0 0 51 8 0 0 16 0 8 0 168598416 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.09
Current children cumulated vsize (KiB) 916872
[startup+1603.77 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 20400
/proc/meminfo: memFree=1065272/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1590.86
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 34201 0 1 0 159001 85 0 0 25 0 8 0 168598411 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074265507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 33889 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.59
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 16988 0 0 0 51 8 0 0 16 0 8 0 168598416 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.86
Current children cumulated vsize (KiB) 916872
[startup+1663.84 s]
/proc/loadavg: 2.00 2.00 1.93 3/99 20518
/proc/meminfo: memFree=1064072/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1650.48
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 34201 0 1 0 164963 85 0 0 25 0 8 0 168598411 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 33889 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.59
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 16988 0 0 0 51 8 0 0 16 0 8 0 168598416 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 33889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.48
Current children cumulated vsize (KiB) 916872
[startup+1723.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/99 20578
/proc/meminfo: memFree=1051784/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1710.15
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 37251 0 1 0 170928 87 0 0 25 0 8 0 168598411 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074265507 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20392/statm: 229218 36938 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.64
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 20037 0 0 0 55 9 0 0 16 0 8 0 168598416 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.15
Current children cumulated vsize (KiB) 916872
[startup+1783.94 s]
/proc/loadavg: 2.00 2.00 1.93 3/101 20672
/proc/meminfo: memFree=1166904/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1769.96
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 37251 0 1 0 176899 97 0 0 25 0 8 0 168598411 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 229218 36938 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.64
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 20037 0 0 0 55 9 0 0 16 0 8 0 168598416 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.96
Current children cumulated vsize (KiB) 916872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.01 s]
/proc/loadavg: 2.00 2.00 1.93 3/101 20672
/proc/meminfo: memFree=1164792/2055924 swapFree=4165672/4192956
[pid=20392] ppid=20390 vsize=916872 CPUtime=1800.01
/proc/20392/stat : 20392 (java) R 20390 20392 19824 0 -1 0 37251 0 1 0 179904 97 0 0 25 0 8 0 168598411 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162302 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20392/statm: 229218 36938 2548 14 0 215688 0
[pid=20392/tid=20394] ppid=20390 vsize=916872 CPUtime=0.64
/proc/20392/task/20394/stat : 20394 (java) S 20390 20392 19824 0 -1 64 20037 0 0 0 55 9 0 0 16 0 8 0 168598416 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20395] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20395/stat : 20395 (java) S 20390 20392 19824 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20396] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20396/stat : 20396 (java) S 20390 20392 19824 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168598417 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20397] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20397/stat : 20397 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20398] ppid=20390 vsize=916872 CPUtime=0.46
/proc/20392/task/20398/stat : 20398 (java) S 20390 20392 19824 0 -1 64 549 0 0 0 44 2 0 0 16 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20399] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20399/stat : 20399 (java) S 20390 20392 19824 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20392/tid=20400] ppid=20390 vsize=916872 CPUtime=0
/proc/20392/task/20400/stat : 20400 (java) S 20390 20392 19824 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 168598430 938876928 36938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 916872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.09
CPU time (s): 1800.09
CPU user time (s): 1799.09
CPU system time (s): 0.998848
CPU usage (%): 99.2281
Max. virtual memory (cumulated for all children) (KiB): 917004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.998848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37265
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= 38552
involuntary context switches= 64348
runsolver used 2.07668 s user time and 6.05108 s system time
The end
Begin job on node6 on Sun Jan 7 20:33:50 UTC 2007
IDJOB= 210736
IDBENCH= 4642
FILE ID= node6/210736-1168202029
PBS_JOBID= 3480530
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-3-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210736-1168202029/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-210736-1168202029 -o ROOT/results/node6/solver-210736-1168202029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210736-1168202029/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bffe4df83243320da15e0cb4f79702b5
RANDOM SEED= 908320336
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.240
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.240
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: 2055924 kB
MemFree: 1191376 kB
Buffers: 73208 kB
Cached: 469796 kB
SwapCached: 2424 kB
Active: 313648 kB
Inactive: 467112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1191376 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 3544 kB
Writeback: 0 kB
Mapped: 250932 kB
Slab: 68116 kB
Committed_AS: 5007064 kB
PageTables: 2720 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= 66535 MiB
End job on node6 on Sun Jan 7 21:04:04 UTC 2007