0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198098-1168126866/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=13 nbDomainTypes=1 minDomainSize=71 maxDomainSize=71
0.42 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.89 nbConstraints=1079 nbMergedConstraints=1716 nbConvertedConstraints=78 nbConvertConstraintsChecks=5041
0.89 nbExtensionStructures=1 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
0.89 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.89 nbSharedEvaluationManagers=999 maxDegree=298 maxArity=4
0.89 => wckTime=0.573 cpuTime=0.43 mem=27M447
0.94
0.94 solver IterativeSystematicSolver being built...
1.19 => wckTime=0.871 cpuTime=0.63 mem=29M605
3.89
3.89 preprocessing
3.89 nbConstraintChecks=2416764 nbValidityChecks=3908375 nbPropagations=392 nbRevisions=125522
3.89 nbUselessRevisions=123746 nbSingletonTests=59 nbEffectiveSingletonTests=8 nbESACBranches=16 nbRemovedValues=187
3.89 detectedInconsistency=no
3.89 => wckTime=2.7 cpuTime=2.64 mem=29M605
4.70
4.70 search
4.70 run=0 nbConstraintChecks=742177 nbValidityChecks=1309397 nbPropagations=540 nbRevisions=166044
4.70 nbUselessRevisions=163866 nbAssignments=20 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=37
4.70 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
4.70 => wckTime=3.514 cpuTime=3.45 mem=30M594
5.87
5.87 search
5.87 run=1 nbConstraintChecks=1779062 nbValidityChecks=3112052 nbPropagations=1297 nbRevisions=391305
5.87 nbUselessRevisions=386379 nbAssignments=46 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=83
5.87 nbRestartNogoods=1 mapSize=20 nbInferences=0 nbTooLargeKeys=0
5.87 => wckTime=4.68 cpuTime=4.6 mem=30M594
7.98
7.98 search
7.98 run=2 nbConstraintChecks=3620432 nbValidityChecks=6363240 nbPropagations=2417 nbRevisions=723067
7.98 nbUselessRevisions=714390 nbAssignments=96 nbFailedAssignments=45 nbBacktracks=47 nbVisitedNodes=173
7.98 nbRestartNogoods=6 mapSize=40 nbInferences=0 nbTooLargeKeys=0
7.98 => wckTime=6.794 cpuTime=6.69 mem=30M594
11.00
11.00 search
11.00 run=3 nbConstraintChecks=6212299 nbValidityChecks=10920467 nbPropagations=4041 nbRevisions=1210350
11.00 nbUselessRevisions=1196400 nbAssignments=169 nbFailedAssignments=83 nbBacktracks=80 nbVisitedNodes=305
11.00 nbRestartNogoods=8 mapSize=69 nbInferences=0 nbTooLargeKeys=0
11.00 => wckTime=9.814 cpuTime=9.68 mem=30M594
16.23
16.23 search
16.23 run=4 nbConstraintChecks=10618587 nbValidityChecks=18602682 nbPropagations=6470 nbRevisions=1960128
16.23 nbUselessRevisions=1938058 nbAssignments=297 nbFailedAssignments=159 nbBacktracks=131 nbVisitedNodes=541
16.23 nbRestartNogoods=15 mapSize=118 nbInferences=0 nbTooLargeKeys=0
16.23 => wckTime=15.044 cpuTime=14.85 mem=30M594
24.47
24.47 search
24.47 run=5 nbConstraintChecks=17156295 nbValidityChecks=32083849 nbPropagations=10469 nbRevisions=3250320
24.47 nbUselessRevisions=3206724 nbAssignments=578 nbFailedAssignments=362 nbBacktracks=206 nbVisitedNodes=1081
24.47 nbRestartNogoods=23 mapSize=187 nbInferences=0 nbTooLargeKeys=0
24.47 => wckTime=23.283 cpuTime=23.01 mem=30M594
37.33
37.33 search
37.33 run=6 nbConstraintChecks=26955868 nbValidityChecks=55659483 nbPropagations=17326 nbRevisions=5558108
37.33 nbUselessRevisions=5467037 nbAssignments=1096 nbFailedAssignments=762 nbBacktracks=319 nbVisitedNodes=2073
37.33 nbRestartNogoods=34 mapSize=279 nbInferences=0 nbTooLargeKeys=0
37.33 => wckTime=36.14 cpuTime=35.73 mem=30M594
57.73
57.73 search
57.73 run=7 nbConstraintChecks=41989249 nbValidityChecks=95074191 nbPropagations=29165 nbRevisions=9674749
57.73 nbUselessRevisions=9490327 nbAssignments=1984 nbFailedAssignments=1466 nbBacktracks=489 nbVisitedNodes=3761
57.73 nbRestartNogoods=46 mapSize=418 nbInferences=0 nbTooLargeKeys=0
57.73 => wckTime=56.542 cpuTime=55.89 mem=30M594
87.56
87.56 search
87.56 run=8 nbConstraintChecks=61778711 nbValidityChecks=164429455 nbPropagations=51523 nbRevisions=17659837
87.56 nbUselessRevisions=17279079 nbAssignments=3722 nbFailedAssignments=2937 nbBacktracks=745 nbVisitedNodes=7123
87.56 nbRestartNogoods=62 mapSize=612 nbInferences=0 nbTooLargeKeys=0
87.56 => wckTime=86.371 cpuTime=85.46 mem=30M594
127.85
127.85 search
127.85 run=9 nbConstraintChecks=89795068 nbValidityChecks=259456556 nbPropagations=89222 nbRevisions=31165782
127.85 nbUselessRevisions=30459694 nbAssignments=6082 nbFailedAssignments=4873 nbBacktracks=1130 nbVisitedNodes=11629
127.85 nbRestartNogoods=84 mapSize=918 nbInferences=0 nbTooLargeKeys=0
127.85 => wckTime=126.665 cpuTime=125.33 mem=30M594
134.43
134.43 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=30M594)
151.55
151.55 search
151.55 run=10 nbConstraintChecks=107250546 nbValidityChecks=296321768 nbPropagations=136394 nbRevisions=47811435
151.55 nbUselessRevisions=46728124 nbAssignments=7925 nbFailedAssignments=6131 nbBacktracks=1706 nbVisitedNodes=15193
151.55 nbRestartNogoods=103
151.55 => wckTime=150.361 cpuTime=148.68 mem=30M594
181.08
181.08 search
181.08 run=11 nbConstraintChecks=127792967 nbValidityChecks=340999657 nbPropagations=200133 nbRevisions=69906814
181.08 nbUselessRevisions=68362400 nbAssignments=11184 nbFailedAssignments=8448 nbBacktracks=2570 nbVisitedNodes=21408
181.08 nbRestartNogoods=139
181.08 => wckTime=179.887 cpuTime=177.87 mem=30M594
249.34
249.34 search
249.34 run=12 nbConstraintChecks=174904280 nbValidityChecks=451224152 nbPropagations=299239 nbRevisions=103775549
249.34 nbUselessRevisions=101585358 nbAssignments=16440 nbFailedAssignments=12372 nbBacktracks=3868
249.34 nbVisitedNodes=31593 nbRestartNogoods=155
249.34 => wckTime=248.156 cpuTime=245.38 mem=30M594
315.72
315.72 search
315.72 run=13 nbConstraintChecks=222958746 nbValidityChecks=546311735 nbPropagations=431613 nbRevisions=148753125
315.72 nbUselessRevisions=145732055 nbAssignments=22044 nbFailedAssignments=16005 nbBacktracks=5815
315.72 nbVisitedNodes=42218 nbRestartNogoods=187
315.72 => wckTime=314.528 cpuTime=311.04 mem=30M594
419.39
419.39 search
419.39 run=14 nbConstraintChecks=298853456 nbValidityChecks=688635130 nbPropagations=617143 nbRevisions=211137586
419.39 nbUselessRevisions=206993462 nbAssignments=32319 nbFailedAssignments=23340 nbBacktracks=8734
419.39 nbVisitedNodes=62200 nbRestartNogoods=199
419.39 => wckTime=418.202 cpuTime=413.87 mem=30M594
580.22
580.22 search
580.22 run=15 nbConstraintChecks=410740163 nbValidityChecks=916668906 nbPropagations=895091 nbRevisions=303759714
580.22 nbUselessRevisions=297943436 nbAssignments=49553 nbFailedAssignments=36182 nbBacktracks=13112
580.22 nbVisitedNodes=96183 nbRestartNogoods=226
580.22 => wckTime=579.031 cpuTime=572.55 mem=30M594
892.10
892.10 search
892.10 run=16 nbConstraintChecks=616876383 nbValidityChecks=1399647821 nbPropagations=1358704 nbRevisions=458543449
892.10 nbUselessRevisions=450222918 nbAssignments=78474 nbFailedAssignments=58488 nbBacktracks=19680
892.10 nbVisitedNodes=152813 nbRestartNogoods=250
892.10 => wckTime=890.908 cpuTime=879.63 mem=30M594
1148.48
1148.48 search
1148.48 run=17 nbConstraintChecks=789869212 nbValidityChecks=1743106812 nbPropagations=1991450 nbRevisions=669786003
1148.48 nbUselessRevisions=658105144 nbAssignments=109542 nbFailedAssignments=79698 nbBacktracks=29533
1148.48 nbVisitedNodes=213036 nbRestartNogoods=256
1148.48 => wckTime=1147.296 cpuTime=1133.31 mem=30M594
1799.84
1799.84 search
1799.84 run=18 nbConstraintChecks=1213915934 nbValidityChecks=2801900716 nbPropagations=2959097 nbRevisions=997686934
1799.84 nbUselessRevisions=980697113 nbAssignments=165464 nbFailedAssignments=120823 nbBacktracks=44311
1799.84 nbVisitedNodes=322786 nbRestartNogoods=289
1799.84 => wckTime=1798.652 cpuTime=1778.09 mem=30M594
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-198098-1168126866 -o ROOT/results/node10/solver-198098-1168126866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/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.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=18540 CPUtime=0
/proc/14115/stat : 14115 (runsolver) R 14113 14115 13893 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161082172 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14115/statm: 4635 279 244 17 0 2626 0
[startup+0.102109 s]
/proc/loadavg: 1.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=914988 CPUtime=0.09
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 2981 0 1 0 7 2 0 0 20 0 8 0 161082172 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510164 s]
/proc/loadavg: 1.85 1.70 1.28 2/97 14116
/proc/meminfo: memFree=1175952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915328 CPUtime=0.49
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 6360 0 1 0 45 4 0 0 18 0 8 0 161082172 937295872 6099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228832 6099 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33127 s]
/proc/loadavg: 1.85 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1136472/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1.3
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12398 0 1 0 118 12 0 0 24 0 8 0 161082172 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12136 2540 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.25
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 460 0 0 0 24 1 0 0 16 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764
[startup+2.9695 s]
/proc/loadavg: 1.85 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1133848/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=2.93
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12411 0 1 0 280 13 0 0 25 0 8 0 161082172 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12148 2542 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.25
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 465 0 0 0 24 1 0 0 15 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915764
[startup+6.17293 s]
/proc/loadavg: 1.86 1.70 1.28 3/104 14123
/proc/meminfo: memFree=1131416/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=6.1
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12511 0 1 0 597 13 0 0 25 0 8 0 161082172 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12245 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.26
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 468 0 0 0 25 1 0 0 15 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764
[startup+12.6478 s]
/proc/loadavg: 1.87 1.71 1.28 3/104 14123
/proc/meminfo: memFree=1126104/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=12.51
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12527 0 1 0 1238 13 0 0 25 0 8 0 161082172 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12258 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.27
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 472 0 0 0 26 1 0 0 15 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915764
[startup+25.5286 s]
/proc/loadavg: 1.90 1.72 1.29 3/104 14123
/proc/meminfo: memFree=1117592/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=25.27
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12542 0 1 0 2514 13 0 0 25 0 8 0 161082172 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12272 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.28
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 475 0 0 0 27 1 0 0 16 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12272 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915764
[startup+51.172 s]
/proc/loadavg: 1.93 1.74 1.31 3/104 14123
/proc/meminfo: memFree=1102104/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=50.64
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12571 0 1 0 5050 14 0 0 25 0 8 0 161082172 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12295 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 17 0 8 0 161082176 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.3
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 490 0 0 0 29 1 0 0 15 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915764
[startup+102.424 s]
/proc/loadavg: 1.97 1.78 1.34 3/104 14123
/proc/meminfo: memFree=1062296/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=101.43
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12603 0 1 0 10129 14 0 0 25 0 8 0 161082172 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12324 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 495 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915764
[startup+162.517 s]
/proc/loadavg: 1.99 1.82 1.38 3/104 14123
/proc/meminfo: memFree=1021272/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=160.76
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12631 0 1 0 16061 15 0 0 25 0 8 0 161082172 937742336 12351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1407.03
Current children cumulated vsize (KiB) 915764
[startup+1483.94 s]
/proc/loadavg: 2.62 2.53 2.12 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1466.48
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 146612 36 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1466.48
Current children cumulated vsize (KiB) 915764
[startup+1544.04 s]
/proc/loadavg: 2.37 2.48 2.13 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1525.76
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 152540 36 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1525.76
Current children cumulated vsize (KiB) 915764
[startup+1604.05 s]
/proc/loadavg: 2.25 2.42 2.13 3/104 14321
/proc/meminfo: memFree=591960/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1584.92
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 158455 37 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1584.92
Current children cumulated vsize (KiB) 915764
[startup+1664.08 s]
/proc/loadavg: 2.14 2.35 2.12 4/104 14321
/proc/meminfo: memFree=591896/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1644.33
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 164396 37 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1644.33
Current children cumulated vsize (KiB) 915764
[startup+1724.16 s]
/proc/loadavg: 2.05 2.29 2.11 3/100 14378
/proc/meminfo: memFree=1250416/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1704.03
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 170365 38 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.03
Current children cumulated vsize (KiB) 915764
[startup+1784.2 s]
/proc/loadavg: 2.14 2.26 2.11 3/100 14378
/proc/meminfo: memFree=1212016/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1763.78
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12650 0 1 0 176340 38 0 0 25 0 8 0 161082172 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12370 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.59 s]
/proc/loadavg: 2.08 2.23 2.10 3/100 14378
/proc/meminfo: memFree=1211952/2055920 swapFree=4178332/4192956
[pid=14115] ppid=14113 vsize=915764 CPUtime=1800.01
/proc/14115/stat : 14115 (java) R 14113 14115 13893 0 -1 0 12653 0 1 0 179962 39 0 0 25 0 8 0 161082172 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972941 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14115/statm: 228941 12373 2543 14 0 215411 0
[pid=14115/tid=14117] ppid=14113 vsize=915764 CPUtime=0.04
/proc/14115/task/14117/stat : 14117 (java) S 14113 14115 13893 0 -1 64 311 0 0 0 4 0 0 0 16 0 8 0 161082176 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14115/tid=14118] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14118/stat : 14118 (java) S 14113 14115 13893 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14119] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14119/stat : 14119 (java) S 14113 14115 13893 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161082177 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14120] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14120/stat : 14120 (java) S 14113 14115 13893 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14121] ppid=14113 vsize=915764 CPUtime=0.32
/proc/14115/task/14121/stat : 14121 (java) S 14113 14115 13893 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14122] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14122/stat : 14122 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14115/tid=14123] ppid=14113 vsize=915764 CPUtime=0
/proc/14115/task/14123/stat : 14123 (java) S 14113 14115 13893 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161082180 937742336 12373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1820.61
CPU time (s): 1800.04
CPU user time (s): 1799.64
CPU system time (s): 0.398939
CPU usage (%): 98.8699
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12672
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= 38193
involuntary context switches= 73984
runsolver used 2.59061 s user time and 6.23705 s system time
The end
Begin job on node10 on Sat Jan 6 23:41:08 UTC 2007
IDJOB= 198098
IDBENCH= 3534
FILE ID= node10/198098-1168126866
PBS_JOBID= 3477694
Free space on /tmp= 66355 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-70-13-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-198098-1168126866 -o ROOT/results/node10/solver-198098-1168126866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198098-1168126866/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8550458df6e804e35921814f1d43a5d8
RANDOM SEED= 744166817
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.232
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.232
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: 1178288 kB
Buffers: 56840 kB
Cached: 511084 kB
SwapCached: 2120 kB
Active: 423716 kB
Inactive: 363824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1178288 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 239868 kB
Slab: 74380 kB
Committed_AS: 4562884 kB
PageTables: 2628 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= 66356 MiB
End job on node10 on Sun Jan 7 00:11:32 UTC 2007