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/229794-1168080995/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=461 nbRelationTypes=461 nbExtensionStructures=461 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=461 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2255 maxDegree=28
0.67 maxArity=2
0.67 => wckTime=0.374 cpuTime=0.3 mem=17M696
0.72
0.72 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.565 cpuTime=0.43 mem=15M357
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0080 cpuTime=0.0 mem=15M357
0.92
0.92 search
0.92 run=0 nbConstraintChecks=43343 nbPropagations=595 nbRevisions=6800 nbUselessRevisions=5729 nbAssignments=27
0.92 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.052 cpuTime=0.03 mem=15M357
0.94
0.94 search
0.94 run=1 nbConstraintChecks=103321 nbPropagations=1944 nbRevisions=23789 nbUselessRevisions=19931
0.94 nbAssignments=66 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=102 nbRestartNogoods=3 mapSize=22
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.078 cpuTime=0.04 mem=15M357
0.96
0.96 search
0.96 run=2 nbConstraintChecks=169467 nbPropagations=4101 nbRevisions=51467 nbUselessRevisions=42972
0.96 nbAssignments=114 nbFailedAssignments=31 nbBacktracks=49 nbVisitedNodes=175 nbRestartNogoods=8 mapSize=41
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.096 cpuTime=0.06 mem=15M357
0.98
0.98 search
0.98 run=3 nbConstraintChecks=275979 nbPropagations=7658 nbRevisions=99340 nbUselessRevisions=82599
0.98 nbAssignments=186 nbFailedAssignments=58 nbBacktracks=83 nbVisitedNodes=295 nbRestartNogoods=11 mapSize=70
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.119 cpuTime=0.08 mem=15M357
1.01
1.01 search
1.01 run=4 nbConstraintChecks=420673 nbPropagations=12918 nbRevisions=171767 nbUselessRevisions=142239
1.01 nbAssignments=272 nbFailedAssignments=84 nbBacktracks=134 nbVisitedNodes=433 nbRestartNogoods=14 mapSize=104
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.148 cpuTime=0.11 mem=15M357
1.06
1.06 search
1.06 run=5 nbConstraintChecks=631563 nbPropagations=20831 nbRevisions=282303 nbUselessRevisions=233192
1.06 nbAssignments=410 nbFailedAssignments=134 nbBacktracks=210 nbVisitedNodes=664 nbRestartNogoods=18 mapSize=168
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.19 cpuTime=0.15 mem=15M357
1.12
1.12 search
1.12 run=6 nbConstraintChecks=946191 nbPropagations=32779 nbRevisions=454883 nbUselessRevisions=375896
1.12 nbAssignments=618 nbFailedAssignments=216 nbBacktracks=324 nbVisitedNodes=1016 nbRestartNogoods=23 mapSize=267
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.251 cpuTime=0.21 mem=15M357
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1412920 nbPropagations=50388 nbRevisions=713026 nbUselessRevisions=588746
1.20 nbAssignments=908 nbFailedAssignments=325 nbBacktracks=494 nbVisitedNodes=1511 nbRestartNogoods=30 mapSize=402
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.337 cpuTime=0.29 mem=15M357
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1915730 nbPropagations=74807 nbRevisions=1070571 nbUselessRevisions=883588
1.30 nbAssignments=1322 nbFailedAssignments=471 nbBacktracks=750 nbVisitedNodes=2174 nbRestartNogoods=36
1.30 mapSize=590 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.437 cpuTime=0.39 mem=15M357
1.50
1.50 search
1.50 run=9 nbConstraintChecks=3023115 nbPropagations=112411 nbRevisions=1635571 nbUselessRevisions=1349056
1.50 nbAssignments=2004 nbFailedAssignments=759 nbBacktracks=1134 nbVisitedNodes=3367 nbRestartNogoods=44
1.50 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.634 cpuTime=0.57 mem=15M357
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=15M357)
1.75
1.75 search
1.75 run=10 nbConstraintChecks=4512384 nbPropagations=168203 nbRevisions=2482332 nbUselessRevisions=2045201
1.75 nbAssignments=2967 nbFailedAssignments=1136 nbBacktracks=1712 nbVisitedNodes=5001 nbRestartNogoods=47
1.75 => wckTime=0.881 cpuTime=0.81 mem=15M357
2.08
2.08 search
2.08 run=11 nbConstraintChecks=6621813 nbPropagations=250379 nbRevisions=3740687 nbUselessRevisions=3080945
2.08 nbAssignments=4378 nbFailedAssignments=1669 nbBacktracks=2576 nbVisitedNodes=7374 nbRestartNogoods=52
2.08 => wckTime=1.217 cpuTime=1.14 mem=15M357
2.53
2.53 search
2.53 run=12 nbConstraintChecks=9275508 nbPropagations=370461 nbRevisions=5564821 nbUselessRevisions=4583892
2.53 nbAssignments=6484 nbFailedAssignments=2466 nbBacktracks=3873 nbVisitedNodes=10966 nbRestartNogoods=62
2.53 => wckTime=1.668 cpuTime=1.59 mem=15M357
3.24
3.25 search
3.25 run=13 nbConstraintChecks=13734581 nbPropagations=548799 nbRevisions=8279933 nbUselessRevisions=6821682
3.25 nbAssignments=9557 nbFailedAssignments=3583 nbBacktracks=5819 nbVisitedNodes=16206 nbRestartNogoods=73
3.25 => wckTime=2.381 cpuTime=2.31 mem=15M357
4.41
4.41 search
4.41 run=14 nbConstraintChecks=21252576 nbPropagations=818837 nbRevisions=12441164 nbUselessRevisions=10253271
4.41 nbAssignments=14304 nbFailedAssignments=5402 nbBacktracks=8738 nbVisitedNodes=24301 nbRestartNogoods=78
4.41 => wckTime=3.541 cpuTime=3.47 mem=15M357
6.09
6.09 search
6.09 run=15 nbConstraintChecks=32138194 nbPropagations=1223455 nbRevisions=18665123 nbUselessRevisions=15375430
6.09 nbAssignments=21429 nbFailedAssignments=8138 nbBacktracks=13116 nbVisitedNodes=36417 nbRestartNogoods=90
6.09 => wckTime=5.222 cpuTime=5.15 mem=15M357
8.58
8.58 search
8.58 run=16 nbConstraintChecks=48297286 nbPropagations=1829776 nbRevisions=27977070 nbUselessRevisions=23040500
8.58 nbAssignments=31851 nbFailedAssignments=11984 nbBacktracks=19684 nbVisitedNodes=54125 nbRestartNogoods=101
8.58 => wckTime=7.718 cpuTime=7.64 mem=15M357
12.20
12.20 search
12.20 run=17 nbConstraintChecks=71565893 nbPropagations=2728822 nbRevisions=41754980 nbUselessRevisions=34376096
12.20 nbAssignments=47404 nbFailedAssignments=17673 nbBacktracks=29538 nbVisitedNodes=80449 nbRestartNogoods=106
12.20 => wckTime=11.337 cpuTime=11.26 mem=15M357
17.48
17.48 search
17.48 run=18 nbConstraintChecks=104517448 nbPropagations=4061501 nbRevisions=62220381 nbUselessRevisions=51245248
17.48 nbAssignments=70849 nbFailedAssignments=26333 nbBacktracks=44316 nbVisitedNodes=120159 nbRestartNogoods=114
17.48 => wckTime=16.614 cpuTime=16.53 mem=15M357
25.77
25.77 search
25.77 run=19 nbConstraintChecks=157748632 nbPropagations=6064196 nbRevisions=93112396 nbUselessRevisions=76722651
25.77 nbAssignments=106338 nbFailedAssignments=39645 nbBacktracks=66485 nbVisitedNodes=180614 nbRestartNogoods=118
25.77 => wckTime=24.903 cpuTime=24.83 mem=15M357
38.68
38.68 search
38.68 run=20 nbConstraintChecks=243157976 nbPropagations=9090343 nbRevisions=139928821 nbUselessRevisions=115295353
38.68 nbAssignments=159617 nbFailedAssignments=59660 nbBacktracks=99740 nbVisitedNodes=271362 nbRestartNogoods=127
38.68 => wckTime=37.812 cpuTime=37.73 mem=15M357
57.04
57.04 search
57.04 run=21 nbConstraintChecks=358036585 nbPropagations=13615422 nbRevisions=210023290 nbUselessRevisions=173142217
57.04 nbAssignments=239828 nbFailedAssignments=89982 nbBacktracks=149619 nbVisitedNodes=408236 nbRestartNogoods=133
57.04 => wckTime=56.171 cpuTime=56.08 mem=15M357
84.82
84.82 search
84.82 run=22 nbConstraintChecks=535950441 nbPropagations=20390572 nbRevisions=315296419 nbUselessRevisions=260070346
84.82 nbAssignments=359475 nbFailedAssignments=134801 nbBacktracks=224438 nbVisitedNodes=612387 nbRestartNogoods=145
84.82 => wckTime=83.955 cpuTime=83.85 mem=15M357
127.76
127.76 search
127.76 run=23 nbConstraintChecks=817127421 nbPropagations=30606578 nbRevisions=474091347 nbUselessRevisions=391105095
127.76 nbAssignments=539660 nbFailedAssignments=202747 nbBacktracks=336665 nbVisitedNodes=919304 nbRestartNogoods=160
127.76 => wckTime=126.893 cpuTime=126.75 mem=15M357
191.04
191.04 search
191.04 run=24 nbConstraintChecks=1222764346 nbPropagations=45958142 nbRevisions=712184893 nbUselessRevisions=587531833
191.04 nbAssignments=809797 nbFailedAssignments=304529 nbBacktracks=505008 nbVisitedNodes=1380655 nbRestartNogoods=178
191.04 => wckTime=190.18 cpuTime=190.01 mem=15M357
287.50
287.50 search
287.50 run=25 nbConstraintChecks=1853941682 nbPropagations=69030590 nbRevisions=1069903992
287.50 nbUselessRevisions=882479049 nbAssignments=1209152 nbFailedAssignments=451361 nbBacktracks=757519
287.50 nbVisitedNodes=2059353 nbRestartNogoods=187
287.50 => wckTime=286.633 cpuTime=286.36 mem=15M357
301.20
301.20 search
301.20 run=26 nbConstraintChecks=1938949376 nbPropagations=93239666 nbRevisions=1445206423
301.20 nbUselessRevisions=1192004081 nbAssignments=1270628 nbFailedAssignments=474607 nbBacktracks=795699
301.20 nbVisitedNodes=2164287 nbRestartNogoods=204
301.20 => wckTime=300.338 cpuTime=300.04 mem=15M357
301.20
301.20 global
301.20 nbConstraintChecks=1938949376 nbPropagations=93239716 nbRevisions=1445206423 nbUselessRevisions=1192004081
301.20 nbRestartNogoods=204 solvingWckTime=300.338 solvingCpuTime=300.04 expiredTime=no totalExploration=no
301.20 nbFoundSolutions=1 globalCpuTime=300.51
301.20 => wckTime=300.906 cpuTime=300.47 mem=15M357
301.21
301.21 s SATISFIABLE
301.21 v 14 9 16 20 8 16 16 15 7 17 5 0 2 10 12 2 12 19 2 20 18 15 19 14 21 4 5 12 12 10 6 3 12 12 10 5 10 0 12 2 14 8 3 10 11 9 5 3 3 19
301.21 d NODES 1270628
301.21 d CHECKS 1938949376
301.21
301.21 totalWckTime=300.981 totalCpuTime=300.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-229794-1168080995 -o ROOT/results/node25/solver-229794-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229794-1168080995/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.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=1784 CPUtime=0
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156493743 1826816 160 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/31425/statm: 446 160 125 14 0 91 0
[startup+0.105744 s]
/proc/loadavg: 0.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=914988 CPUtime=0.08
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 3031 0 1 0 7 1 0 0 22 0 8 0 156493743 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582165 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31425/statm: 228747 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517814 s]
/proc/loadavg: 0.38 0.67 0.87 4/81 31426
/proc/meminfo: memFree=1648976/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915328 CPUtime=0.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 7238 0 1 0 45 4 0 0 16 0 8 0 156493743 937295872 6977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228832 6978 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34195 s]
/proc/loadavg: 0.38 0.67 0.87 2/88 31433
/proc/meminfo: memFree=1621400/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=1.31
/proc/31425/stat : 31425 (java) S 31423 31425 31305 0 -1 0 9605 0 1 0 125 6 0 0 16 0 8 0 156493743 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9343 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.19
/proc/31425/task/31431/stat : 31431 (java) R 31423 31425 31305 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153144438 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97922 s]
/proc/loadavg: 0.38 0.67 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=2.96
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9620 0 1 0 289 7 0 0 17 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838994 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.27478 s]
/proc/loadavg: 0.43 0.68 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=6.25
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 618 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.7439 s]
/proc/loadavg: 0.47 0.68 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=12.72
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 1265 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.5871 s]
/proc/loadavg: 0.59 0.70 0.87 2/88 31433
/proc/meminfo: memFree=1621336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=25.56
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9621 0 1 0 2549 7 0 0 25 0 8 0 156493743 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9357 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
[startup+51.2774 s]
/proc/loadavg: 0.73 0.72 0.87 2/88 31434
/proc/meminfo: memFree=1623128/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=51.23
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9623 0 1 0 5116 7 0 0 25 0 8 0 156493743 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9358 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915460
[startup+102.552 s]
/proc/loadavg: 0.93 0.78 0.88 2/88 31439
/proc/meminfo: memFree=1623064/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=102.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 10241 8 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915460
[startup+162.588 s]
/proc/loadavg: 1.54 0.97 0.94 3/100 31481
/proc/meminfo: memFree=1593336/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=162.49
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 16240 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.49
Current children cumulated vsize (KiB) 915460
[startup+222.614 s]
/proc/loadavg: 1.54 1.09 0.98 2/88 31489
/proc/meminfo: memFree=1620504/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=222.48
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 22239 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.48
Current children cumulated vsize (KiB) 915460
[startup+282.639 s]
/proc/loadavg: 1.31 1.10 0.99 2/94 31616
/proc/meminfo: memFree=1621280/2055920 swapFree=4192812/4192956
[pid=31425] ppid=31423 vsize=915460 CPUtime=282.43
/proc/31425/stat : 31425 (java) R 31423 31425 31305 0 -1 0 9624 0 1 0 28234 9 0 0 25 0 8 0 156493743 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31425/statm: 228865 9359 2513 14 0 215335 0
[pid=31425/tid=31427] ppid=31423 vsize=915460 CPUtime=0.03
/proc/31425/task/31427/stat : 31427 (java) S 31423 31425 31305 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 156493747 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31428] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31428/stat : 31428 (java) S 31423 31425 31305 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31429] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31429/stat : 31429 (java) S 31423 31425 31305 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156493748 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31430] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31430/stat : 31430 (java) S 31423 31425 31305 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31431] ppid=31423 vsize=915460 CPUtime=0.22
/proc/31425/task/31431/stat : 31431 (java) S 31423 31425 31305 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31425/tid=31432] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31432/stat : 31432 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31425/tid=31433] ppid=31423 vsize=915460 CPUtime=0
/proc/31425/task/31433/stat : 31433 (java) S 31423 31425 31305 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156493751 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 301.259
CPU time (s): 300.986
CPU user time (s): 300.876
CPU system time (s): 0.109983
CPU usage (%): 99.9093
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.876
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9633
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= 6904
involuntary context switches= 12473
runsolver used 0.305953 s user time and 0.84887 s system time
The end
Begin job on node25 on Sat Jan 6 10:56:46 UTC 2007
IDJOB= 229794
IDBENCH= 6359
FILE ID= node25/229794-1168080995
PBS_JOBID= 3476117
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229794-1168080995/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-229794-1168080995 -o ROOT/results/node25/solver-229794-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229794-1168080995/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 34d660f97c2aa6cd4abc948e6021373c
RANDOM SEED= 612455333
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.279
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.279
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: 1625040 kB
Buffers: 44080 kB
Cached: 242948 kB
SwapCached: 0 kB
Active: 109516 kB
Inactive: 249860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4140 kB
Writeback: 0 kB
Mapped: 101372 kB
Slab: 56004 kB
Committed_AS: 3707728 kB
PageTables: 2408 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= 66548 MiB
End job on node25 on Sat Jan 6 11:02:02 UTC 2007