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/208521-1168074718/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2708 maxDegree=21
0.63 maxArity=2
0.63 => wckTime=0.32 cpuTime=0.24 mem=12M803
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.521 cpuTime=0.37 mem=13M918
0.84
0.84 preprocessing
0.84 nbConstraintChecks=19 nbPropagations=40 nbRevisions=1 nbUselessRevisions=0 nbRemovedValues=1
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.0 mem=13M918
0.89
0.89 search
0.89 run=0 nbConstraintChecks=40259 nbPropagations=587 nbRevisions=6527 nbUselessRevisions=5254 nbAssignments=27
0.89 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.055 cpuTime=0.03 mem=14M894
0.91
0.91 search
0.91 run=1 nbConstraintChecks=74463 nbPropagations=1732 nbRevisions=19564 nbUselessRevisions=15952 nbAssignments=66
0.91 nbFailedAssignments=21 nbBacktracks=28 nbVisitedNodes=103 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.05 mem=14M894
0.93
0.93 search
0.93 run=2 nbConstraintChecks=124650 nbPropagations=3618 nbRevisions=41179 nbUselessRevisions=33564
0.93 nbAssignments=107 nbFailedAssignments=31 nbBacktracks=50 nbVisitedNodes=166 nbRestartNogoods=4 mapSize=39
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.097 cpuTime=0.06 mem=14M894
0.95
0.95 search
0.95 run=3 nbConstraintChecks=203883 nbPropagations=6687 nbRevisions=78204 nbUselessRevisions=63866
0.95 nbAssignments=180 nbFailedAssignments=60 nbBacktracks=85 nbVisitedNodes=288 nbRestartNogoods=7 mapSize=69
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.116 cpuTime=0.08 mem=14M894
0.98
0.98 search
0.98 run=4 nbConstraintChecks=325222 nbPropagations=11499 nbRevisions=137948 nbUselessRevisions=112530
0.98 nbAssignments=271 nbFailedAssignments=91 nbBacktracks=135 nbVisitedNodes=441 nbRestartNogoods=9 mapSize=109
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.143 cpuTime=0.1 mem=14M894
1.02
1.02 search
1.02 run=5 nbConstraintChecks=490983 nbPropagations=18874 nbRevisions=232578 nbUselessRevisions=189782
1.02 nbAssignments=414 nbFailedAssignments=148 nbBacktracks=212 nbVisitedNodes=683 nbRestartNogoods=14 mapSize=170
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.183 cpuTime=0.14 mem=14M894
1.07
1.07 search
1.07 run=6 nbConstraintChecks=728860 nbPropagations=29896 nbRevisions=376677 nbUselessRevisions=306965
1.07 nbAssignments=619 nbFailedAssignments=231 nbBacktracks=325 nbVisitedNodes=1047 nbRestartNogoods=21 mapSize=274
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.235 cpuTime=0.19 mem=14M894
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1015499 nbPropagations=45256 nbRevisions=577332 nbUselessRevisions=469619
1.14 nbAssignments=896 nbFailedAssignments=328 nbBacktracks=496 nbVisitedNodes=1500 nbRestartNogoods=26 mapSize=404
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.302 cpuTime=0.25 mem=14M894
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1512537 nbPropagations=67993 nbRevisions=878409 nbUselessRevisions=713849
1.24 nbAssignments=1322 nbFailedAssignments=489 nbBacktracks=754 nbVisitedNodes=2238 nbRestartNogoods=32
1.24 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.405 cpuTime=0.35 mem=14M894
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2294227 nbPropagations=102267 nbRevisions=1340172 nbUselessRevisions=1088734
1.40 nbAssignments=1968 nbFailedAssignments=745 nbBacktracks=1138 nbVisitedNodes=3351 nbRestartNogoods=35
1.40 mapSize=953 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.564 cpuTime=0.49 mem=14M894
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=14M894)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=3526307 nbPropagations=153947 nbRevisions=2044251 nbUselessRevisions=1660097
1.62 nbAssignments=2924 nbFailedAssignments=1116 nbBacktracks=1716 nbVisitedNodes=5012 nbRestartNogoods=40
1.62 => wckTime=0.779 cpuTime=0.69 mem=14M894
1.92
1.92 search
1.92 run=11 nbConstraintChecks=5336457 nbPropagations=232393 nbRevisions=3121088 nbUselessRevisions=2535027
1.92 nbAssignments=4422 nbFailedAssignments=1738 nbBacktracks=2581 nbVisitedNodes=7638 nbRestartNogoods=47
1.92 => wckTime=1.082 cpuTime=0.99 mem=14M894
2.36
2.36 search
2.36 run=12 nbConstraintChecks=8038069 nbPropagations=348728 nbRevisions=4725278 nbUselessRevisions=3836386
2.36 nbAssignments=6586 nbFailedAssignments=2595 nbBacktracks=3878 nbVisitedNodes=11373 nbRestartNogoods=56
2.36 => wckTime=1.522 cpuTime=1.42 mem=14M894
3.03
3.03 search
3.03 run=13 nbConstraintChecks=12081520 nbPropagations=525555 nbRevisions=7179921 nbUselessRevisions=5830031
3.03 nbAssignments=9955 nbFailedAssignments=4009 nbBacktracks=5826 nbVisitedNodes=17312 nbRestartNogoods=63
3.03 => wckTime=2.193 cpuTime=2.09 mem=14M894
3.95
3.95 search
3.95 run=14 nbConstraintChecks=17534664 nbPropagations=785529 nbRevisions=10786404 nbUselessRevisions=8763196
3.95 nbAssignments=14721 nbFailedAssignments=5845 nbBacktracks=8745 nbVisitedNodes=25557 nbRestartNogoods=71
3.95 => wckTime=3.116 cpuTime=3.01 mem=14M894
5.35
5.35 search
5.35 run=15 nbConstraintChecks=26155127 nbPropagations=1167481 nbRevisions=16070038 nbUselessRevisions=13050952
5.35 nbAssignments=21720 nbFailedAssignments=8458 nbBacktracks=13124 nbVisitedNodes=37510 nbRestartNogoods=83
5.35 => wckTime=4.51 cpuTime=4.38 mem=14M894
7.58
7.58 search
7.58 run=16 nbConstraintChecks=39739299 nbPropagations=1749234 nbRevisions=24146015 nbUselessRevisions=19610525
7.58 nbAssignments=32885 nbFailedAssignments=13048 nbBacktracks=19693 nbVisitedNodes=57025 nbRestartNogoods=90
7.58 => wckTime=6.743 cpuTime=6.6 mem=14M894
10.66
10.66 search
10.66 run=17 nbConstraintChecks=58539441 nbPropagations=2603298 nbRevisions=36003863 nbUselessRevisions=29239839
10.66 nbAssignments=48697 nbFailedAssignments=19000 nbBacktracks=29547 nbVisitedNodes=84122 nbRestartNogoods=99
10.66 => wckTime=9.821 cpuTime=9.65 mem=14M894
15.69
15.69 search
15.70 run=18 nbConstraintChecks=89322065 nbPropagations=3901726 nbRevisions=54043299 nbUselessRevisions=43887886
15.70 nbAssignments=73122 nbFailedAssignments=28638 nbBacktracks=44327 nbVisitedNodes=126686 nbRestartNogoods=109
15.70 => wckTime=14.859 cpuTime=14.63 mem=14M894
23.32
23.32 search
23.32 run=19 nbConstraintChecks=136798743 nbPropagations=5869563 nbRevisions=81505683 nbUselessRevisions=66202296
23.32 nbAssignments=109641 nbFailedAssignments=42980 nbBacktracks=66496 nbVisitedNodes=190309 nbRestartNogoods=124
23.32 => wckTime=22.48 cpuTime=22.19 mem=14M894
33.90
33.90 search
33.90 run=20 nbConstraintChecks=201460366 nbPropagations=8776170 nbRevisions=121967003 nbUselessRevisions=99069396
33.90 nbAssignments=163121 nbFailedAssignments=63199 nbBacktracks=99750 nbVisitedNodes=282250 nbRestartNogoods=134
33.90 => wckTime=33.066 cpuTime=32.68 mem=14M894
50.95
50.95 search
50.95 run=21 nbConstraintChecks=306550043 nbPropagations=13184980 nbRevisions=183447827 nbUselessRevisions=149017269
50.95 nbAssignments=245840 nbFailedAssignments=96030 nbBacktracks=149632 nbVisitedNodes=426027 nbRestartNogoods=148
50.95 => wckTime=50.116 cpuTime=49.57 mem=14M894
75.41
75.41 search
75.41 run=22 nbConstraintChecks=457113652 nbPropagations=19757233 nbRevisions=274909850 nbUselessRevisions=223309062
75.41 nbAssignments=367413 nbFailedAssignments=142778 nbBacktracks=224450 nbVisitedNodes=635574 nbRestartNogoods=165
75.41 => wckTime=74.576 cpuTime=73.81 mem=14M894
112.72
112.72 search
112.72 run=23 nbConstraintChecks=701166934 nbPropagations=29764425 nbRevisions=414666421 nbUselessRevisions=336868129
112.72 nbAssignments=554374 nbFailedAssignments=217506 nbBacktracks=336678 nbVisitedNodes=962358 nbRestartNogoods=185
112.72 => wckTime=111.883 cpuTime=110.92 mem=14M894
164.46
164.46 search
164.46 run=24 nbConstraintChecks=1048157942 nbPropagations=44720320 nbRevisions=623876573 nbUselessRevisions=506929538
164.46 nbAssignments=828935 nbFailedAssignments=323719 nbBacktracks=505020 nbVisitedNodes=1438011 nbRestartNogoods=195
164.46 => wckTime=163.624 cpuTime=162.64 mem=14M894
244.19
244.19 search
244.19 run=25 nbConstraintChecks=1587680305 nbPropagations=67322286 nbRevisions=940663548 nbUselessRevisions=764523464
244.19 nbAssignments=1247361 nbFailedAssignments=489627 nbBacktracks=757533 nbVisitedNodes=2166696
244.19 nbRestartNogoods=209
244.19 => wckTime=243.353 cpuTime=242.34 mem=14M894
364.80
364.80 search
364.80 run=26 nbConstraintChecks=2410458556 nbPropagations=101394122 nbRevisions=1418574189
364.80 nbUselessRevisions=1152841788 nbAssignments=1875560 nbFailedAssignments=739051 nbBacktracks=1136303
364.80 nbVisitedNodes=3257702 nbRestartNogoods=218
364.80 => wckTime=363.964 cpuTime=362.93 mem=14M894
366.65
366.65 search
366.65 run=27 nbConstraintChecks=2422920406 nbPropagations=135640470 nbRevisions=1898931571
366.65 nbUselessRevisions=1543142371 nbAssignments=1885246 nbFailedAssignments=743022 nbBacktracks=1141978
366.65 nbVisitedNodes=3274588 nbRestartNogoods=229
366.65 => wckTime=365.811 cpuTime=364.77 mem=14M894
366.65
366.65 global
366.65 nbConstraintChecks=2422920425 nbPropagations=135640510 nbRevisions=1898931572 nbUselessRevisions=1543142371
366.65 nbRestartNogoods=229 solvingWckTime=365.813 solvingCpuTime=364.77 expiredTime=no totalExploration=no
366.65 nbFoundSolutions=1 globalCpuTime=365.19
366.65 => wckTime=366.337 cpuTime=365.14 mem=14M894
366.65
366.65 s SATISFIABLE
366.65 v 5 11 0 11 11 15 17 10 0 17 17 8 5 3 18 1 10 12 1 7 16 6 0 15 2 11 18 15 18 13 5 7 6 3 12 13 13 10 6 13
366.65 d NODES 1885246
366.65 d CHECKS 2422920425
366.65
366.65 totalWckTime=366.419 totalCpuTime=365.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208521-1168074718 -o ROOT/results/node72/solver-208521-1168074718 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/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.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=18540 CPUtime=0
/proc/603/stat : 603 (runsolver) R 601 603 32675 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155880645 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/603/statm: 4635 279 244 17 0 2626 0
[startup+0.109909 s]
/proc/loadavg: 1.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=914988 CPUtime=0.09
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 3054 0 1 0 8 1 0 0 17 0 8 0 155880645 936947712 2800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228747 2800 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517941 s]
/proc/loadavg: 1.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915328 CPUtime=0.5
/proc/603/stat : 603 (java) S 601 603 32675 0 -1 0 6893 0 1 0 46 4 0 0 18 0 8 0 155880645 937295872 6632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228832 6632 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33902 s]
/proc/loadavg: 1.54 1.33 1.53 3/100 611
/proc/meminfo: memFree=1413744/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=1.3
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8635 0 1 0 125 5 0 0 20 0 8 0 155880645 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8373 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.22
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97616 s]
/proc/loadavg: 1.57 1.34 1.53 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=2.93
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8667 0 1 0 288 5 0 0 25 0 8 0 155880645 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8404 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.23
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.17745 s]
/proc/loadavg: 1.57 1.34 1.53 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=6.1
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8675 0 1 0 605 5 0 0 25 0 8 0 155880645 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8412 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.23
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.646 s]
/proc/loadavg: 1.64 1.37 1.54 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=12.5
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8680 0 1 0 1245 5 0 0 25 0 8 0 155880645 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8417 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155880649 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456
[startup+25.5082 s]
/proc/loadavg: 1.69 1.39 1.54 3/100 611
/proc/meminfo: memFree=1413488/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=25.26
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8686 0 1 0 2520 6 0 0 25 0 8 0 155880645 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8422 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915456
[startup+51.1135 s]
/proc/loadavg: 1.87 1.45 1.56 3/100 611
/proc/meminfo: memFree=1413488/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=50.63
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8691 0 1 0 5057 6 0 0 25 0 8 0 155880645 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8427 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915456
[startup+102.325 s]
/proc/loadavg: 1.87 1.52 1.57 3/100 667
/proc/meminfo: memFree=1379752/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=101.46
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8694 0 1 0 10139 7 0 0 25 0 8 0 155880645 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8430 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456
[startup+162.402 s]
/proc/loadavg: 1.88 1.58 1.59 2/88 733
/proc/meminfo: memFree=1438864/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=161.48
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8696 0 1 0 16140 8 0 0 25 0 8 0 155880645 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8432 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 915456
[startup+222.416 s]
/proc/loadavg: 1.32 1.48 1.55 2/85 737
/proc/meminfo: memFree=1444336/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=221.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8699 0 1 0 22139 8 0 0 25 0 8 0 155880645 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8435 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 915456
[startup+282.432 s]
/proc/loadavg: 1.12 1.39 1.51 2/85 739
/proc/meminfo: memFree=1444272/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=281.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8701 0 1 0 28138 9 0 0 25 0 8 0 155880645 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8437 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.47
Current children cumulated vsize (KiB) 915456
[startup+342.448 s]
/proc/loadavg: 1.04 1.31 1.48 2/85 739
/proc/meminfo: memFree=1444336/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=341.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8701 0 1 0 34138 9 0 0 25 0 8 0 155880645 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8437 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.47
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 366.703
CPU time (s): 365.688
CPU user time (s): 365.588
CPU system time (s): 0.099984
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.588
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8794
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= 8251
involuntary context switches= 12995
runsolver used 0.434933 s user time and 1.00985 s system time
The end
Begin job on node72 on Sat Jan 6 09:11:58 UTC 2007
IDJOB= 208521
IDBENCH= 4401
FILE ID= node72/208521-1168074718
PBS_JOBID= 3476025
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208521-1168074718 -o ROOT/results/node72/solver-208521-1168074718 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91844d68f905c60e332aa1a67b93aa9d
RANDOM SEED= 466112337
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.223
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.223
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: 1437704 kB
Buffers: 40728 kB
Cached: 432348 kB
SwapCached: 0 kB
Active: 168884 kB
Inactive: 376524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1437704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3948 kB
Writeback: 0 kB
Mapped: 101300 kB
Slab: 57400 kB
Committed_AS: 3402544 kB
PageTables: 2372 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= 66551 MiB
End job on node72 on Sat Jan 6 09:18:05 UTC 2007