0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208113-1168074566/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.42 => wckTime=0.099 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=916 maxDegree=25
0.67 maxArity=2
0.67 => wckTime=0.344 cpuTime=0.28 mem=14M786
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.54 cpuTime=0.4 mem=14M167
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=26 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0050 cpuTime=0.01 mem=14M167
0.92
0.92 search
0.92 run=0 nbConstraintChecks=35598 nbPropagations=448 nbRevisions=7255 nbUselessRevisions=6325 nbAssignments=26
0.92 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.053 cpuTime=0.04 mem=15M208
0.94
0.94 search
0.94 run=1 nbConstraintChecks=87223 nbPropagations=1490 nbRevisions=25458 nbUselessRevisions=22199 nbAssignments=62
0.94 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=109 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.075 cpuTime=0.06 mem=15M208
0.96
0.96 search
0.96 run=2 nbConstraintChecks=161589 nbPropagations=3358 nbRevisions=59590 nbUselessRevisions=52010
0.96 nbAssignments=115 nbFailedAssignments=49 nbBacktracks=48 nbVisitedNodes=203 nbRestartNogoods=4 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.1 cpuTime=0.08 mem=15M208
0.99
0.99 search
0.99 run=3 nbConstraintChecks=280338 nbPropagations=6460 nbRevisions=118915 nbUselessRevisions=103820
0.99 nbAssignments=189 nbFailedAssignments=84 nbBacktracks=81 nbVisitedNodes=338 nbRestartNogoods=8 mapSize=80
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.128 cpuTime=0.1 mem=15M208
1.03
1.03 search
1.03 run=4 nbConstraintChecks=451301 nbPropagations=11346 nbRevisions=215930 nbUselessRevisions=188553
1.03 nbAssignments=302 nbFailedAssignments=141 nbBacktracks=131 nbVisitedNodes=544 nbRestartNogoods=14 mapSize=128
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.162 cpuTime=0.13 mem=15M208
1.07
1.07 search
1.07 run=5 nbConstraintChecks=672312 nbPropagations=18575 nbRevisions=361903 nbUselessRevisions=316209
1.07 nbAssignments=455 nbFailedAssignments=215 nbBacktracks=206 nbVisitedNodes=822 nbRestartNogoods=21 mapSize=202
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.209 cpuTime=0.18 mem=15M208
1.15
1.15 search
1.15 run=6 nbConstraintChecks=1040626 nbPropagations=29596 nbRevisions=588892 nbUselessRevisions=514805
1.15 nbAssignments=694 nbFailedAssignments=336 nbBacktracks=319 nbVisitedNodes=1262 nbRestartNogoods=24 mapSize=314
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.284 cpuTime=0.24 mem=15M208
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1530258 nbPropagations=45700 nbRevisions=921889 nbUselessRevisions=805806
1.24 nbAssignments=1023 nbFailedAssignments=488 nbBacktracks=491 nbVisitedNodes=1868 nbRestartNogoods=28
1.24 mapSize=479 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.378 cpuTime=0.33 mem=15M208
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2212553 nbPropagations=69204 nbRevisions=1408897 nbUselessRevisions=1231676
1.38 nbAssignments=1512 nbFailedAssignments=714 nbBacktracks=747 nbVisitedNodes=2769 nbRestartNogoods=36
1.38 mapSize=730 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.515 cpuTime=0.45 mem=15M208
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M208)
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3327876 nbPropagations=104345 nbRevisions=2143451 nbUselessRevisions=1873918
1.57 nbAssignments=2273 nbFailedAssignments=1084 nbBacktracks=1132 nbVisitedNodes=4174 nbRestartNogoods=45
1.57 => wckTime=0.702 cpuTime=0.63 mem=15M208
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4906297 nbPropagations=156506 nbRevisions=3237108 nbUselessRevisions=2830506
1.83 nbAssignments=3396 nbFailedAssignments=1624 nbBacktracks=1709 nbVisitedNodes=6256 nbRestartNogoods=51
1.83 => wckTime=0.961 cpuTime=0.88 mem=15M208
2.19
2.19 search
2.19 run=11 nbConstraintChecks=7255254 nbPropagations=233973 nbRevisions=4867620 nbUselessRevisions=4257191
2.19 nbAssignments=5054 nbFailedAssignments=2411 nbBacktracks=2573 nbVisitedNodes=9331 nbRestartNogoods=60
2.19 => wckTime=1.326 cpuTime=1.24 mem=15M208
2.76
2.76 search
2.76 run=12 nbConstraintChecks=10998467 nbPropagations=350425 nbRevisions=7328485 nbUselessRevisions=6409303
2.76 nbAssignments=7572 nbFailedAssignments=3626 nbBacktracks=3870 nbVisitedNodes=14003 nbRestartNogoods=68
2.76 => wckTime=1.898 cpuTime=1.8 mem=15M208
3.64
3.64 search
3.64 run=13 nbConstraintChecks=16808567 nbPropagations=526249 nbRevisions=11078768 nbUselessRevisions=9689586
3.64 nbAssignments=11404 nbFailedAssignments=5506 nbBacktracks=5816 nbVisitedNodes=21143 nbRestartNogoods=86
3.64 => wckTime=2.775 cpuTime=2.67 mem=15M208
4.89
4.89 search
4.89 run=14 nbConstraintChecks=25032709 nbPropagations=788415 nbRevisions=16678599 nbUselessRevisions=14590380
4.89 nbAssignments=16981 nbFailedAssignments=8157 nbBacktracks=8736 nbVisitedNodes=31505 nbRestartNogoods=99
4.89 => wckTime=4.025 cpuTime=3.91 mem=15M208
6.82
6.82 search
6.82 run=15 nbConstraintChecks=37881510 nbPropagations=1182816 nbRevisions=25150441 nbUselessRevisions=22006759
6.82 nbAssignments=25467 nbFailedAssignments=12258 nbBacktracks=13114 nbVisitedNodes=47271 nbRestartNogoods=111
6.82 => wckTime=5.96 cpuTime=5.84 mem=15M208
9.70
9.71 search
9.71 run=16 nbConstraintChecks=56534580 nbPropagations=1773095 nbRevisions=37857551 nbUselessRevisions=33135228
9.71 nbAssignments=38152 nbFailedAssignments=18369 nbBacktracks=19683 nbVisitedNodes=70859 nbRestartNogoods=134
9.71 => wckTime=8.841 cpuTime=8.69 mem=15M208
13.99
13.99 search
13.99 run=17 nbConstraintChecks=84381269 nbPropagations=2655588 nbRevisions=56847075 nbUselessRevisions=49763846
13.99 nbAssignments=57112 nbFailedAssignments=27471 nbBacktracks=29537 nbVisitedNodes=106098 nbRestartNogoods=148
13.99 => wckTime=13.128 cpuTime=12.94 mem=15M208
20.62
20.62 search
20.63 run=18 nbConstraintChecks=128177987 nbPropagations=3988468 nbRevisions=85636440 nbUselessRevisions=74976283
20.63 nbAssignments=86047 nbFailedAssignments=41623 nbBacktracks=44315 nbVisitedNodes=160058 nbRestartNogoods=162
20.63 => wckTime=19.761 cpuTime=19.51 mem=15M208
30.42
30.42 search
30.42 run=19 nbConstraintChecks=192747565 nbPropagations=5987763 nbRevisions=128930817 nbUselessRevisions=112898397
30.42 nbAssignments=129050 nbFailedAssignments=62452 nbBacktracks=66483 nbVisitedNodes=239991 nbRestartNogoods=169
30.42 => wckTime=29.555 cpuTime=29.22 mem=15M208
44.96
44.96 search
44.96 run=20 nbConstraintChecks=288074953 nbPropagations=8977464 nbRevisions=193697142 nbUselessRevisions=169633994
44.96 nbAssignments=193272 nbFailedAssignments=93417 nbBacktracks=99736 nbVisitedNodes=359185 nbRestartNogoods=177
44.96 => wckTime=44.097 cpuTime=43.63 mem=15M208
66.51
66.51 search
66.51 run=21 nbConstraintChecks=434123515 nbPropagations=13468741 nbRevisions=291152432 nbUselessRevisions=255015672
66.51 nbAssignments=289762 nbFailedAssignments=140022 nbBacktracks=149616 nbVisitedNodes=538440 nbRestartNogoods=199
66.51 => wckTime=65.645 cpuTime=65.04 mem=15M208
96.27
96.27 search
96.27 run=22 nbConstraintChecks=647237365 nbPropagations=20174842 nbRevisions=436585808 nbUselessRevisions=382444701
96.27 nbAssignments=432968 nbFailedAssignments=208405 nbBacktracks=224434 nbVisitedNodes=804147 nbRestartNogoods=219
96.27 => wckTime=95.405 cpuTime=94.76 mem=15M208
142.53
142.53 search
142.53 run=23 nbConstraintChecks=981509923 nbPropagations=30283397 nbRevisions=656597513 nbUselessRevisions=575251504
142.53 nbAssignments=651120 nbFailedAssignments=314325 nbBacktracks=336661 nbVisitedNodes=1209699 nbRestartNogoods=241
142.53 => wckTime=141.663 cpuTime=140.97 mem=15M208
211.31
211.31 search
211.31 run=24 nbConstraintChecks=1477188077 nbPropagations=45469183 nbRevisions=987673059 nbUselessRevisions=865429349
211.31 nbAssignments=977866 nbFailedAssignments=472724 nbBacktracks=505003 nbVisitedNodes=1817231 nbRestartNogoods=266
211.31 => wckTime=210.446 cpuTime=209.7 mem=15M208
315.07
315.07 search
315.07 run=25 nbConstraintChecks=2226682541 nbPropagations=68312867 nbRevisions=1486213417
315.07 nbUselessRevisions=1302438307 nbAssignments=1467754 nbFailedAssignments=710095 nbBacktracks=757515
315.07 nbVisitedNodes=2729186 nbRestartNogoods=282
315.07 => wckTime=314.209 cpuTime=313.4 mem=15M208
472.86
472.86 search
472.86 run=26 nbConstraintChecks=3376022353 nbPropagations=102746415 nbRevisions=2239660298
472.86 nbUselessRevisions=1962940300 nbAssignments=2205336 nbFailedAssignments=1068905 nbBacktracks=1136282
472.86 nbVisitedNodes=4102168 nbRestartNogoods=301
472.86 => wckTime=471.995 cpuTime=471.14 mem=15M208
493.34
493.34 search
493.34 run=27 nbConstraintChecks=3523297774 nbPropagations=138692220 nbRevisions=3026152439
493.34 nbUselessRevisions=2652428721 nbAssignments=2302238 nbFailedAssignments=1115531 nbBacktracks=1186532
493.34 nbVisitedNodes=4282480 nbRestartNogoods=309
493.34 => wckTime=492.474 cpuTime=491.61 mem=15M208
493.34
493.34 global
493.34 nbConstraintChecks=3523297774 nbPropagations=138692246 nbRevisions=3026152439 nbUselessRevisions=2652428721
493.34 nbRestartNogoods=309 solvingWckTime=492.475 solvingCpuTime=491.61 expiredTime=no totalExploration=no
493.34 nbFoundSolutions=1 globalCpuTime=492.05
493.34 => wckTime=493.018 cpuTime=492.01 mem=15M208
493.34
493.34 s SATISFIABLE
493.34 v 10 14 1 0 12 18 18 16 25 7 13 1 25 3 16 9 10 4 9 17 7 23 19 9 7 24
493.34 d NODES 2302238
493.34 d CHECKS 3523297774
493.34
493.34 totalWckTime=493.1 totalCpuTime=492.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-208113-1168074566 -o ROOT/results/node42/solver-208113-1168074566 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/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.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=18540 CPUtime=0
/proc/23923/stat : 23923 (runsolver) R 23921 23923 23556 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155855798 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23923/statm: 4635 279 244 17 0 2626 0
[startup+0.10807 s]
/proc/loadavg: 1.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=914988 CPUtime=0.08
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 2960 0 1 0 7 1 0 0 19 0 8 0 155855798 936947712 2706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516115 s]
/proc/loadavg: 1.93 1.53 1.43 4/80 23924
/proc/meminfo: memFree=1311064/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915328 CPUtime=0.48
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 6932 0 1 0 44 4 0 0 18 0 8 0 155855798 937295872 6671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917005 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228832 6671 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3382 s]
/proc/loadavg: 1.93 1.53 1.43 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=1.29
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8966 0 1 0 123 6 0 0 24 0 8 0 155855798 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8704 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.18
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 375 0 0 0 18 0 0 0 15 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.99038 s]
/proc/loadavg: 1.94 1.54 1.43 3/87 23931
/proc/meminfo: memFree=1285856/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=2.94
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8983 0 1 0 287 7 0 0 25 0 8 0 155855798 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8719 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155855803 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 391 0 0 0 21 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.28575 s]
/proc/loadavg: 1.94 1.54 1.43 4/87 23931
/proc/meminfo: memFree=1285856/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=6.2
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8983 0 1 0 613 7 0 0 25 0 8 0 155855798 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8719 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8719 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7695 s]
/proc/loadavg: 1.95 1.55 1.43 3/87 23931
/proc/meminfo: memFree=1285920/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=12.62
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8984 0 1 0 1255 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.6099 s]
/proc/loadavg: 1.95 1.56 1.44 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=25.35
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 2528 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2137 s]
/proc/loadavg: 1.97 1.60 1.45 3/87 23931
/proc/meminfo: memFree=1286048/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=50.71
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 5064 7 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456
[startup+102.423 s]
/proc/loadavg: 1.94 1.64 1.47 3/87 23987
/proc/meminfo: memFree=1295768/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=101.81
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 10173 8 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915456
[startup+162.47 s]
/proc/loadavg: 1.91 1.69 1.50 3/87 24043
/proc/meminfo: memFree=1296792/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=161.8
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 16171 9 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915456
[startup+222.518 s]
/proc/loadavg: 1.96 1.74 1.53 2/72 24057
/proc/meminfo: memFree=1328464/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=221.77
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 22168 9 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 915456
[startup+282.527 s]
/proc/loadavg: 1.35 1.60 1.49 2/72 24057
/proc/meminfo: memFree=1328680/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=281.77
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 28167 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.77
Current children cumulated vsize (KiB) 915456
[startup+342.535 s]
/proc/loadavg: 1.13 1.49 1.46 2/72 24057
/proc/meminfo: memFree=1328744/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=341.76
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 34166 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.76
Current children cumulated vsize (KiB) 915456
[startup+402.543 s]
/proc/loadavg: 1.15 1.42 1.43 2/72 24057
/proc/meminfo: memFree=1328744/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=401.75
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 40165 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.75
Current children cumulated vsize (KiB) 915456
[startup+462.556 s]
/proc/loadavg: 1.05 1.34 1.41 2/72 24057
/proc/meminfo: memFree=1328808/2055920 swapFree=4191892/4192956
[pid=23923] ppid=23921 vsize=915456 CPUtime=461.74
/proc/23923/stat : 23923 (java) R 23921 23923 23556 0 -1 0 8985 0 1 0 46164 10 0 0 25 0 8 0 155855798 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23923/statm: 228864 8720 2513 14 0 215334 0
[pid=23923/tid=23925] ppid=23921 vsize=915456 CPUtime=0.03
/proc/23923/task/23925/stat : 23925 (java) S 23921 23923 23556 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155855803 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23926] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23926/stat : 23926 (java) S 23921 23923 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23927] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23927/stat : 23927 (java) S 23921 23923 23556 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155855804 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23928] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23928/stat : 23928 (java) S 23921 23923 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23929] ppid=23921 vsize=915456 CPUtime=0.21
/proc/23923/task/23929/stat : 23929 (java) S 23921 23923 23556 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23930] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23930/stat : 23930 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23923/tid=23931] ppid=23921 vsize=915456 CPUtime=0
/proc/23923/task/23931/stat : 23931 (java) S 23921 23923 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155855807 937426944 8720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.74
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 493.375
CPU time (s): 492.535
CPU user time (s): 492.421
CPU system time (s): 0.113982
CPU usage (%): 99.8299
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.421
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
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= 11077
involuntary context switches= 5243
runsolver used 0.566913 s user time and 1.38479 s system time
The end
Begin job on node42 on Sat Jan 6 09:09:26 UTC 2007
IDJOB= 208113
IDBENCH= 4353
FILE ID= node42/208113-1168074566
PBS_JOBID= 3476018
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-59021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-208113-1168074566 -o ROOT/results/node42/solver-208113-1168074566 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208113-1168074566/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9d60e36c663e411033c48ba1ee4a68e9
RANDOM SEED= 483283873
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.229
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.229
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: 1311480 kB
Buffers: 49860 kB
Cached: 564048 kB
SwapCached: 268 kB
Active: 146536 kB
Inactive: 522684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1311480 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 74280 kB
Slab: 60388 kB
Committed_AS: 3492832 kB
PageTables: 1896 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= 66543 MiB
End job on node42 on Sat Jan 6 09:17:40 UTC 2007