0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238833-1168083629/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=112 nbDomainTypes=4 minDomainSize=1 maxDomainSize=28
0.42 => wckTime=0.106 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.44
0.44 constraints being loaded...
0.62 nbConstraints=1261 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.62 nbExtensionStructures=9 nbSharedExtensionStructures=1252 nbConflictsStructures=9
0.62 nbSharedConflictsStructures=1252 nbSharedBinaryRepresentations=204 maxDegree=56 maxArity=2
0.62 => wckTime=0.305 cpuTime=0.21 mem=11M860
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.498 cpuTime=0.34 mem=15M66
0.84
0.84 preprocessing
0.84 nbConstraintChecks=47522 nbPropagations=131 nbRevisions=2019 nbUselessRevisions=1851 nbRemovedValues=280
0.84 detectedInconsistency=no
0.84 => wckTime=0.022 cpuTime=0.01 mem=15M66
0.90
0.90 search
0.90 run=0 nbConstraintChecks=389022 nbPropagations=1307 nbRevisions=19746 nbUselessRevisions=18107
0.90 nbAssignments=37 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10
0.90 nbInferences=1 nbTooLargeKeys=0
0.90 => wckTime=0.085 cpuTime=0.05 mem=15M66
0.92
0.92 search
0.92 run=1 nbConstraintChecks=722460 nbPropagations=3567 nbRevisions=54559 nbUselessRevisions=50145
0.93 nbAssignments=79 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=24
0.93 nbInferences=2 nbTooLargeKeys=0
0.93 => wckTime=0.11 cpuTime=0.07 mem=15M66
0.96
0.96 search
0.96 run=2 nbConstraintChecks=1218891 nbPropagations=7400 nbRevisions=112208 nbUselessRevisions=103048
0.96 nbAssignments=140 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=198 nbRestartNogoods=3 mapSize=47
0.96 nbInferences=7 nbTooLargeKeys=0
0.96 => wckTime=0.143 cpuTime=0.1 mem=15M66
0.98
0.98 search
0.98 run=3 nbConstraintChecks=1651870 nbPropagations=12438 nbRevisions=189635 nbUselessRevisions=174372
0.98 nbAssignments=216 nbFailedAssignments=46 nbBacktracks=87 nbVisitedNodes=318 nbRestartNogoods=4 mapSize=82
0.98 nbInferences=11 nbTooLargeKeys=0
0.98 => wckTime=0.17 cpuTime=0.13 mem=15M66
1.03
1.04 search
1.04 run=4 nbConstraintChecks=2409144 nbPropagations=20013 nbRevisions=302805 nbUselessRevisions=278096
1.04 nbAssignments=335 nbFailedAssignments=85 nbBacktracks=137 nbVisitedNodes=511 nbRestartNogoods=5 mapSize=127
1.04 nbInferences=21 nbTooLargeKeys=0
1.04 => wckTime=0.219 cpuTime=0.17 mem=15M66
1.09
1.09 search
1.09 run=5 nbConstraintChecks=3288712 nbPropagations=30663 nbRevisions=457548 nbUselessRevisions=419452
1.09 nbAssignments=481 nbFailedAssignments=124 nbBacktracks=212 nbVisitedNodes=740 nbRestartNogoods=10 mapSize=183
1.09 nbInferences=33 nbTooLargeKeys=0
1.09 => wckTime=0.275 cpuTime=0.23 mem=15M66
1.18
1.18 search
1.18 run=6 nbConstraintChecks=4704174 nbPropagations=46787 nbRevisions=680882 nbUselessRevisions=622120
1.18 nbAssignments=715 nbFailedAssignments=191 nbBacktracks=325 nbVisitedNodes=1124 nbRestartNogoods=16 mapSize=267
1.18 nbInferences=65 nbTooLargeKeys=0
1.18 => wckTime=0.364 cpuTime=0.31 mem=15M66
1.29
1.29 search
1.29 run=7 nbConstraintChecks=6370181 nbPropagations=69694 nbRevisions=985285 nbUselessRevisions=897628
1.29 nbAssignments=1039 nbFailedAssignments=279 nbBacktracks=497 nbVisitedNodes=1664 nbRestartNogoods=22
1.29 mapSize=404 nbInferences=113 nbTooLargeKeys=0
1.29 => wckTime=0.473 cpuTime=0.42 mem=15M66
1.48
1.48 search
1.48 run=8 nbConstraintChecks=9326789 nbPropagations=103568 nbRevisions=1432555 nbUselessRevisions=1301420
1.48 nbAssignments=1562 nbFailedAssignments=445 nbBacktracks=755 nbVisitedNodes=2551 nbRestartNogoods=25
1.48 mapSize=639 nbInferences=192 nbTooLargeKeys=0
1.48 => wckTime=0.663 cpuTime=0.59 mem=15M66
1.68
1.68 search
1.68 run=9 nbConstraintChecks=12575469 nbPropagations=149854 nbRevisions=2037859 nbUselessRevisions=1847806
1.68 nbAssignments=2233 nbFailedAssignments=653 nbBacktracks=1141 nbVisitedNodes=3664 nbRestartNogoods=30
1.68 mapSize=973 nbInferences=248 nbTooLargeKeys=0
1.68 => wckTime=0.863 cpuTime=0.78 mem=16M41
1.99
1.99 search
1.99 run=10 nbConstraintChecks=18016883 nbPropagations=217881 nbRevisions=2909147 nbUselessRevisions=2632680
1.99 nbAssignments=3256 nbFailedAssignments=1024 nbBacktracks=1718 nbVisitedNodes=5387 nbRestartNogoods=35
1.99 mapSize=1462 nbInferences=304 nbTooLargeKeys=0
1.99 => wckTime=1.173 cpuTime=1.08 mem=16M41
2.38
2.38 search
2.38 run=11 nbConstraintChecks=24966827 nbPropagations=313222 nbRevisions=4123588 nbUselessRevisions=3727332
2.38 nbAssignments=4877 nbFailedAssignments=1470 nbBacktracks=2583 nbVisitedNodes=8037 nbRestartNogoods=43
2.38 mapSize=2120 nbInferences=587 nbTooLargeKeys=0
2.38 => wckTime=1.565 cpuTime=1.47 mem=16M41
3.13
3.13 search
3.13 run=12 nbConstraintChecks=38407097 nbPropagations=465912 nbRevisions=5995008 nbUselessRevisions=5408806
3.13 nbAssignments=7362 nbFailedAssignments=2130 nbBacktracks=3880 nbVisitedNodes=12107 nbRestartNogoods=49
3.13 mapSize=3119 nbInferences=1086 nbTooLargeKeys=0
3.13 => wckTime=2.313 cpuTime=2.22 mem=17M16
3.85
3.85 search
3.85 run=13 nbConstraintChecks=51213486 nbPropagations=666343 nbRevisions=8497896 nbUselessRevisions=7664313
3.85 nbAssignments=10671 nbFailedAssignments=2899 nbBacktracks=5827 nbVisitedNodes=17368 nbRestartNogoods=54
3.85 mapSize=4462 nbInferences=1656 nbTooLargeKeys=0
3.85 => wckTime=3.038 cpuTime=2.95 mem=17M16
4.78
4.78 search
4.78 run=14 nbConstraintChecks=66579180 nbPropagations=905763 nbRevisions=11738654 nbUselessRevisions=10613557
4.78 nbAssignments=15775 nbFailedAssignments=4183 nbBacktracks=8749 nbVisitedNodes=25718 nbRestartNogoods=66
4.78 mapSize=6724 nbInferences=2532 nbTooLargeKeys=0
4.78 => wckTime=3.966 cpuTime=3.88 mem=17M991
6.98
6.98 search
6.98 run=15 nbConstraintChecks=104295071 nbPropagations=1300880 nbRevisions=16865133 nbUselessRevisions=15251267
6.98 nbAssignments=23788 nbFailedAssignments=6595 nbBacktracks=13127 nbVisitedNodes=38971 nbRestartNogoods=71
6.98 mapSize=9901 nbInferences=3734 nbTooLargeKeys=0
6.98 => wckTime=6.164 cpuTime=6.07 mem=19M942
10.28
10.28 search
10.28 run=16 nbConstraintChecks=159496771 nbPropagations=1906934 nbRevisions=24710684 nbUselessRevisions=22353416
10.28 nbAssignments=36249 nbFailedAssignments=9280 nbBacktracks=19698 nbVisitedNodes=59427 nbRestartNogoods=77
10.28 mapSize=14806 nbInferences=6919 nbTooLargeKeys=0
10.28 => wckTime=9.461 cpuTime=9.36 mem=22M867
15.54
15.54 search
15.54 run=17 nbConstraintChecks=249766102 nbPropagations=2904950 nbRevisions=37040996 nbUselessRevisions=33470093
15.54 nbAssignments=53766 nbFailedAssignments=12952 nbBacktracks=29550 nbVisitedNodes=87350 nbRestartNogoods=86
15.54 mapSize=22102 nbInferences=10889 nbTooLargeKeys=0
15.54 => wckTime=14.724 cpuTime=14.62 mem=25M793
20.40
20.40 search
20.40 run=18 nbConstraintChecks=330488276 nbPropagations=4205709 nbRevisions=53374110 nbUselessRevisions=48240004
20.40 nbAssignments=78088 nbFailedAssignments=16843 nbBacktracks=44330 nbVisitedNodes=124139 nbRestartNogoods=93
20.40 mapSize=30915 nbInferences=16521 nbTooLargeKeys=0
20.40 => wckTime=19.583 cpuTime=19.48 mem=31M644
28.92
28.92 search
28.92 run=19 nbConstraintChecks=473057082 nbPropagations=6034034 nbRevisions=76701169 nbUselessRevisions=69368861
28.92 nbAssignments=116523 nbFailedAssignments=23749 nbBacktracks=66501 nbVisitedNodes=184543 nbRestartNogoods=109
28.92 mapSize=46101 nbInferences=25857 nbTooLargeKeys=0
28.92 => wckTime=28.106 cpuTime=28.0 mem=39M445
42.15
42.15 search
42.15 run=20 nbConstraintChecks=693444943 nbPropagations=8615121 nbRevisions=110826955 nbUselessRevisions=100439129
42.15 nbAssignments=176676 nbFailedAssignments=35352 nbBacktracks=99754 nbVisitedNodes=281028 nbRestartNogoods=115
42.15 mapSize=68959 nbInferences=41135 nbTooLargeKeys=0
42.15 => wckTime=41.335 cpuTime=41.1 mem=23M473
65.00
65.00 search
65.00 run=21 nbConstraintChecks=1072023090 nbPropagations=12656824 nbRevisions=163745229 nbUselessRevisions=148555621
65.00 nbAssignments=271230 nbFailedAssignments=52368 nbBacktracks=149634 nbVisitedNodes=433077 nbRestartNogoods=123
65.00 mapSize=105363 nbInferences=68762 nbTooLargeKeys=0
65.00 => wckTime=64.188 cpuTime=63.94 mem=43M421
96.64
96.64 search
96.64 run=22 nbConstraintChecks=1608657046 nbPropagations=18818204 nbRevisions=243023192 nbUselessRevisions=220613835
96.64 nbAssignments=406249 nbFailedAssignments=66722 nbBacktracks=224457 nbVisitedNodes=638855 nbRestartNogoods=136
96.64 mapSize=152504 nbInferences=114588 nbTooLargeKeys=0
96.64 => wckTime=95.823 cpuTime=95.36 mem=48M383
137.73
137.73 search
137.73 run=23 nbConstraintChecks=2294120993 nbPropagations=27754371 nbRevisions=356356796 nbUselessRevisions=323594543
137.73 nbAssignments=598269 nbFailedAssignments=89250 nbBacktracks=336684 nbVisitedNodes=928890 nbRestartNogoods=140
137.73 mapSize=224581 nbInferences=171826 nbTooLargeKeys=0
137.73 => wckTime=136.915 cpuTime=136.42 mem=92M203
199.01
199.02 search
199.02 run=24 nbConstraintChecks=3306607975 nbPropagations=39694857 nbRevisions=518668484 nbUselessRevisions=472369247
199.02 nbAssignments=925291 nbFailedAssignments=132374 nbBacktracks=505025 nbVisitedNodes=1448485 nbRestartNogoods=156
199.02 mapSize=341962 nbInferences=287358 nbTooLargeKeys=0
199.02 => wckTime=198.201 cpuTime=197.33 mem=109M232
313.06
313.06 search
313.06 run=25 nbConstraintChecks=5262437870 nbPropagations=59601594 nbRevisions=777184896 nbUselessRevisions=708114464
313.06 nbAssignments=1366069 nbFailedAssignments=195533 nbBacktracks=757536 nbVisitedNodes=2126687
313.06 nbRestartNogoods=174 mapSize=500718 nbInferences=412446 nbTooLargeKeys=0
313.06 => wckTime=312.246 cpuTime=310.91 mem=160M184
516.20
516.20 search
516.20 run=26 nbConstraintChecks=8729261783 nbPropagations=91011469 nbRevisions=1202208287
516.20 nbUselessRevisions=1097276372 nbAssignments=2186834 nbFailedAssignments=313039 nbBacktracks=1136306
516.20 nbVisitedNodes=3481467 nbRestartNogoods=189 mapSize=824871 nbInferences=736911 nbTooLargeKeys=0
516.20 => wckTime=515.383 cpuTime=513.11 mem=250M488
925.49
925.49 search
925.49 run=27 nbConstraintChecks=15958487311 nbPropagations=152661319 nbRevisions=1980386052
925.49 nbUselessRevisions=1803427004 nbAssignments=3350161 nbFailedAssignments=536135 nbBacktracks=1704459
925.49 nbVisitedNodes=5391851 nbRestartNogoods=199 mapSize=1264225 nbInferences=1108970 nbTooLargeKeys=0
925.49 => wckTime=924.679 cpuTime=921.1 mem=382M53
1351.73
1351.73 INFO : Stopping hyperNogood (mapSize=1893530, nbTooLargekeys=0, mem=600M411)
1369.34
1369.34 search
1369.34 run=28 nbConstraintChecks=23482096612 nbPropagations=237448796 nbRevisions=3121298130
1369.34 nbUselessRevisions=2847543816 nbAssignments=5214557 nbFailedAssignments=787702 nbBacktracks=2556685
1369.34 nbVisitedNodes=8466595 nbRestartNogoods=203
1369.34 => wckTime=1368.527 cpuTime=1362.99 mem=600M411
1641.73
1641.73 search
1641.73 run=29 nbConstraintChecks=28164378458 nbPropagations=337580407 nbRevisions=4496502960
1641.73 nbUselessRevisions=4106524610 nbAssignments=6986920 nbFailedAssignments=1281705 nbBacktracks=3835026
1641.73 nbVisitedNodes=11167532 nbRestartNogoods=226
1641.73 => wckTime=1640.912 cpuTime=1635.13 mem=600M411
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-238833-1168083629 -o ROOT/results/node55/solver-238833-1168083629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238833-1168083629/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.08 1.85 1.77 4/80 14369
/proc/meminfo: memFree=663184/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=172 CPUtime=0
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156761173 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 0 0 0
/proc/14368/statm: 43 24 18 14 0 3 0
[startup+0.107401 s]
/proc/loadavg: 2.08 1.85 1.77 4/80 14369
/proc/meminfo: memFree=663184/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=912760 CPUtime=0.06
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 2780 0 1 0 4 2 0 0 22 0 8 0 156761173 934666240 2526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228190 2526 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912760
[startup+0.51544 s]
/proc/loadavg: 2.08 1.85 1.77 4/80 14369
/proc/meminfo: memFree=663184/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915328 CPUtime=0.47
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 6400 0 1 0 41 6 0 0 25 0 8 0 156761173 937295872 6139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228832 6140 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33652 s]
/proc/loadavg: 2.16 1.87 1.77 3/87 14376
/proc/meminfo: memFree=639192/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1.29
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 8744 0 1 0 121 8 0 0 25 0 8 0 156761173 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 8482 2513 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.03
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 299 0 0 0 3 0 0 0 16 0 8 0 156761178 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156761179 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.21
/proc/14368/task/14374/stat : 14374 (java) R 14366 14368 13111 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 156761182 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915552
[startup+2.97368 s]
/proc/loadavg: 2.16 1.87 1.77 3/87 14376
/proc/meminfo: memFree=638296/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=2.91
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 9028 0 1 0 283 8 0 0 25 0 8 0 156761173 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 8764 2513 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.03
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 299 0 0 0 3 0 0 0 17 0 8 0 156761178 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156761179 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.23
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156761182 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 8764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915552
[startup+6.17599 s]
/proc/loadavg: 2.16 1.87 1.77 3/87 14376
/proc/meminfo: memFree=635424/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=6.12
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 9706 0 1 0 603 9 0 0 25 0 8 0 156761173 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 9441 2513 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.03
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 299 0 0 0 3 0 0 0 16 0 8 0 156761178 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156761179 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 9441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915552
[startup+12.6427 s]
/proc/loadavg: 2.13 1.88 1.77 3/87 14376
/proc/meminfo: memFree=630688/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=12.58
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 10884 0 1 0 1249 9 0 0 25 0 8 0 156761173 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 10619 2513 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.03
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 299 0 0 0 3 0 0 0 16 0 8 0 156761178 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156761179 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 10619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915552
[startup+25.5039 s]
/proc/loadavg: 2.11 1.88 1.78 3/87 14376
/proc/meminfo: memFree=619232/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=25.44
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 13906 0 1 0 2532 12 0 0 25 0 8 0 156761173 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 13641 2513 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.03
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 299 0 0 0 3 0 0 0 16 0 8 0 156761178 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156761179 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 13641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915552
[startup+51.1103 s]
/proc/loadavg: 2.07 1.89 1.78 3/87 14376
/proc/meminfo: memFree=586016/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=51.01
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 22032 0 1 0 5086 15 0 0 25 0 8 0 156761173 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 21766 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.13
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 5032 0 0 0 12 1 0 0 16 0 8 0 156761178 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 21766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915552
[startup+102.316 s]
/proc/loadavg: 2.03 1.90 1.79 3/87 14376
/proc/meminfo: memFree=557600/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=102.16
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 29133 0 1 0 10200 16 0 0 25 0 8 0 156761173 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 28866 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=0.29
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 12131 0 0 0 27 2 0 0 16 0 8 0 156761178 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 28866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915552
[startup+162.367 s]
/proc/loadavg: 2.01 1.92 1.80 3/87 14376
/proc/meminfo: memFree=534624/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=162.17
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 34854 0 1 0 16198 19 0 0 25 0 8 0 156761173 937525248 34586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 915552
[startup+1483.49 s]
/proc/loadavg: 2.01 2.03 1.94 3/87 14574
/proc/meminfo: memFree=52704/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1482.01
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154977 0 1 0 148128 73 0 0 25 0 8 0 156761173 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154688 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 915552
[startup+1543.54 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 14574
/proc/meminfo: memFree=52768/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1542.01
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154977 0 1 0 154128 73 0 0 25 0 8 0 156761173 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852391 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154688 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 915552
[startup+1603.58 s]
/proc/loadavg: 1.61 1.92 1.90 2/75 14585
/proc/meminfo: memFree=663360/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1602
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154977 0 1 0 160127 73 0 0 25 0 8 0 156761173 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154688 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 915552
[startup+1663.6 s]
/proc/loadavg: 1.37 1.78 1.86 2/75 14632
/proc/meminfo: memFree=661184/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1661.99
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154977 0 1 0 166125 74 0 0 25 0 8 0 156761173 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154688 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 915552
[startup+1723.63 s]
/proc/loadavg: 1.17 1.65 1.80 2/75 14641
/proc/meminfo: memFree=663040/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1721.98
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154978 0 1 0 172124 74 0 0 25 0 8 0 156761173 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154689 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 915552
[startup+1783.65 s]
/proc/loadavg: 1.06 1.53 1.75 2/75 14696
/proc/meminfo: memFree=661120/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1781.97
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154978 0 1 0 178122 75 0 0 25 0 8 0 156761173 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154689 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 915552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.75 s]
/proc/loadavg: 1.04 1.49 1.73 2/75 14696
/proc/meminfo: memFree=661184/2055920 swapFree=4192812/4192956
[pid=14368] ppid=14366 vsize=915552 CPUtime=1800.05
/proc/14368/stat : 14368 (java) R 14366 14368 13111 0 -1 0 154978 0 1 0 179930 75 0 0 25 0 8 0 156761173 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14368/statm: 228888 154689 2517 14 0 215358 0
[pid=14368/tid=14370] ppid=14366 vsize=915552 CPUtime=4.17
/proc/14368/task/14370/stat : 14370 (java) S 14366 14368 13111 0 -1 64 137953 0 0 0 370 47 0 0 16 0 8 0 156761178 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14371/stat : 14371 (java) S 14366 14368 13111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14372/stat : 14372 (java) S 14366 14368 13111 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156761179 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14373/stat : 14373 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=915552 CPUtime=0.24
/proc/14368/task/14374/stat : 14374 (java) S 14366 14368 13111 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14375/stat : 14375 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=915552 CPUtime=0
/proc/14368/task/14376/stat : 14376 (java) S 14366 14368 13111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156761182 937525248 154689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.9
CPU time (s): 1800.19
CPU user time (s): 1799.35
CPU system time (s): 0.838872
CPU usage (%): 99.9053
Max. virtual memory (cumulated for all children) (KiB): 915552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.838872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154996
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= 37865
involuntary context switches= 44287
runsolver used 2.41363 s user time and 5.38318 s system time
The end
Begin job on node55 on Sat Jan 6 11:40:29 UTC 2007
IDJOB= 238833
IDBENCH= 7023
FILE ID= node55/238833-1168083629
PBS_JOBID= 3476148
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-e-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238833-1168083629/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-238833-1168083629 -o ROOT/results/node55/solver-238833-1168083629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238833-1168083629/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ed6fd27d2b35eb13d084f6d41d5d9c0
RANDOM SEED= 913968200
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.218
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 : 5931.00
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.218
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: 663600 kB
Buffers: 56836 kB
Cached: 624660 kB
SwapCached: 0 kB
Active: 724544 kB
Inactive: 583200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 663600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 646468 kB
Slab: 68812 kB
Committed_AS: 3885104 kB
PageTables: 2956 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= 66542 MiB
End job on node55 on Sat Jan 6 12:10:39 UTC 2007