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/208627-1168074777/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.093 cpuTime=0.07 mem=6M951
0.41
0.41 relations being loaded...
0.66
0.66 constraints being loaded...
0.81 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.81 => wckTime=0.498 cpuTime=0.45 mem=42M403
0.89
0.89 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.733 cpuTime=0.57 mem=21M310
1.05
1.05 preprocessing
1.05 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.05 detectedInconsistency=no
1.05 => wckTime=0.0030 cpuTime=0.0 mem=21M310
1.16
1.17 search
1.17 run=0 nbConstraintChecks=29334 nbValidityChecks=50606 nbPropagations=372 nbRevisions=3747
1.17 nbUselessRevisions=2922 nbAssignments=28 nbFailedAssignments=12 nbBacktracks=12 nbVisitedNodes=50
1.17 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.114 cpuTime=0.06 mem=21M310
1.23
1.23 search
1.23 run=1 nbConstraintChecks=73658 nbValidityChecks=131736 nbPropagations=1296 nbRevisions=13462
1.23 nbUselessRevisions=10341 nbAssignments=78 nbFailedAssignments=42 nbBacktracks=27 nbVisitedNodes=142
1.23 nbRestartNogoods=7 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.18 cpuTime=0.12 mem=21M310
1.32
1.32 search
1.32 run=2 nbConstraintChecks=129180 nbValidityChecks=243681 nbPropagations=2984 nbRevisions=32079
1.32 nbUselessRevisions=24700 nbAssignments=148 nbFailedAssignments=85 nbBacktracks=49 nbVisitedNodes=273
1.32 nbRestartNogoods=19 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.267 cpuTime=0.19 mem=21M310
1.44
1.44 search
1.44 run=3 nbConstraintChecks=222746 nbValidityChecks=425822 nbPropagations=5919 nbRevisions=64254
1.44 nbUselessRevisions=49502 nbAssignments=249 nbFailedAssignments=147 nbBacktracks=82 nbVisitedNodes=462
1.44 nbRestartNogoods=25 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.385 cpuTime=0.3 mem=21M310
1.59
1.59 search
1.59 run=4 nbConstraintChecks=337851 nbValidityChecks=663400 nbPropagations=10613 nbRevisions=115491
1.59 nbUselessRevisions=89072 nbAssignments=393 nbFailedAssignments=236 nbBacktracks=132 nbVisitedNodes=732
1.59 nbRestartNogoods=33 mapSize=122 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.534 cpuTime=0.45 mem=21M310
1.83
1.83 search
1.83 run=5 nbConstraintChecks=547044 nbValidityChecks=1079898 nbPropagations=18199 nbRevisions=198372
1.83 nbUselessRevisions=153034 nbAssignments=610 nbFailedAssignments=374 nbBacktracks=207 nbVisitedNodes=1148
1.83 nbRestartNogoods=39 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.784 cpuTime=0.69 mem=21M310
2.11
2.11 search
2.11 run=6 nbConstraintChecks=772297 nbValidityChecks=1522231 nbPropagations=29254 nbRevisions=317895
2.11 nbUselessRevisions=245206 nbAssignments=871 nbFailedAssignments=517 nbBacktracks=320 nbVisitedNodes=1625
2.11 nbRestartNogoods=48 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=1.057 cpuTime=0.96 mem=21M310
2.59
2.59 search
2.59 run=7 nbConstraintChecks=1153191 nbValidityChecks=2294733 nbPropagations=45857 nbRevisions=499000
2.59 nbUselessRevisions=384947 nbAssignments=1296 nbFailedAssignments=767 nbBacktracks=490 nbVisitedNodes=2427
2.59 nbRestartNogoods=55 mapSize=458 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=1.536 cpuTime=1.43 mem=21M310
3.20
3.20 search
3.20 run=8 nbConstraintChecks=1669264 nbValidityChecks=3301820 nbPropagations=69709 nbRevisions=758396
3.20 nbUselessRevisions=585067 nbAssignments=1887 nbFailedAssignments=1097 nbBacktracks=746 nbVisitedNodes=3521
3.20 nbRestartNogoods=62 mapSize=690 nbInferences=0 nbTooLargeKeys=0
3.20 => wckTime=2.149 cpuTime=2.02 mem=21M310
4.13
4.13 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=22M279)
4.22
4.22 search
4.22 run=9 nbConstraintChecks=2529918 nbValidityChecks=5031341 nbPropagations=105944 nbRevisions=1154443
4.22 nbUselessRevisions=890914 nbAssignments=2867 nbFailedAssignments=1688 nbBacktracks=1130 nbVisitedNodes=5375
4.22 nbRestartNogoods=73
4.22 => wckTime=3.169 cpuTime=3.02 mem=22M279
5.81
5.81 search
5.81 run=10 nbConstraintChecks=3887779 nbValidityChecks=7696359 nbPropagations=160743 nbRevisions=1746625
5.81 nbUselessRevisions=1347106 nbAssignments=4537 nbFailedAssignments=2777 nbBacktracks=1706 nbVisitedNodes=8539
5.81 nbRestartNogoods=89
5.81 => wckTime=4.756 cpuTime=4.56 mem=22M279
7.58
7.58 search
7.58 run=11 nbConstraintChecks=5401586 nbValidityChecks=10808449 nbPropagations=240429 nbRevisions=2599182
7.58 nbUselessRevisions=2003742 nbAssignments=6490 nbFailedAssignments=3862 nbBacktracks=2570 nbVisitedNodes=12156
7.58 nbRestartNogoods=98
7.58 => wckTime=6.526 cpuTime=6.32 mem=22M279
11.05
11.05 search
11.05 run=12 nbConstraintChecks=8420679 nbValidityChecks=16970604 nbPropagations=366808 nbRevisions=3949001
11.05 nbUselessRevisions=3042785 nbAssignments=10181 nbFailedAssignments=6252 nbBacktracks=3867 nbVisitedNodes=19182
11.05 nbRestartNogoods=111
11.06 => wckTime=10.005 cpuTime=9.77 mem=22M279
15.60
15.60 search
15.61 run=13 nbConstraintChecks=12447175 nbValidityChecks=24994780 nbPropagations=555477 nbRevisions=5963515
15.61 nbUselessRevisions=4592098 nbAssignments=14823 nbFailedAssignments=8944 nbBacktracks=5813 nbVisitedNodes=27905
15.61 nbRestartNogoods=141
15.61 => wckTime=14.556 cpuTime=14.29 mem=22M279
23.04
23.04 search
23.04 run=14 nbConstraintChecks=18994121 nbValidityChecks=37950471 nbPropagations=841094 nbRevisions=9023545
23.04 nbUselessRevisions=6941628 nbAssignments=22103 nbFailedAssignments=13301 nbBacktracks=8732 nbVisitedNodes=41635
23.04 nbRestartNogoods=151
23.04 => wckTime=21.993 cpuTime=21.67 mem=22M279
34.87
34.87 search
34.87 run=15 nbConstraintChecks=29805155 nbValidityChecks=59334404 nbPropagations=1278287 nbRevisions=13771629
34.87 nbUselessRevisions=10599874 nbAssignments=34285 nbFailedAssignments=21101 nbBacktracks=13111
34.87 nbVisitedNodes=64969 nbRestartNogoods=167
34.87 => wckTime=33.818 cpuTime=33.41 mem=22M279
50.87
50.87 search
50.87 run=16 nbConstraintChecks=43718904 nbValidityChecks=88126096 nbPropagations=1920314 nbRevisions=20776338
50.87 nbUselessRevisions=16002040 nbAssignments=52178 nbFailedAssignments=32421 nbBacktracks=19679
50.87 nbVisitedNodes=98935 nbRestartNogoods=175
50.87 => wckTime=49.818 cpuTime=49.28 mem=22M279
76.23
76.23 search
76.23 run=17 nbConstraintChecks=66422613 nbValidityChecks=133080988 nbPropagations=2895100 nbRevisions=31380204
76.23 nbUselessRevisions=24165919 nbAssignments=76246 nbFailedAssignments=46631 nbBacktracks=29532
76.23 nbVisitedNodes=144416 nbRestartNogoods=193
76.23 => wckTime=75.182 cpuTime=74.54 mem=22M279
108.82
108.82 search
108.82 run=18 nbConstraintChecks=95178188 nbValidityChecks=191541978 nbPropagations=4310445 nbRevisions=46793932
108.82 nbUselessRevisions=36061691 nbAssignments=111780 nbFailedAssignments=67382 nbBacktracks=44310
108.82 nbVisitedNodes=210900 nbRestartNogoods=223
108.82 => wckTime=107.77 cpuTime=106.98 mem=22M279
161.44
161.44 search
161.44 run=19 nbConstraintChecks=142145906 nbValidityChecks=284955223 nbPropagations=6418704 nbRevisions=69747042
161.44 nbUselessRevisions=53767700 nbAssignments=165044 nbFailedAssignments=98474 nbBacktracks=66478
161.44 nbVisitedNodes=310870 nbRestartNogoods=246
161.44 => wckTime=160.389 cpuTime=159.36 mem=22M279
270.40
270.40 search
270.40 run=20 nbConstraintChecks=238909977 nbValidityChecks=477735044 nbPropagations=9827948 nbRevisions=107256448
270.40 nbUselessRevisions=82765265 nbAssignments=262595 nbFailedAssignments=162768 nbBacktracks=99731
270.40 nbVisitedNodes=499265 nbRestartNogoods=273
270.40 => wckTime=269.354 cpuTime=268.07 mem=22M279
399.96
399.96 search
399.96 run=21 nbConstraintChecks=347858693 nbValidityChecks=700840863 nbPropagations=14813777 nbRevisions=162078831
399.96 nbUselessRevisions=125149417 nbAssignments=396283 nbFailedAssignments=246572 nbBacktracks=149609
399.96 nbVisitedNodes=753029 nbRestartNogoods=287
399.96 => wckTime=398.911 cpuTime=397.09 mem=22M279
600.99
600.99 search
600.99 run=22 nbConstraintChecks=517639805 nbValidityChecks=1040055373 nbPropagations=22269183 nbRevisions=243775523
600.99 nbUselessRevisions=188201537 nbAssignments=577702 nbFailedAssignments=353167 nbBacktracks=224428
600.99 nbVisitedNodes=1095345 nbRestartNogoods=309
600.99 => wckTime=599.942 cpuTime=597.17 mem=22M279
702.73
702.73 search
702.73 run=23 nbConstraintChecks=603996874 nbValidityChecks=1211254120 nbPropagations=30964199 nbRevisions=338973039
702.73 nbUselessRevisions=261626715 nbAssignments=668453 nbFailedAssignments=407747 nbBacktracks=260579
702.73 nbVisitedNodes=1267051 nbRestartNogoods=324
702.73 => wckTime=701.682 cpuTime=698.42 mem=22M279
702.73
702.73 global
702.73 nbConstraintChecks=603996874 nbValidityChecks=1211254120 nbPropagations=30964219 nbRevisions=338973039
702.73 nbUselessRevisions=261626715 nbRestartNogoods=324 solvingWckTime=701.683 solvingCpuTime=698.42 expiredTime=no
702.73 totalExploration=no nbFoundSolutions=1 globalCpuTime=699.05
702.73 => wckTime=702.419 cpuTime=699.0 mem=22M279
702.74
702.74 s SATISFIABLE
702.74 v 5 3 10 18 10 6 2 13 19 0 3 6 1 11 9 14 8 11 8 0
702.74 d NODES 668453
702.74 d CHECKS 603996874
702.74
702.74 totalWckTime=702.496 totalCpuTime=699.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-208627-1168074777 -o ROOT/results/node43/solver-208627-1168074777 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208627-1168074777/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.77 1.95 1.90 4/70 7240
/proc/meminfo: memFree=1657368/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=1592 CPUtime=0
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 130 0 0 0 0 0 0 0 20 0 1 0 155876867 1630208 103 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160658464 0 0 4096 0 0 0 0 17 1 0 0
/proc/7239/statm: 446 108 86 14 0 91 0
[startup+0.107241 s]
/proc/loadavg: 1.77 1.95 1.90 4/70 7240
/proc/meminfo: memFree=1657368/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=912908 CPUtime=0.08
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 2814 0 1 0 7 1 0 0 19 0 8 0 155876867 934817792 2560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 228227 2563 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908
[startup+0.515312 s]
/proc/loadavg: 1.77 1.95 1.90 4/70 7240
/proc/meminfo: memFree=1657368/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=915328 CPUtime=0.48
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 7826 0 1 0 43 5 0 0 21 0 8 0 155876867 937295872 7565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 228832 7565 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33645 s]
/proc/loadavg: 1.77 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539792/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=1.28
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17079 0 1 0 119 9 0 0 25 0 8 0 155876867 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16816 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.17
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 359 0 0 0 17 0 0 0 15 0 8 0 155876875 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 916484
[startup+2.98772 s]
/proc/loadavg: 1.77 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539536/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=2.93
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17096 0 1 0 283 10 0 0 25 0 8 0 155876867 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16832 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.21
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 155876875 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16832 18446744073709551615 134512640 134570532 4294956480 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) 916484
[startup+6.27427 s]
/proc/loadavg: 1.78 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539152/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=6.16
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17107 0 1 0 606 10 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 916484
[startup+12.7623 s]
/proc/loadavg: 1.80 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539160/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=12.6
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17107 0 1 0 1250 10 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 916484
[startup+25.6185 s]
/proc/loadavg: 1.84 1.95 1.91 3/87 7257
/proc/meminfo: memFree=1539352/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=25.36
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 2526 10 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 916484
[startup+51.2327 s]
/proc/loadavg: 1.90 1.95 1.91 3/87 7313
/proc/meminfo: memFree=1541400/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=50.78
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 5067 11 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 916484
[startup+102.46 s]
/proc/loadavg: 1.95 1.96 1.91 3/87 7313
/proc/meminfo: memFree=1541464/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=101.77
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 10166 11 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 916484
[startup+162.535 s]
/proc/loadavg: 1.98 1.97 1.91 3/87 7313
/proc/meminfo: memFree=1541528/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=161.58
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 16147 11 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.36
Current children cumulated vsize (KiB) 916484
[startup+342.578 s]
/proc/loadavg: 1.72 1.78 1.83 3/87 7483
/proc/meminfo: memFree=1559832/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=341.11
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 34096 15 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 916484
[startup+402.595 s]
/proc/loadavg: 1.95 1.83 1.84 3/87 7483
/proc/meminfo: memFree=1559832/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=400.84
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 40069 15 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.84
Current children cumulated vsize (KiB) 916484
[startup+462.613 s]
/proc/loadavg: 2.02 1.87 1.86 3/87 7483
/proc/meminfo: memFree=1559768/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=460.58
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 46042 16 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.58
Current children cumulated vsize (KiB) 916484
[startup+522.628 s]
/proc/loadavg: 2.00 1.89 1.86 3/87 7483
/proc/meminfo: memFree=1559704/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=520.31
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 52015 16 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.31
Current children cumulated vsize (KiB) 916484
[startup+582.643 s]
/proc/loadavg: 2.00 1.91 1.87 3/87 7483
/proc/meminfo: memFree=1559768/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=580.04
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 57988 16 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.04
Current children cumulated vsize (KiB) 916484
[startup+642.653 s]
/proc/loadavg: 2.05 1.94 1.88 3/87 7483
/proc/meminfo: memFree=1559704/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=639.77
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 63961 16 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (KiB) 916484
[startup+702.662 s]
/proc/loadavg: 2.02 1.95 1.88 3/87 7483
/proc/meminfo: memFree=1559640/2055920 swapFree=4192812/4192956
[pid=7239] ppid=7236 vsize=916484 CPUtime=699.49
/proc/7239/stat : 7239 (java) R 7236 7239 7133 0 -1 0 17108 0 1 0 69933 16 0 0 25 0 8 0 155876867 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7239/statm: 229121 16841 2517 14 0 215591 0
[pid=7239/tid=7244] ppid=7236 vsize=916484 CPUtime=0.06
/proc/7239/task/7244/stat : 7244 (java) S 7236 7239 7133 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7245] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7245/stat : 7245 (java) S 7236 7239 7133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7246] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7246/stat : 7246 (java) S 7236 7239 7133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876871 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7250] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7250/stat : 7250 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7251] ppid=7236 vsize=916484 CPUtime=0.24
/proc/7239/task/7251/stat : 7251 (java) S 7236 7239 7133 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7239/tid=7252] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7252/stat : 7252 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7239/tid=7253] ppid=7236 vsize=916484 CPUtime=0
/proc/7239/task/7253/stat : 7253 (java) S 7236 7239 7133 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.49
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 702.774
CPU time (s): 699.59
CPU user time (s): 699.412
CPU system time (s): 0.177972
CPU usage (%): 99.5469
Max. virtual memory (cumulated for all children) (KiB): 916484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 699.412
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17115
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= 15326
involuntary context switches= 19827
runsolver used 0.689895 s user time and 1.81872 s system time
The end
Begin job on node43 on Sat Jan 6 09:12:57 UTC 2007
IDJOB= 208627
IDBENCH= 4417
FILE ID= node43/208627-1168074777
PBS_JOBID= 3476027
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208627-1168074777/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-208627-1168074777 -o ROOT/results/node43/solver-208627-1168074777 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208627-1168074777/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b91e7b4f54ac2883b29004e634721614
RANDOM SEED= 577227252
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.278
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.278
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: 1658048 kB
Buffers: 25920 kB
Cached: 284704 kB
SwapCached: 0 kB
Active: 70920 kB
Inactive: 259680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6088 kB
Writeback: 0 kB
Mapped: 30168 kB
Slab: 52968 kB
Committed_AS: 2878132 kB
PageTables: 1592 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= 66480 MiB
End job on node43 on Sat Jan 6 09:24:41 UTC 2007