0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/229832-1168081006/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.57
0.57 constraints being loaded...
0.71 nbConstraints=467 nbRelationTypes=467 nbExtensionStructures=467 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=467 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2336 maxDegree=27
0.71 maxArity=2
0.71 => wckTime=0.392 cpuTime=0.3 mem=17M728
0.76
0.77 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.595 cpuTime=0.43 mem=15M369
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.0080 cpuTime=0.0 mem=15M369
0.98
0.98 search
0.98 run=0 nbConstraintChecks=41933 nbPropagations=605 nbRevisions=6240 nbUselessRevisions=5220 nbAssignments=30
0.98 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.057 cpuTime=0.04 mem=15M369
1.00
1.00 search
1.00 run=1 nbConstraintChecks=89833 nbPropagations=1889 nbRevisions=20370 nbUselessRevisions=16995 nbAssignments=67
1.00 nbFailedAssignments=12 nbBacktracks=30 nbVisitedNodes=96 nbRestartNogoods=3 mapSize=21 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.083 cpuTime=0.05 mem=15M369
1.02
1.02 search
1.02 run=2 nbConstraintChecks=141036 nbPropagations=3946 nbRevisions=43966 nbUselessRevisions=36596
1.02 nbAssignments=114 nbFailedAssignments=25 nbBacktracks=56 nbVisitedNodes=166 nbRestartNogoods=5 mapSize=40
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.102 cpuTime=0.07 mem=15M369
1.04
1.04 search
1.04 run=3 nbConstraintChecks=226328 nbPropagations=7109 nbRevisions=81965 nbUselessRevisions=68045
1.04 nbAssignments=176 nbFailedAssignments=44 nbBacktracks=90 nbVisitedNodes=263 nbRestartNogoods=6 mapSize=66
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.122 cpuTime=0.08 mem=15M369
1.07
1.07 search
1.07 run=4 nbConstraintChecks=382179 nbPropagations=12236 nbRevisions=148675 nbUselessRevisions=123097
1.07 nbAssignments=278 nbFailedAssignments=83 nbBacktracks=145 nbVisitedNodes=437 nbRestartNogoods=7 mapSize=112
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.155 cpuTime=0.12 mem=15M369
1.12
1.12 search
1.12 run=5 nbConstraintChecks=598827 nbPropagations=19920 nbRevisions=253785 nbUselessRevisions=209668
1.12 nbAssignments=409 nbFailedAssignments=127 nbBacktracks=220 nbVisitedNodes=651 nbRestartNogoods=10 mapSize=171
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.199 cpuTime=0.16 mem=15M369
1.19
1.19 search
1.19 run=6 nbConstraintChecks=949014 nbPropagations=31645 nbRevisions=420401 nbUselessRevisions=346688
1.19 nbAssignments=607 nbFailedAssignments=203 nbBacktracks=333 nbVisitedNodes=991 nbRestartNogoods=14 mapSize=267
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.269 cpuTime=0.22 mem=15M369
1.27
1.27 search
1.27 run=7 nbConstraintChecks=1369991 nbPropagations=48670 nbRevisions=665835 nbUselessRevisions=548101
1.27 nbAssignments=884 nbFailedAssignments=301 nbBacktracks=503 nbVisitedNodes=1452 nbRestartNogoods=20 mapSize=398
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.35 cpuTime=0.3 mem=15M369
1.39
1.39 search
1.39 run=8 nbConstraintChecks=2012823 nbPropagations=73258 nbRevisions=1022993 nbUselessRevisions=839819
1.39 nbAssignments=1278 nbFailedAssignments=432 nbBacktracks=760 nbVisitedNodes=2108 nbRestartNogoods=23
1.39 mapSize=594 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.469 cpuTime=0.42 mem=15M369
1.57
1.57 search
1.57 run=9 nbConstraintChecks=2984154 nbPropagations=109591 nbRevisions=1558737 nbUselessRevisions=1277637
1.57 nbAssignments=1906 nbFailedAssignments=666 nbBacktracks=1146 nbVisitedNodes=3169 nbRestartNogoods=27
1.57 mapSize=901 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.649 cpuTime=0.58 mem=15M369
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M369)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=4545064 nbPropagations=163915 nbRevisions=2371089 nbUselessRevisions=1940695
1.82 nbAssignments=2826 nbFailedAssignments=999 nbBacktracks=1723 nbVisitedNodes=4723 nbRestartNogoods=30
1.82 => wckTime=0.902 cpuTime=0.82 mem=15M369
2.16
2.16 search
2.16 run=11 nbConstraintChecks=6779879 nbPropagations=245355 nbRevisions=3595086 nbUselessRevisions=2939467
2.16 nbAssignments=4201 nbFailedAssignments=1499 nbBacktracks=2588 nbVisitedNodes=7059 nbRestartNogoods=35
2.16 => wckTime=1.246 cpuTime=1.17 mem=15M369
2.72
2.72 search
2.72 run=12 nbConstraintChecks=10416971 nbPropagations=369152 nbRevisions=5481577 nbUselessRevisions=4481741
2.72 nbAssignments=6336 nbFailedAssignments=2327 nbBacktracks=3885 nbVisitedNodes=10750 nbRestartNogoods=42
2.72 => wckTime=1.798 cpuTime=1.71 mem=15M369
3.46
3.46 search
3.46 run=13 nbConstraintChecks=15455148 nbPropagations=550049 nbRevisions=8223660 nbUselessRevisions=6716768
3.46 nbAssignments=9262 nbFailedAssignments=3296 nbBacktracks=5834 nbVisitedNodes=15580 nbRestartNogoods=45
3.46 => wckTime=2.544 cpuTime=2.45 mem=15M369
4.70
4.70 search
4.70 run=14 nbConstraintChecks=23588980 nbPropagations=826891 nbRevisions=12468201 nbUselessRevisions=10188581
4.70 nbAssignments=14087 nbFailedAssignments=5192 nbBacktracks=8753 nbVisitedNodes=23924 nbRestartNogoods=55
4.70 => wckTime=3.78 cpuTime=3.68 mem=15M369
6.36
6.36 search
6.36 run=15 nbConstraintChecks=34444899 nbPropagations=1233309 nbRevisions=18692263 nbUselessRevisions=15274597
6.36 nbAssignments=21041 nbFailedAssignments=7758 nbBacktracks=13131 nbVisitedNodes=35598 nbRestartNogoods=61
6.36 => wckTime=5.441 cpuTime=5.34 mem=15M369
9.14
9.14 search
9.14 run=16 nbConstraintChecks=53218679 nbPropagations=1853506 nbRevisions=28208354 nbUselessRevisions=23044205
9.14 nbAssignments=31664 nbFailedAssignments=11805 nbBacktracks=19699 nbVisitedNodes=53830 nbRestartNogoods=71
9.14 => wckTime=8.222 cpuTime=8.11 mem=15M369
12.76
12.76 search
12.76 run=17 nbConstraintChecks=75847175 nbPropagations=2759598 nbRevisions=42197338 nbUselessRevisions=34508387
12.76 nbAssignments=47314 nbFailedAssignments=17594 nbBacktracks=29551 nbVisitedNodes=80247 nbRestartNogoods=84
12.76 => wckTime=11.845 cpuTime=11.72 mem=15M369
19.29
19.29 search
19.29 run=18 nbConstraintChecks=120079042 nbPropagations=4155320 nbRevisions=63821758 nbUselessRevisions=52191172
19.29 nbAssignments=71615 nbFailedAssignments=27107 nbBacktracks=44330 nbVisitedNodes=121979 nbRestartNogoods=90
19.29 => wckTime=18.373 cpuTime=18.21 mem=15M369
27.81
27.81 search
27.81 run=19 nbConstraintChecks=174813084 nbPropagations=6235318 nbRevisions=95797569 nbUselessRevisions=78375352
27.81 nbAssignments=107193 nbFailedAssignments=40507 nbBacktracks=66499 nbVisitedNodes=182917 nbRestartNogoods=100
27.81 => wckTime=26.888 cpuTime=26.69 mem=15M369
42.06
42.06 search
42.06 run=20 nbConstraintChecks=270555337 nbPropagations=9397220 nbRevisions=144715518 nbUselessRevisions=118426244
42.06 nbAssignments=160726 nbFailedAssignments=60778 nbBacktracks=99754 nbVisitedNodes=274895 nbRestartNogoods=107
42.06 => wckTime=41.138 cpuTime=40.87 mem=15M369
61.55
61.55 search
61.55 run=21 nbConstraintChecks=394732995 nbPropagations=14111237 nbRevisions=217402677 nbUselessRevisions=178011949
61.55 nbAssignments=241822 nbFailedAssignments=91984 nbBacktracks=149634 nbVisitedNodes=413853 nbRestartNogoods=120
61.55 => wckTime=60.627 cpuTime=60.26 mem=15M369
92.19
92.19 search
92.19 run=22 nbConstraintChecks=598431828 nbPropagations=21189217 nbRevisions=326735453 nbUselessRevisions=267573956
92.19 nbAssignments=360833 nbFailedAssignments=136169 nbBacktracks=224453 nbVisitedNodes=617173 nbRestartNogoods=127
92.19 => wckTime=91.267 cpuTime=90.76 mem=15M369
138.01
138.01 search
138.01 run=23 nbConstraintChecks=903449135 nbPropagations=31810778 nbRevisions=490091060 nbUselessRevisions=401197719
138.01 nbAssignments=539391 nbFailedAssignments=202489 nbBacktracks=336680 nbVisitedNodes=921368 nbRestartNogoods=140
138.01 => wckTime=137.088 cpuTime=136.37 mem=15M369
211.06
211.06 search
211.06 run=24 nbConstraintChecks=1403190379 nbPropagations=47955115 nbRevisions=738970374 nbUselessRevisions=604487854
211.06 nbAssignments=810594 nbFailedAssignments=305341 nbBacktracks=505023 nbVisitedNodes=1384904 nbRestartNogoods=156
211.06 => wckTime=210.14 cpuTime=209.08 mem=15M369
315.41
315.41 search
315.41 run=25 nbConstraintChecks=2099223364 nbPropagations=72193649 nbRevisions=1114414277
315.41 nbUselessRevisions=911734750 nbAssignments=1216937 nbFailedAssignments=459164 nbBacktracks=757536
315.41 nbVisitedNodes=2081161 nbRestartNogoods=176
315.41 => wckTime=314.496 cpuTime=313.25 mem=15M369
391.05
391.05 search
391.05 run=26 nbConstraintChecks=2595711036 nbPropagations=102491148 nbRevisions=1581083809
391.05 nbUselessRevisions=1293550899 nbAssignments=1537471 nbFailedAssignments=574428 nbBacktracks=962756
391.05 nbVisitedNodes=2621164 nbRestartNogoods=194
391.05 => wckTime=390.129 cpuTime=388.82 mem=15M369
391.05
391.05 global
391.05 nbConstraintChecks=2595711036 nbPropagations=102491198 nbRevisions=1581083809 nbUselessRevisions=1293550899
391.05 nbRestartNogoods=194 solvingWckTime=390.131 solvingCpuTime=388.82 expiredTime=no totalExploration=no
391.05 nbFoundSolutions=1 globalCpuTime=389.31
391.05 => wckTime=390.73 cpuTime=389.25 mem=15M369
391.05
391.05 s SATISFIABLE
391.05 v 22 16 1 1 12 8 4 1 11 4 6 15 9 5 5 18 21 16 22 10 12 5 4 12 9 16 11 16 19 17 20 1 9 5 16 20 5 20 12 4 20 22 22 20 17 17 4 20 7 3
391.05 d NODES 1537471
391.05 d CHECKS 2595711036
391.05
391.05 totalWckTime=390.81 totalCpuTime=389.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-229832-1168081006 -o ROOT/results/node58/solver-229832-1168081006 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229832-1168081006/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.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=18540 CPUtime=0
/proc/29748/stat : 29748 (runsolver) R 29745 29748 29418 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156499904 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29748/statm: 4635 279 244 17 0 2626 0
[startup+0.104411 s]
/proc/loadavg: 0.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=913068 CPUtime=0.07
/proc/29748/stat : 29748 (java) S 29745 29748 29418 0 -1 0 2866 0 1 0 6 1 0 0 19 0 8 0 156499904 934981632 2612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228267 2613 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.512448 s]
/proc/loadavg: 0.06 0.42 1.05 4/69 29749
/proc/meminfo: memFree=1655672/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915328 CPUtime=0.48
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 6893 0 1 0 44 4 0 0 22 0 8 0 156499904 937295872 6632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228832 6633 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33352 s]
/proc/loadavg: 0.06 0.42 1.05 3/87 29767
/proc/meminfo: memFree=1599656/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=1.3
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9626 0 1 0 123 7 0 0 20 0 8 0 156499904 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9364 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.2
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9364 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) 915460
[startup+2.98565 s]
/proc/loadavg: 0.06 0.42 1.05 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=2.94
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9642 0 1 0 287 7 0 0 25 0 8 0 156499904 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9379 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156499909 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28294 s]
/proc/loadavg: 0.21 0.44 1.06 3/87 29767
/proc/meminfo: memFree=1599464/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=6.22
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 615 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7575 s]
/proc/loadavg: 0.36 0.47 1.06 3/87 29767
/proc/meminfo: memFree=1599464/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=12.66
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 1259 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.5956 s]
/proc/loadavg: 0.72 0.54 1.08 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=25.44
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 2537 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460
[startup+51.2928 s]
/proc/loadavg: 1.16 0.66 1.10 3/87 29767
/proc/meminfo: memFree=1599528/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=51.01
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9645 0 1 0 5094 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915460
[startup+102.573 s]
/proc/loadavg: 1.63 0.86 1.14 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=102.05
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 10198 7 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.23
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915460
[startup+162.591 s]
/proc/loadavg: 1.86 1.07 1.20 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=161.8
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 16172 8 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 915460
[startup+222.614 s]
/proc/loadavg: 1.95 1.23 1.24 3/87 29767
/proc/meminfo: memFree=1599536/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=221.54
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 22146 8 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 915460
[startup+282.627 s]
/proc/loadavg: 1.42 1.20 1.23 2/81 29914
/proc/meminfo: memFree=1628688/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=281.45
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9646 0 1 0 28136 9 0 0 25 0 8 0 156499904 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9380 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (KiB) 915460
[startup+342.653 s]
/proc/loadavg: 1.51 1.25 1.24 3/87 30021
/proc/meminfo: memFree=1470104/2055920 swapFree=4192812/4192956
[pid=29748] ppid=29745 vsize=915460 CPUtime=341.39
/proc/29748/stat : 29748 (java) R 29745 29748 29418 0 -1 0 9648 0 1 0 34128 11 0 0 25 0 8 0 156499904 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29748/statm: 228865 9382 2513 14 0 215335 0
[pid=29748/tid=29754] ppid=29745 vsize=915460 CPUtime=0.03
/proc/29748/task/29754/stat : 29754 (java) S 29745 29748 29418 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156499909 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29755] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29755/stat : 29755 (java) S 29745 29748 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29756] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29756/stat : 29756 (java) S 29745 29748 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156499910 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29760] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29760/stat : 29760 (java) S 29745 29748 29418 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29761] ppid=29745 vsize=915460 CPUtime=0.24
/proc/29748/task/29761/stat : 29761 (java) S 29745 29748 29418 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29762] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29762/stat : 29762 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29748/tid=29763] ppid=29745 vsize=915460 CPUtime=0
/proc/29748/task/29763/stat : 29763 (java) S 29745 29748 29418 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156499913 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.39
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 391.116
CPU time (s): 389.804
CPU user time (s): 389.675
CPU system time (s): 0.12898
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.675
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9655
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= 9099
involuntary context switches= 12663
runsolver used 0.432934 s user time and 0.995848 s system time
The end
Begin job on node58 on Sat Jan 6 10:56:54 UTC 2007
IDJOB= 229832
IDBENCH= 6364
FILE ID= node58/229832-1168081006
PBS_JOBID= 3476181
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-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/229832-1168081006/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-229832-1168081006 -o ROOT/results/node58/solver-229832-1168081006 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229832-1168081006/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5dd6e886dd59462738b4787e4740e36f
RANDOM SEED= 615202100
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: 1656352 kB
Buffers: 23112 kB
Cached: 290776 kB
SwapCached: 0 kB
Active: 79452 kB
Inactive: 254656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1656352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4092 kB
Writeback: 0 kB
Mapped: 30440 kB
Slab: 51320 kB
Committed_AS: 2230448 kB
PageTables: 1572 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= 66533 MiB
End job on node58 on Sat Jan 6 11:03:31 UTC 2007