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/232073-1168081221/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=890 maxDegree=24
0.63 maxArity=2
0.63 => wckTime=0.313 cpuTime=0.24 mem=13M778
0.66
0.67 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.5 cpuTime=0.35 mem=14M79
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0030 cpuTime=0.01 mem=14M79
0.86
0.87 search
0.87 run=0 nbConstraintChecks=40936 nbPropagations=515 nbRevisions=8630 nbUselessRevisions=7504 nbAssignments=30
0.87 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.05 cpuTime=0.03 mem=15M120
0.88
0.88 search
0.88 run=1 nbConstraintChecks=90766 nbPropagations=1661 nbRevisions=27976 nbUselessRevisions=24354 nbAssignments=69
0.88 nbFailedAssignments=30 nbBacktracks=26 nbVisitedNodes=122 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.069 cpuTime=0.05 mem=15M120
0.90
0.91 search
0.91 run=2 nbConstraintChecks=159232 nbPropagations=3552 nbRevisions=61409 nbUselessRevisions=53346
0.91 nbAssignments=121 nbFailedAssignments=55 nbBacktracks=48 nbVisitedNodes=213 nbRestartNogoods=6 mapSize=48
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.09 cpuTime=0.06 mem=15M120
0.93
0.93 search
0.93 run=3 nbConstraintChecks=250381 nbPropagations=6506 nbRevisions=114933 nbUselessRevisions=99789
0.93 nbAssignments=194 nbFailedAssignments=88 nbBacktracks=82 nbVisitedNodes=342 nbRestartNogoods=9 mapSize=81
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.113 cpuTime=0.08 mem=15M120
0.95
0.95 search
0.95 run=4 nbConstraintChecks=396596 nbPropagations=11095 nbRevisions=201121 nbUselessRevisions=174595
0.95 nbAssignments=299 nbFailedAssignments=138 nbBacktracks=132 nbVisitedNodes=537 nbRestartNogoods=12 mapSize=131
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.14 cpuTime=0.11 mem=15M120
1.00
1.00 search
1.00 run=5 nbConstraintChecks=605683 nbPropagations=18010 nbRevisions=333456 nbUselessRevisions=289602
1.00 nbAssignments=456 nbFailedAssignments=213 nbBacktracks=208 nbVisitedNodes=823 nbRestartNogoods=17 mapSize=205
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.181 cpuTime=0.15 mem=15M120
1.05
1.05 search
1.05 run=6 nbConstraintChecks=916948 nbPropagations=28488 nbRevisions=537835 nbUselessRevisions=467328
1.05 nbAssignments=690 nbFailedAssignments=328 nbBacktracks=322 nbVisitedNodes=1261 nbRestartNogoods=24 mapSize=316
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.241 cpuTime=0.21 mem=15M120
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1382891 nbPropagations=44175 nbRevisions=847914 nbUselessRevisions=737168
1.14 nbAssignments=1036 nbFailedAssignments=500 nbBacktracks=492 nbVisitedNodes=1903 nbRestartNogoods=34
1.14 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.324 cpuTime=0.29 mem=15M120
1.27
1.27 search
1.27 run=8 nbConstraintChecks=2058095 nbPropagations=67495 nbRevisions=1312607 nbUselessRevisions=1141821
1.27 nbAssignments=1547 nbFailedAssignments=749 nbBacktracks=748 nbVisitedNodes=2850 nbRestartNogoods=38
1.27 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.451 cpuTime=0.4 mem=15M120
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=15M120)
1.43
1.43 search
1.43 run=9 nbConstraintChecks=3063665 nbPropagations=101862 nbRevisions=2000600 nbUselessRevisions=1740698
1.43 nbAssignments=2282 nbFailedAssignments=1094 nbBacktracks=1132 nbVisitedNodes=4201 nbRestartNogoods=52
1.43 => wckTime=0.611 cpuTime=0.55 mem=15M120
1.67
1.67 search
1.67 run=10 nbConstraintChecks=4636255 nbPropagations=153374 nbRevisions=3043240 nbUselessRevisions=2648434
1.67 nbAssignments=3419 nbFailedAssignments=1650 nbBacktracks=1708 nbVisitedNodes=6321 nbRestartNogoods=64
1.67 => wckTime=0.86 cpuTime=0.79 mem=15M120
2.02
2.02 search
2.02 run=11 nbConstraintChecks=7038734 nbPropagations=230856 nbRevisions=4619358 nbUselessRevisions=4020374
2.02 nbAssignments=5110 nbFailedAssignments=2471 nbBacktracks=2574 nbVisitedNodes=9475 nbRestartNogoods=74
2.02 => wckTime=1.204 cpuTime=1.13 mem=15M120
2.52
2.52 search
2.52 run=12 nbConstraintChecks=10503500 nbPropagations=346338 nbRevisions=6975330 nbUselessRevisions=6072468
2.52 nbAssignments=7631 nbFailedAssignments=3689 nbBacktracks=3872 nbVisitedNodes=14170 nbRestartNogoods=82
2.52 => wckTime=1.702 cpuTime=1.63 mem=15M120
3.28
3.28 search
3.28 run=13 nbConstraintChecks=15867881 nbPropagations=520258 nbRevisions=10543877 nbUselessRevisions=9180993
3.28 nbAssignments=11474 nbFailedAssignments=5581 nbBacktracks=5818 nbVisitedNodes=21350 nbRestartNogoods=89
3.28 => wckTime=2.467 cpuTime=2.39 mem=15M120
4.45
4.45 search
4.45 run=14 nbConstraintChecks=24007240 nbPropagations=782666 nbRevisions=15944805 nbUselessRevisions=13885316
4.45 nbAssignments=17287 nbFailedAssignments=8469 nbBacktracks=8737 nbVisitedNodes=32245 nbRestartNogoods=98
4.45 => wckTime=3.638 cpuTime=3.56 mem=15M120
6.22
6.22 search
6.22 run=15 nbConstraintChecks=36159436 nbPropagations=1175589 nbRevisions=24066555 nbUselessRevisions=20961145
6.22 nbAssignments=25800 nbFailedAssignments=12597 nbBacktracks=13116 nbVisitedNodes=48106 nbRestartNogoods=107
6.22 => wckTime=5.405 cpuTime=5.33 mem=15M120
8.81
8.81 search
8.81 run=16 nbConstraintChecks=54215442 nbPropagations=1763437 nbRevisions=36260042 nbUselessRevisions=31589847
8.81 nbAssignments=38573 nbFailedAssignments=18797 nbBacktracks=19684 nbVisitedNodes=71889 nbRestartNogoods=118
8.81 => wckTime=7.995 cpuTime=7.91 mem=15M120
12.78
12.78 search
12.78 run=17 nbConstraintChecks=82205781 nbPropagations=2649863 nbRevisions=54713788 nbUselessRevisions=47678729
12.78 nbAssignments=57991 nbFailedAssignments=28359 nbBacktracks=29536 nbVisitedNodes=108168 nbRestartNogoods=128
12.78 => wckTime=11.965 cpuTime=11.88 mem=15M120
18.77
18.77 search
18.77 run=18 nbConstraintChecks=123594553 nbPropagations=3980313 nbRevisions=82421528 nbUselessRevisions=71834622
18.77 nbAssignments=86919 nbFailedAssignments=42504 nbBacktracks=44314 nbVisitedNodes=162120 nbRestartNogoods=143
18.77 => wckTime=17.956 cpuTime=17.87 mem=15M120
27.54
27.54 search
27.54 run=19 nbConstraintChecks=184938362 nbPropagations=5973554 nbRevisions=123902799 nbUselessRevisions=107999851
27.54 nbAssignments=130243 nbFailedAssignments=63655 nbBacktracks=66482 nbVisitedNodes=242919 nbRestartNogoods=154
27.54 => wckTime=26.73 cpuTime=26.64 mem=15M120
41.27
41.27 search
41.27 run=20 nbConstraintChecks=281217683 nbPropagations=8981435 nbRevisions=186818214 nbUselessRevisions=162874322
41.27 nbAssignments=195952 nbFailedAssignments=96106 nbBacktracks=99736 nbVisitedNodes=365485 nbRestartNogoods=175
41.27 => wckTime=40.459 cpuTime=40.3 mem=15M120
61.50
61.50 search
61.50 run=21 nbConstraintChecks=420866732 nbPropagations=13487799 nbRevisions=281079300 nbUselessRevisions=245091815
61.50 nbAssignments=293857 nbFailedAssignments=144127 nbBacktracks=149614 nbVisitedNodes=547940 nbRestartNogoods=189
61.50 => wckTime=60.688 cpuTime=60.5 mem=15M120
92.05
92.06 search
92.06 run=22 nbConstraintChecks=633906820 nbPropagations=20255343 nbRevisions=422779528 nbUselessRevisions=368685827
92.06 nbAssignments=440853 nbFailedAssignments=216299 nbBacktracks=224432 nbVisitedNodes=821997 nbRestartNogoods=208
92.06 => wckTime=91.241 cpuTime=91.0 mem=15M120
137.29
137.29 search
137.29 run=23 nbConstraintChecks=949621371 nbPropagations=30383041 nbRevisions=635149009 nbUselessRevisions=553964955
137.29 nbAssignments=659222 nbFailedAssignments=322436 nbBacktracks=336659 nbVisitedNodes=1228817 nbRestartNogoods=213
137.29 => wckTime=136.475 cpuTime=136.17 mem=15M120
206.27
206.27 search
206.27 run=24 nbConstraintChecks=1430820869 nbPropagations=45602943 nbRevisions=954738852 nbUselessRevisions=832811685
206.27 nbAssignments=989247 nbFailedAssignments=484115 nbBacktracks=505000 nbVisitedNodes=1844136 nbRestartNogoods=232
206.27 => wckTime=205.452 cpuTime=204.92 mem=15M120
305.61
305.61 search
305.61 run=25 nbConstraintChecks=2123431907 nbPropagations=68089641 nbRevisions=1428067179
305.61 nbUselessRevisions=1245824981 nbAssignments=1458249 nbFailedAssignments=714838 nbBacktracks=743254
305.61 nbVisitedNodes=2719389 nbRestartNogoods=249
305.61 => wckTime=304.8 cpuTime=303.68 mem=15M120
305.62
305.62 global
305.62 nbConstraintChecks=2123431907 nbPropagations=68089666 nbRevisions=1428067179 nbUselessRevisions=1245824981
305.62 nbRestartNogoods=249 solvingWckTime=304.802 solvingCpuTime=303.68 expiredTime=no totalExploration=no
305.62 nbFoundSolutions=1 globalCpuTime=304.09
305.62 => wckTime=305.304 cpuTime=304.04 mem=15M120
305.62
305.62 s SATISFIABLE
305.62 v 5 10 4 22 7 19 19 6 8 20 22 0 18 18 4 2 22 13 15 10 4 6 0 9 13
305.62 d NODES 1458249
305.62 d CHECKS 2123431907
305.62
305.62 totalWckTime=305.381 totalCpuTime=304.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-232073-1168081221 -o ROOT/results/node11/solver-232073-1168081221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232073-1168081221/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: 0.39 1.00 1.44 4/79 30672
/proc/meminfo: memFree=1626456/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=18540 CPUtime=0
/proc/30671/stat : 30671 (runsolver) R 30669 30671 30536 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156518034 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30671/statm: 4635 279 244 17 0 2626 0
[startup+0.103174 s]
/proc/loadavg: 0.39 1.00 1.44 4/79 30672
/proc/meminfo: memFree=1626456/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=914988 CPUtime=0.09
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 2956 0 1 0 7 2 0 0 17 0 8 0 156518034 936947712 2702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30671/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514252 s]
/proc/loadavg: 0.39 1.00 1.44 4/79 30672
/proc/meminfo: memFree=1626456/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915328 CPUtime=0.49
/proc/30671/stat : 30671 (java) S 30669 30671 30536 0 -1 0 7091 0 1 0 44 5 0 0 16 0 8 0 156518034 937295872 6830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30671/statm: 228832 6830 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34041 s]
/proc/loadavg: 0.39 1.00 1.44 2/85 30683
/proc/meminfo: memFree=1602472/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=1.31
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8756 0 1 0 124 7 0 0 16 0 8 0 156518034 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8494 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.2
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156518042 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97773 s]
/proc/loadavg: 0.44 1.00 1.44 2/88 30714
/proc/meminfo: memFree=1597136/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=2.95
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8761 0 1 0 288 7 0 0 19 0 8 0 156518034 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8498 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 156518038 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+6.27339 s]
/proc/loadavg: 0.44 1.00 1.44 2/88 30714
/proc/meminfo: memFree=1597136/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=6.24
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8762 0 1 0 617 7 0 0 25 0 8 0 156518034 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8498 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456
[startup+12.7477 s]
/proc/loadavg: 0.52 1.00 1.43 2/88 30714
/proc/meminfo: memFree=1597144/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=12.71
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 1264 7 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
[startup+25.5952 s]
/proc/loadavg: 0.60 1.00 1.43 2/88 30747
/proc/meminfo: memFree=1594072/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=25.55
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 2547 8 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825085 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915456
[startup+51.2143 s]
/proc/loadavg: 1.19 1.11 1.45 3/106 30843
/proc/meminfo: memFree=1470928/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=51.09
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 5098 11 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456
[startup+102.45 s]
/proc/loadavg: 1.68 1.26 1.48 3/106 30923
/proc/meminfo: memFree=1471016/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=102.25
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 10210 15 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915456
[startup+162.506 s]
/proc/loadavg: 1.88 1.39 1.51 3/100 30957
/proc/meminfo: memFree=1472056/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=162.23
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 16206 17 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812255 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 915456
[startup+222.581 s]
/proc/loadavg: 1.95 1.50 1.54 3/100 30957
/proc/meminfo: memFree=1472248/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=222
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 22183 17 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 915456
[startup+282.615 s]
/proc/loadavg: 1.98 1.59 1.56 3/100 30957
/proc/meminfo: memFree=1472184/2055920 swapFree=4192812/4192956
[pid=30671] ppid=30669 vsize=915456 CPUtime=281.76
/proc/30671/stat : 30671 (java) R 30669 30671 30536 0 -1 0 8765 0 1 0 28159 17 0 0 25 0 8 0 156518034 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30671/statm: 228864 8500 2513 14 0 215334 0
[pid=30671/tid=30675] ppid=30669 vsize=915456 CPUtime=0.03
/proc/30671/task/30675/stat : 30675 (java) S 30669 30671 30536 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156518038 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30676] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30676/stat : 30676 (java) S 30669 30671 30536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30677] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30677/stat : 30677 (java) S 30669 30671 30536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156518039 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30671/tid=30679] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30679/stat : 30679 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30680] ppid=30669 vsize=915456 CPUtime=0.21
/proc/30671/task/30680/stat : 30680 (java) S 30669 30671 30536 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30681] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30681/stat : 30681 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30671/tid=30682] ppid=30669 vsize=915456 CPUtime=0
/proc/30671/task/30682/stat : 30682 (java) S 30669 30671 30536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156518042 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.76
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 305.678
CPU time (s): 304.569
CPU user time (s): 304.384
CPU system time (s): 0.184971
CPU usage (%): 99.6371
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.384
system time used= 0.184971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8793
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= 7036
involuntary context switches= 15524
runsolver used 0.363944 s user time and 0.878866 s system time
The end
Begin job on node11 on Sat Jan 6 11:00:25 UTC 2007
IDJOB= 232073
IDBENCH= 6499
FILE ID= node11/232073-1168081221
PBS_JOBID= 3476201
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232073-1168081221/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-232073-1168081221 -o ROOT/results/node11/solver-232073-1168081221 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232073-1168081221/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 79b99f3968dd554a3eaf36ca9ea66aaf
RANDOM SEED= 423657490
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.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
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: 1621096 kB
Buffers: 41120 kB
Cached: 249104 kB
SwapCached: 0 kB
Active: 134240 kB
Inactive: 217124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1621096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 80152 kB
Slab: 68388 kB
Committed_AS: 4340392 kB
PageTables: 2212 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= 66319 MiB
End job on node11 on Sat Jan 6 11:05:36 UTC 2007