0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/203596-1168073130/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=59 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.40 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.59
0.59 constraints being loaded...
0.75 nbConstraints=539 nbRelationTypes=539 nbExtensionStructures=539 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=539 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=791 maxDegree=24
0.75 maxArity=2
0.76 => wckTime=0.455 cpuTime=0.36 mem=21M596
0.80
0.80 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.656 cpuTime=0.49 mem=15M837
0.97
0.97 preprocessing
0.97 nbConstraintChecks=0 nbPropagations=59 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97 detectedInconsistency=no
0.97 => wckTime=0.011 cpuTime=0.0 mem=15M837
1.02
1.02 search
1.02 run=0 nbConstraintChecks=54081 nbPropagations=569 nbRevisions=6598 nbUselessRevisions=5476 nbAssignments=27
1.02 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.058 cpuTime=0.03 mem=15M837
1.05
1.05 search
1.05 run=1 nbConstraintChecks=141807 nbPropagations=2045 nbRevisions=25730 nbUselessRevisions=21354
1.05 nbAssignments=66 nbFailedAssignments=19 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=1 mapSize=24
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.092 cpuTime=0.06 mem=15M837
1.08
1.08 search
1.08 run=2 nbConstraintChecks=272072 nbPropagations=4752 nbRevisions=62500 nbUselessRevisions=51709
1.08 nbAssignments=118 nbFailedAssignments=37 nbBacktracks=50 nbVisitedNodes=183 nbRestartNogoods=5 mapSize=43
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.124 cpuTime=0.09 mem=15M837
1.12
1.12 search
1.12 run=3 nbConstraintChecks=416192 nbPropagations=8912 nbRevisions=119785 nbUselessRevisions=98578
1.12 nbAssignments=185 nbFailedAssignments=58 nbBacktracks=87 nbVisitedNodes=291 nbRestartNogoods=8 mapSize=70
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.156 cpuTime=0.12 mem=15M837
1.15
1.16 search
1.16 run=4 nbConstraintChecks=610224 nbPropagations=15076 nbRevisions=206273 nbUselessRevisions=169453
1.16 nbAssignments=274 nbFailedAssignments=87 nbBacktracks=138 nbVisitedNodes=436 nbRestartNogoods=11 mapSize=112
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.195 cpuTime=0.15 mem=15M837
1.22
1.22 search
1.22 run=5 nbConstraintChecks=916476 nbPropagations=24289 nbRevisions=339375 nbUselessRevisions=279120
1.22 nbAssignments=416 nbFailedAssignments=137 nbBacktracks=213 nbVisitedNodes=666 nbRestartNogoods=14 mapSize=175
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.259 cpuTime=0.22 mem=15M837
1.29
1.29 search
1.29 run=6 nbConstraintChecks=1271301 nbPropagations=37370 nbRevisions=530575 nbUselessRevisions=436757
1.29 nbAssignments=602 nbFailedAssignments=196 nbBacktracks=327 nbVisitedNodes=970 nbRestartNogoods=20 mapSize=268
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.334 cpuTime=0.29 mem=15M837
1.41
1.41 search
1.41 run=7 nbConstraintChecks=1831534 nbPropagations=56443 nbRevisions=811327 nbUselessRevisions=667408
1.41 nbAssignments=876 nbFailedAssignments=287 nbBacktracks=499 nbVisitedNodes=1419 nbRestartNogoods=26 mapSize=403
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.448 cpuTime=0.4 mem=15M837
1.58
1.58 search
1.58 run=8 nbConstraintChecks=2678057 nbPropagations=84313 nbRevisions=1225459 nbUselessRevisions=1006861
1.58 nbAssignments=1284 nbFailedAssignments=429 nbBacktracks=755 nbVisitedNodes=2100 nbRestartNogoods=29
1.58 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.62 cpuTime=0.57 mem=15M837
1.87
1.87 search
1.87 run=9 nbConstraintChecks=4191027 nbPropagations=126990 nbRevisions=1870120 nbUselessRevisions=1534115
1.87 nbAssignments=1937 nbFailedAssignments=686 nbBacktracks=1140 nbVisitedNodes=3229 nbRestartNogoods=34
1.87 mapSize=932 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.912 cpuTime=0.85 mem=15M837
1.94
1.94 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M837)
2.22
2.22 search
2.22 run=10 nbConstraintChecks=6066748 nbPropagations=190241 nbRevisions=2834665 nbUselessRevisions=2323644
2.22 nbAssignments=2893 nbFailedAssignments=1056 nbBacktracks=1716 nbVisitedNodes=4855 nbRestartNogoods=38
2.22 => wckTime=1.259 cpuTime=1.18 mem=15M837
2.76
2.76 search
2.76 run=11 nbConstraintChecks=9440151 nbPropagations=286841 nbRevisions=4315154 nbUselessRevisions=3531576
2.76 nbAssignments=4355 nbFailedAssignments=1642 nbBacktracks=2581 nbVisitedNodes=7407 nbRestartNogoods=44
2.76 => wckTime=1.804 cpuTime=1.72 mem=15M837
3.53
3.53 search
3.53 run=12 nbConstraintChecks=13816799 nbPropagations=430517 nbRevisions=6534247 nbUselessRevisions=5343393
3.53 nbAssignments=6554 nbFailedAssignments=2532 nbBacktracks=3879 nbVisitedNodes=11194 nbRestartNogoods=51
3.53 => wckTime=2.571 cpuTime=2.49 mem=15M837
4.59
4.59 search
4.59 run=13 nbConstraintChecks=20104674 nbPropagations=639252 nbRevisions=9753191 nbUselessRevisions=7967244
4.59 nbAssignments=9543 nbFailedAssignments=3564 nbBacktracks=5827 nbVisitedNodes=16146 nbRestartNogoods=64
4.59 => wckTime=3.629 cpuTime=3.54 mem=15M837
6.22
6.22 search
6.22 run=14 nbConstraintChecks=29265136 nbPropagations=948401 nbRevisions=14558986 nbUselessRevisions=11896524
6.22 nbAssignments=14188 nbFailedAssignments=5277 nbBacktracks=8746 nbVisitedNodes=24045 nbRestartNogoods=68
6.22 => wckTime=5.257 cpuTime=5.18 mem=16M812
8.65
8.65 search
8.65 run=15 nbConstraintChecks=43502967 nbPropagations=1407913 nbRevisions=21673076 nbUselessRevisions=17704603
8.65 nbAssignments=21044 nbFailedAssignments=7744 nbBacktracks=13127 nbVisitedNodes=35643 nbRestartNogoods=78
8.65 => wckTime=7.692 cpuTime=7.61 mem=16M812
12.38
12.38 search
12.38 run=16 nbConstraintChecks=64908142 nbPropagations=2102478 nbRevisions=32456091 nbUselessRevisions=26517047
12.38 nbAssignments=31834 nbFailedAssignments=11952 nbBacktracks=19697 nbVisitedNodes=54179 nbRestartNogoods=81
12.38 => wckTime=11.417 cpuTime=11.33 mem=16M812
18.22
18.22 search
18.22 run=17 nbConstraintChecks=99885750 nbPropagations=3152543 nbRevisions=48813935 nbUselessRevisions=39871925
18.22 nbAssignments=47781 nbFailedAssignments=18034 nbBacktracks=29550 nbVisitedNodes=81409 nbRestartNogoods=90
18.22 => wckTime=17.263 cpuTime=17.17 mem=16M812
26.94
26.94 search
26.94 run=18 nbConstraintChecks=150705195 nbPropagations=4738149 nbRevisions=73580328 nbUselessRevisions=60104293
26.94 nbAssignments=71485 nbFailedAssignments=26946 nbBacktracks=44330 nbVisitedNodes=122142 nbRestartNogoods=99
26.94 => wckTime=25.976 cpuTime=25.88 mem=16M812
40.28
40.28 search
40.28 run=19 nbConstraintChecks=231135345 nbPropagations=7143683 nbRevisions=111173599 nbUselessRevisions=90801095
40.28 nbAssignments=107439 nbFailedAssignments=40717 nbBacktracks=66502 nbVisitedNodes=183677 nbRestartNogoods=111
40.28 => wckTime=39.318 cpuTime=39.2 mem=16M812
59.61
59.61 search
59.61 run=20 nbConstraintChecks=341707743 nbPropagations=10771987 nbRevisions=168214135 nbUselessRevisions=137503747
59.61 nbAssignments=162189 nbFailedAssignments=62203 nbBacktracks=99755 nbVisitedNodes=278717 nbRestartNogoods=125
59.61 => wckTime=58.653 cpuTime=58.52 mem=16M812
89.44
89.45 search
89.45 run=21 nbConstraintChecks=522661801 nbPropagations=16241192 nbRevisions=254236024 nbUselessRevisions=207837981
89.45 nbAssignments=243768 nbFailedAssignments=93890 nbBacktracks=149635 nbVisitedNodes=418641 nbRestartNogoods=138
89.45 => wckTime=88.483 cpuTime=88.31 mem=16M812
130.95
130.95 search
130.95 run=22 nbConstraintChecks=762307680 nbPropagations=24331169 nbRevisions=381392520 nbUselessRevisions=311931920
130.95 nbAssignments=364615 nbFailedAssignments=139906 nbBacktracks=224453 nbVisitedNodes=624853 nbRestartNogoods=160
130.95 => wckTime=129.992 cpuTime=129.76 mem=16M812
197.31
197.31 search
197.31 run=23 nbConstraintChecks=1153802645 nbPropagations=36436884 nbRevisions=572102206 nbUselessRevisions=467991960
197.31 nbAssignments=546333 nbFailedAssignments=209382 nbBacktracks=336683 nbVisitedNodes=935710 nbRestartNogoods=178
197.31 => wckTime=196.35 cpuTime=196.03 mem=16M812
295.48
295.48 search
295.48 run=24 nbConstraintChecks=1733910192 nbPropagations=54712514 nbRevisions=860742571 nbUselessRevisions=704370925
295.48 nbAssignments=826769 nbFailedAssignments=321466 nbBacktracks=505027 nbVisitedNodes=1420726 nbRestartNogoods=197
295.48 => wckTime=294.518 cpuTime=294.1 mem=16M812
414.35
414.35 search
414.35 run=25 nbConstraintChecks=2438873030 nbPropagations=80444695 nbRevisions=1266208359
414.35 nbUselessRevisions=1036230104 nbAssignments=1166077 nbFailedAssignments=450209 nbBacktracks=715533
414.35 nbVisitedNodes=2000129 nbRestartNogoods=210
414.35 => wckTime=413.391 cpuTime=412.84 mem=16M812
414.35
414.35 global
414.35 nbConstraintChecks=2438873030 nbPropagations=80444754 nbRevisions=1266208359 nbUselessRevisions=1036230104
414.35 nbRestartNogoods=210 solvingWckTime=413.392 solvingCpuTime=412.84 expiredTime=no totalExploration=no
414.35 nbFoundSolutions=1 globalCpuTime=413.37
414.35 => wckTime=414.053 cpuTime=413.33 mem=16M812
414.35
414.35 s SATISFIABLE
414.35 v 0 17 3 8 21 3 20 18 20 8 25 20 14 21 5 13 8 17 11 9 22 6 17 21 13 14 22 7 24 7 0 16 20 25 23 12 17 19 0 5 11 25 14 22 18 19 12 6 3 23 21 15 24 1 22 19 0 12 2
414.35 d NODES 1166077
414.35 d CHECKS 2438873030
414.35
414.35 totalWckTime=414.131 totalCpuTime=413.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-203596-1168073130 -o ROOT/results/node6/solver-203596-1168073130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203596-1168073130/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.00 2.03 1.95 4/93 7746
/proc/meminfo: memFree=1225840/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=172 CPUtime=0
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155708495 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0
/proc/7745/statm: 43 24 18 14 0 3 0
[startup+0.107627 s]
/proc/loadavg: 2.00 2.03 1.95 4/93 7746
/proc/meminfo: memFree=1225840/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=914988 CPUtime=0.08
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 3059 0 1 0 7 1 0 0 22 0 8 0 155708495 936947712 2805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228747 2806 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515675 s]
/proc/loadavg: 2.00 2.03 1.95 4/93 7746
/proc/meminfo: memFree=1225840/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915328 CPUtime=0.49
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 7390 0 1 0 44 5 0 0 25 0 8 0 155708495 937295872 7129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228832 7129 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33677 s]
/proc/loadavg: 2.00 2.03 1.95 3/100 7753
/proc/meminfo: memFree=1193272/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=1.32
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10850 0 1 0 123 9 0 0 25 0 8 0 155708495 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10588 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.21
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 387 0 0 0 19 2 0 0 15 0 8 0 155708502 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915560
[startup+2.97396 s]
/proc/loadavg: 2.00 2.03 1.95 3/100 7753
/proc/meminfo: memFree=1193144/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=2.95
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10868 0 1 0 286 9 0 0 25 0 8 0 155708495 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10605 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 17 0 8 0 155708499 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 404 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915560
[startup+6.17734 s]
/proc/loadavg: 2.00 2.03 1.95 3/100 7753
/proc/meminfo: memFree=1193016/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=6.15
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10871 0 1 0 606 9 0 0 25 0 8 0 155708495 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10606 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915560
[startup+12.6521 s]
/proc/loadavg: 2.00 2.02 1.95 3/100 7753
/proc/meminfo: memFree=1193016/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=12.62
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10871 0 1 0 1253 9 0 0 25 0 8 0 155708495 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10606 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915560
[startup+25.5366 s]
/proc/loadavg: 2.00 2.02 1.95 3/100 7753
/proc/meminfo: memFree=1193080/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=25.5
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10871 0 1 0 2541 9 0 0 25 0 8 0 155708495 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10606 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915560
[startup+51.1566 s]
/proc/loadavg: 2.00 2.02 1.95 3/100 7753
/proc/meminfo: memFree=1193208/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=51.08
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10871 0 1 0 5099 9 0 0 25 0 8 0 155708495 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10606 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 405 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915560
[startup+102.394 s]
/proc/loadavg: 1.92 2.00 1.95 2/88 7769
/proc/meminfo: memFree=1251288/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=102.26
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 10216 10 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915560
[startup+162.468 s]
/proc/loadavg: 1.71 1.93 1.93 2/88 8057
/proc/meminfo: memFree=1248280/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=162.24
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 16211 13 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 915560
[startup+222.532 s]
/proc/loadavg: 1.55 1.85 1.89 4/100 8327
/proc/meminfo: memFree=1235376/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=222.26
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 22209 17 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 915560
[startup+282.583 s]
/proc/loadavg: 1.35 1.74 1.85 2/88 8505
/proc/meminfo: memFree=1248152/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=282.23
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 28204 19 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 915560
[startup+342.652 s]
/proc/loadavg: 1.51 1.70 1.83 3/100 8641
/proc/meminfo: memFree=891120/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=342.26
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 34199 27 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850028 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 915560
[startup+402.741 s]
/proc/loadavg: 1.62 1.70 1.81 2/88 8705
/proc/meminfo: memFree=1233168/2055924 swapFree=4165672/4192956
[pid=7745] ppid=7743 vsize=915560 CPUtime=402.25
/proc/7745/stat : 7745 (java) R 7743 7745 7358 0 -1 0 10874 0 1 0 40195 30 0 0 25 0 8 0 155708495 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7745/statm: 228890 10608 2513 14 0 215360 0
[pid=7745/tid=7747] ppid=7743 vsize=915560 CPUtime=0.03
/proc/7745/task/7747/stat : 7747 (java) S 7743 7745 7358 0 -1 64 522 0 0 0 3 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7748] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7748/stat : 7748 (java) S 7743 7745 7358 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7749] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7749/stat : 7749 (java) S 7743 7745 7358 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155708499 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7750] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7750/stat : 7750 (java) S 7743 7745 7358 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7751] ppid=7743 vsize=915560 CPUtime=0.25
/proc/7745/task/7751/stat : 7751 (java) S 7743 7745 7358 0 -1 64 407 0 0 0 23 2 0 0 16 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7752] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7752/stat : 7752 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7745/tid=7753] ppid=7743 vsize=915560 CPUtime=0
/proc/7745/task/7753/stat : 7753 (java) S 7743 7745 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155708502 937533440 10608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 915560
Child status: 0
Real time (s): 414.384
CPU time (s): 413.883
CPU user time (s): 413.556
CPU system time (s): 0.32695
CPU usage (%): 99.8792
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 413.556
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10885
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= 9657
involuntary context switches= 22999
runsolver used 0.536918 s user time and 1.23081 s system time
The end
Begin job on node6 on Sat Jan 6 08:45:31 UTC 2007
IDJOB= 203596
IDBENCH= 3971
FILE ID= node6/203596-1168073130
PBS_JOBID= 3475737
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203596-1168073130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-203596-1168073130 -o ROOT/results/node6/solver-203596-1168073130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203596-1168073130/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c86ff152c45d9ccdb8b2ca1f1929975c
RANDOM SEED= 983465696
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1226320 kB
Buffers: 82476 kB
Cached: 557700 kB
SwapCached: 3036 kB
Active: 405684 kB
Inactive: 327668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1226320 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2300 kB
Writeback: 0 kB
Mapped: 112392 kB
Slab: 80892 kB
Committed_AS: 4983976 kB
PageTables: 2528 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= 66529 MiB
End job on node6 on Sat Jan 6 08:52:25 UTC 2007