0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/196248-1168070474/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.91
0.91 constraints being loaded...
1.22 nbConstraints=73 nbRelationTypes=73 nbExtensionStructures=73 nbSharedExtensionStructures=0
1.22 nbConflictsStructures=73 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.22 => wckTime=0.918 cpuTime=0.81 mem=44M853
1.33
1.33 solver IterativeSystematicSolver being built...
1.48 => wckTime=1.186 cpuTime=0.94 mem=33M840
1.49
1.49 preprocessing
1.49 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.49 detectedInconsistency=no
1.49 => wckTime=0.0030 cpuTime=0.0 mem=33M840
1.59
1.59 search
1.59 run=0 nbConstraintChecks=21728 nbValidityChecks=38542 nbPropagations=319 nbRevisions=3020
1.59 nbUselessRevisions=2387 nbAssignments=26 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=44
1.59 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.099 cpuTime=0.07 mem=33M840
1.68
1.68 search
1.68 run=1 nbConstraintChecks=85486 nbValidityChecks=161230 nbPropagations=1265 nbRevisions=13808
1.68 nbUselessRevisions=10971 nbAssignments=83 nbFailedAssignments=46 nbBacktracks=26 nbVisitedNodes=147
1.68 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.196 cpuTime=0.17 mem=33M840
1.75
1.75 search
1.75 run=2 nbConstraintChecks=122014 nbValidityChecks=230082 nbPropagations=2716 nbRevisions=30143
1.75 nbUselessRevisions=23983 nbAssignments=129 nbFailedAssignments=65 nbBacktracks=50 nbVisitedNodes=223
1.75 nbRestartNogoods=4 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.267 cpuTime=0.23 mem=33M840
1.89
1.89 search
1.89 run=3 nbConstraintChecks=217269 nbValidityChecks=417388 nbPropagations=5236 nbRevisions=60796
1.89 nbUselessRevisions=48426 nbAssignments=227 nbFailedAssignments=125 nbBacktracks=83 nbVisitedNodes=399
1.89 nbRestartNogoods=5 mapSize=67 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.404 cpuTime=0.36 mem=33M840
2.10
2.10 search
2.10 run=4 nbConstraintChecks=374739 nbValidityChecks=722668 nbPropagations=9476 nbRevisions=112310
2.10 nbUselessRevisions=89465 nbAssignments=383 nbFailedAssignments=225 nbBacktracks=133 nbVisitedNodes=688
2.10 nbRestartNogoods=9 mapSize=108 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.611 cpuTime=0.56 mem=33M840
2.30
2.30 search
2.30 run=5 nbConstraintChecks=512268 nbValidityChecks=997478 nbPropagations=15808 nbRevisions=186190
2.30 nbUselessRevisions=148138 nbAssignments=561 nbFailedAssignments=323 nbBacktracks=209 nbVisitedNodes=1009
2.30 nbRestartNogoods=19 mapSize=174 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=0.816 cpuTime=0.76 mem=33M840
2.59
2.59 search
2.59 run=6 nbConstraintChecks=714183 nbValidityChecks=1386936 nbPropagations=25207 nbRevisions=293358
2.59 nbUselessRevisions=233093 nbAssignments=794 nbFailedAssignments=439 nbBacktracks=323 nbVisitedNodes=1424
2.59 nbRestartNogoods=21 mapSize=269 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=1.105 cpuTime=1.05 mem=33M840
3.31
3.31 search
3.31 run=7 nbConstraintChecks=1219238 nbValidityChecks=2437207 nbPropagations=40479 nbRevisions=470874
3.31 nbUselessRevisions=373618 nbAssignments=1303 nbFailedAssignments=772 nbBacktracks=493 nbVisitedNodes=2374
3.31 nbRestartNogoods=22 mapSize=419 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=1.823 cpuTime=1.76 mem=33M840
4.38
4.38 search
4.38 run=8 nbConstraintChecks=2048775 nbValidityChecks=4077198 nbPropagations=64759 nbRevisions=763572
4.38 nbUselessRevisions=605366 nbAssignments=2069 nbFailedAssignments=1276 nbBacktracks=749 nbVisitedNodes=3830
4.38 nbRestartNogoods=27 mapSize=654 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=2.895 cpuTime=2.82 mem=33M840
5.30
5.30 search
5.30 run=9 nbConstraintChecks=2718515 nbValidityChecks=5479854 nbPropagations=101060 nbRevisions=1180545
5.30 nbUselessRevisions=933987 nbAssignments=3077 nbFailedAssignments=1891 nbBacktracks=1133 nbVisitedNodes=5693
5.30 nbRestartNogoods=33 mapSize=997 nbInferences=0 nbTooLargeKeys=0
5.30 => wckTime=3.815 cpuTime=3.73 mem=34M815
5.37
5.37 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=34M815)
8.15
8.15 search
8.15 run=10 nbConstraintChecks=4844630 nbValidityChecks=9555335 nbPropagations=158132 nbRevisions=1851292
8.15 nbUselessRevisions=1461181 nbAssignments=4636 nbFailedAssignments=2869 nbBacktracks=1709 nbVisitedNodes=8644
8.15 nbRestartNogoods=48
8.15 => wckTime=6.666 cpuTime=6.57 mem=34M815
10.44
10.44 search
10.44 run=11 nbConstraintChecks=6573596 nbValidityChecks=12931479 nbPropagations=240994 nbRevisions=2801285
10.44 nbUselessRevisions=2208488 nbAssignments=6526 nbFailedAssignments=3889 nbBacktracks=2573 nbVisitedNodes=12122
10.44 nbRestartNogoods=59
10.44 => wckTime=8.958 cpuTime=8.86 mem=34M815
14.71
14.71 search
14.71 run=12 nbConstraintChecks=9846653 nbValidityChecks=19723833 nbPropagations=365731 nbRevisions=4215628
14.71 nbUselessRevisions=3318670 nbAssignments=9863 nbFailedAssignments=5922 nbBacktracks=3870 nbVisitedNodes=18356
14.71 nbRestartNogoods=67
14.71 => wckTime=13.22 cpuTime=13.11 mem=34M815
20.92
20.92 search
20.92 run=13 nbConstraintChecks=14476480 nbValidityChecks=28662954 nbPropagations=545528 nbRevisions=6246804
20.92 nbUselessRevisions=4910683 nbAssignments=14107 nbFailedAssignments=8214 nbBacktracks=5816 nbVisitedNodes=26024
20.92 nbRestartNogoods=80
20.92 => wckTime=19.433 cpuTime=19.31 mem=34M815
31.65
31.65 search
31.65 run=14 nbConstraintChecks=22595205 nbValidityChecks=45295462 nbPropagations=824341 nbRevisions=9425024
31.65 nbUselessRevisions=7404291 nbAssignments=21943 nbFailedAssignments=13123 nbBacktracks=8737 nbVisitedNodes=40762
31.65 nbRestartNogoods=92
31.65 => wckTime=30.161 cpuTime=30.03 mem=34M815
53.28
53.28 search
53.28 run=15 nbConstraintChecks=39695668 nbValidityChecks=76846809 nbPropagations=1256455 nbRevisions=14540336
53.28 nbUselessRevisions=11446880 nbAssignments=33819 nbFailedAssignments=20614 nbBacktracks=13117
53.28 nbVisitedNodes=63307 nbRestartNogoods=103
53.28 => wckTime=51.793 cpuTime=51.62 mem=34M815
71.85
71.85 search
71.85 run=16 nbConstraintChecks=53761032 nbValidityChecks=104331177 nbPropagations=1891264 nbRevisions=21906181
71.85 nbUselessRevisions=17264913 nbAssignments=49201 nbFailedAssignments=29422 nbBacktracks=19685
71.85 nbVisitedNodes=91732 nbRestartNogoods=122
71.85 => wckTime=70.367 cpuTime=70.19 mem=34M815
104.70
104.71 search
104.71 run=17 nbConstraintChecks=78017278 nbValidityChecks=154240486 nbPropagations=2844524 nbRevisions=32874435
104.71 nbUselessRevisions=25898355 nbAssignments=74388 nbFailedAssignments=44750 nbBacktracks=29538
104.71 nbVisitedNodes=138565 nbRestartNogoods=131
104.71 => wckTime=103.219 cpuTime=102.98 mem=34M815
167.76
167.76 search
167.76 run=18 nbConstraintChecks=130300190 nbValidityChecks=255377135 nbPropagations=4333162 nbRevisions=50656745
167.76 nbUselessRevisions=39931101 nbAssignments=119264 nbFailedAssignments=74842 nbBacktracks=44316
167.76 nbVisitedNodes=224612 nbRestartNogoods=142
167.76 => wckTime=166.276 cpuTime=165.99 mem=34M815
228.72
228.72 search
228.72 run=19 nbConstraintChecks=175919770 nbValidityChecks=345544160 nbPropagations=6518032 nbRevisions=76030557
228.72 nbUselessRevisions=59937468 nbAssignments=171326 nbFailedAssignments=104732 nbBacktracks=66484
228.72 nbVisitedNodes=320836 nbRestartNogoods=156
228.72 => wckTime=227.236 cpuTime=226.86 mem=34M815
370.97
370.97 search
370.97 run=20 nbConstraintChecks=282494603 nbValidityChecks=564675193 nbPropagations=9944568 nbRevisions=116054385
370.97 nbUselessRevisions=91458240 nbAssignments=269293 nbFailedAssignments=169441 nbBacktracks=99736
370.97 nbVisitedNodes=506988 nbRestartNogoods=175
370.97 => wckTime=369.486 cpuTime=368.96 mem=34M815
407.98
407.99 search
407.99 run=21 nbConstraintChecks=310253738 nbValidityChecks=619520726 nbPropagations=13787491 nbRevisions=160633336
407.99 nbUselessRevisions=126558191 nbAssignments=300815 nbFailedAssignments=187625 nbBacktracks=113050
407.99 nbVisitedNodes=565361 nbRestartNogoods=192
407.99 => wckTime=406.499 cpuTime=405.93 mem=34M815
407.99
407.99 global
407.99 nbConstraintChecks=310253738 nbValidityChecks=619520726 nbPropagations=13787515 nbRevisions=160633336
407.99 nbUselessRevisions=126558191 nbRestartNogoods=192 solvingWckTime=406.5 solvingCpuTime=405.93 expiredTime=no
407.99 totalExploration=no nbFoundSolutions=1 globalCpuTime=406.91
407.99 => wckTime=407.689 cpuTime=406.87 mem=34M815
407.99
407.99 s SATISFIABLE
407.99 v 2 14 12 15 13 5 11 5 11 12 11 6 14 19 10 2 21 4 7 18 13 21 22 1
407.99 d NODES 300815
407.99 d CHECKS 310253738
407.99
407.99 totalWckTime=407.768 totalCpuTime=406.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-196248-1168070474 -o ROOT/results/node38/solver-196248-1168070474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=292 CPUtime=0
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 155447029 299008 35 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8606500 0 0 4096 0 0 0 0 17 0 0 0
/proc/14777/statm: 73 35 27 14 0 5 0
[startup+0.108189 s]
/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=914988 CPUtime=0.09
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 3068 0 1 0 7 2 0 0 22 0 8 0 155447029 936947712 2814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516268 s]
/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915328 CPUtime=0.5
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 8245 0 1 0 45 5 0 0 25 0 8 0 155447029 937295872 7984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228832 7985 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33943 s]
/proc/loadavg: 2.14 1.90 1.56 3/93 14785
/proc/meminfo: memFree=1515488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=1.32
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23006 0 1 0 120 12 0 0 25 0 8 0 155447029 937398272 22743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 22743 2367 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6315 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.09
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915428
[startup+2.98675 s]
/proc/loadavg: 2.14 1.90 1.56 3/93 14785
/proc/meminfo: memFree=1500128/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=2.96
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23282 0 1 0 283 13 0 0 25 0 8 0 155447029 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23017 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.18
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915428
[startup+6.27939 s]
/proc/loadavg: 2.13 1.90 1.56 3/93 14793
/proc/meminfo: memFree=1499872/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=6.26
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23297 0 1 0 611 15 0 0 25 0 8 0 155447029 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23030 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.2
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915428
[startup+12.7717 s]
/proc/loadavg: 2.12 1.90 1.56 3/93 14819
/proc/meminfo: memFree=1500000/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=12.74
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 1257 17 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915428
[startup+25.6322 s]
/proc/loadavg: 2.10 1.90 1.57 3/93 14847
/proc/meminfo: memFree=1500192/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=25.58
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 2540 18 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915428
[startup+51.2752 s]
/proc/loadavg: 2.06 1.91 1.58 3/93 14863
/proc/meminfo: memFree=1500128/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=51.18
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 5096 22 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915428
[startup+102.543 s]
/proc/loadavg: 2.06 1.94 1.60 3/87 14909
/proc/meminfo: memFree=1501144/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=102.37
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 10211 26 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915428
[startup+162.546 s]
/proc/loadavg: 2.02 1.95 1.63 3/87 14909
/proc/meminfo: memFree=1501144/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=162.33
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 16206 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 915428
[startup+222.556 s]
/proc/loadavg: 2.01 1.95 1.65 3/87 14909
/proc/meminfo: memFree=1501272/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=222.25
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 22198 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 915428
[startup+282.569 s]
/proc/loadavg: 2.00 1.96 1.66 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=282.21
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 28194 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 915428
[startup+342.583 s]
/proc/loadavg: 2.00 1.96 1.68 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=342.17
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 34190 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 915428
[startup+402.685 s]
/proc/loadavg: 2.00 1.97 1.70 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=402.19
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 40191 28 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 915428
Child status: 0
Real time (s): 408.11
CPU time (s): 407.519
CPU user time (s): 407.223
CPU system time (s): 0.295955
CPU usage (%): 99.8553
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.223
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23310
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= 9419
involuntary context switches= 18852
runsolver used 0.52592 s user time and 1.2908 s system time
The end
Begin job on node38 on Sat Jan 6 08:01:14 UTC 2007
IDJOB= 196248
IDBENCH= 3337
FILE ID= node38/196248-1168070474
PBS_JOBID= 3475936
Free space on /tmp= 66509 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-196248-1168070474 -o ROOT/results/node38/solver-196248-1168070474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 43e8b6b7752c6463cc93f8445e2021d3
RANDOM SEED= 19633027
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.267
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.267
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: 1582904 kB
Buffers: 24276 kB
Cached: 273088 kB
SwapCached: 0 kB
Active: 149968 kB
Inactive: 251120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1582904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4552 kB
Writeback: 0 kB
Mapped: 124380 kB
Slab: 56616 kB
Committed_AS: 3910208 kB
PageTables: 2304 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= 66509 MiB
End job on node38 on Sat Jan 6 08:08:02 UTC 2007