0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/232148-1168081222/unknown.xml
0.38
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=941 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.313 cpuTime=0.23 mem=13M778
0.68
0.68 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.498 cpuTime=0.36 mem=14M78
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0040 cpuTime=0.0 mem=14M78
0.87
0.87 search
0.87 run=0 nbConstraintChecks=32623 nbPropagations=390 nbRevisions=5813 nbUselessRevisions=5044 nbAssignments=25
0.87 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.046 cpuTime=0.02 mem=15M119
0.89
0.89 search
0.89 run=1 nbConstraintChecks=73137 nbPropagations=1286 nbRevisions=20280 nbUselessRevisions=17684 nbAssignments=60
0.89 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=101 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.063 cpuTime=0.04 mem=15M119
0.91
0.91 search
0.91 run=2 nbConstraintChecks=144663 nbPropagations=2962 nbRevisions=49440 nbUselessRevisions=43210
0.91 nbAssignments=109 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=185 nbRestartNogoods=6 mapSize=47
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.087 cpuTime=0.06 mem=15M119
0.94
0.94 search
0.94 run=3 nbConstraintChecks=238756 nbPropagations=5770 nbRevisions=99922 nbUselessRevisions=87371
0.94 nbAssignments=181 nbFailedAssignments=76 nbBacktracks=80 nbVisitedNodes=313 nbRestartNogoods=10 mapSize=79
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.111 cpuTime=0.08 mem=15M119
0.96
0.96 search
0.96 run=4 nbConstraintChecks=379413 nbPropagations=10170 nbRevisions=181160 nbUselessRevisions=158390
0.97 nbAssignments=287 nbFailedAssignments=126 nbBacktracks=130 nbVisitedNodes=508 nbRestartNogoods=16 mapSize=129
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.139 cpuTime=0.1 mem=15M119
1.01
1.01 search
1.01 run=5 nbConstraintChecks=563376 nbPropagations=16744 nbRevisions=304607 nbUselessRevisions=266150
1.01 nbAssignments=434 nbFailedAssignments=192 nbBacktracks=205 nbVisitedNodes=778 nbRestartNogoods=22 mapSize=203
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.179 cpuTime=0.14 mem=15M119
1.07
1.07 search
1.07 run=6 nbConstraintChecks=883382 nbPropagations=26774 nbRevisions=498700 nbUselessRevisions=435265
1.07 nbAssignments=655 nbFailedAssignments=295 nbBacktracks=320 nbVisitedNodes=1189 nbRestartNogoods=31 mapSize=316
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.239 cpuTime=0.2 mem=15M119
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1362689 nbPropagations=42122 nbRevisions=800502 nbUselessRevisions=698111
1.15 nbAssignments=1014 nbFailedAssignments=476 nbBacktracks=492 nbVisitedNodes=1857 nbRestartNogoods=33
1.15 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.329 cpuTime=0.29 mem=15M119
1.29
1.29 search
1.29 run=8 nbConstraintChecks=2069395 nbPropagations=65033 nbRevisions=1258302 nbUselessRevisions=1096340
1.29 nbAssignments=1534 nbFailedAssignments=736 nbBacktracks=748 nbVisitedNodes=2813 nbRestartNogoods=37
1.29 mapSize=732 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.464 cpuTime=0.42 mem=15M119
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=15M119)
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3151474 nbPropagations=99733 nbRevisions=1960018 nbUselessRevisions=1707351
1.46 nbAssignments=2305 nbFailedAssignments=1115 nbBacktracks=1133 nbVisitedNodes=4246 nbRestartNogoods=43
1.46 => wckTime=0.636 cpuTime=0.58 mem=15M119
1.70
1.70 search
1.70 run=10 nbConstraintChecks=4702014 nbPropagations=151456 nbRevisions=3005342 nbUselessRevisions=2616592
1.70 nbAssignments=3421 nbFailedAssignments=1650 nbBacktracks=1709 nbVisitedNodes=6325 nbRestartNogoods=50
1.70 => wckTime=0.87 cpuTime=0.8 mem=15M119
2.04
2.04 search
2.04 run=11 nbConstraintChecks=7104047 nbPropagations=229105 nbRevisions=4586949 nbUselessRevisions=3992792
2.04 nbAssignments=5150 nbFailedAssignments=2508 nbBacktracks=2574 nbVisitedNodes=9535 nbRestartNogoods=58
2.04 => wckTime=1.215 cpuTime=1.15 mem=15M119
2.57
2.57 search
2.57 run=12 nbConstraintChecks=10677228 nbPropagations=345128 nbRevisions=6965655 nbUselessRevisions=6063883
2.57 nbAssignments=7660 nbFailedAssignments=3714 nbBacktracks=3873 nbVisitedNodes=14222 nbRestartNogoods=75
2.57 => wckTime=1.743 cpuTime=1.67 mem=15M119
3.36
3.36 search
3.36 run=13 nbConstraintChecks=15925516 nbPropagations=517941 nbRevisions=10520604 nbUselessRevisions=9160896
3.36 nbAssignments=11400 nbFailedAssignments=5502 nbBacktracks=5819 nbVisitedNodes=21149 nbRestartNogoods=81
3.36 => wckTime=2.534 cpuTime=2.46 mem=15M119
4.56
4.56 search
4.56 run=14 nbConstraintChecks=23759677 nbPropagations=776669 nbRevisions=15855334 nbUselessRevisions=13810346
4.56 nbAssignments=17100 nbFailedAssignments=8277 nbBacktracks=8739 nbVisitedNodes=31721 nbRestartNogoods=92
4.56 => wckTime=3.737 cpuTime=3.67 mem=15M119
6.37
6.37 search
6.37 run=15 nbConstraintChecks=35781026 nbPropagations=1165126 nbRevisions=23868739 nbUselessRevisions=20793105
6.37 nbAssignments=25659 nbFailedAssignments=12454 nbBacktracks=13117 nbVisitedNodes=47618 nbRestartNogoods=106
6.37 => wckTime=5.547 cpuTime=5.47 mem=15M119
9.15
9.15 search
9.15 run=16 nbConstraintChecks=54012468 nbPropagations=1749549 nbRevisions=35960921 nbUselessRevisions=31332487
9.15 nbAssignments=38379 nbFailedAssignments=18601 nbBacktracks=19685 nbVisitedNodes=71339 nbRestartNogoods=120
9.15 => wckTime=8.32 cpuTime=8.24 mem=15M119
13.28
13.28 search
13.28 run=17 nbConstraintChecks=81463848 nbPropagations=2628371 nbRevisions=54181642 nbUselessRevisions=47212520
13.28 nbAssignments=57651 nbFailedAssignments=28016 nbBacktracks=29537 nbVisitedNodes=107224 nbRestartNogoods=125
13.28 => wckTime=12.454 cpuTime=12.36 mem=15M119
19.44
19.44 search
19.44 run=18 nbConstraintChecks=122371247 nbPropagations=3948765 nbRevisions=81570308 nbUselessRevisions=71084439
19.44 nbAssignments=86505 nbFailedAssignments=42087 nbBacktracks=44315 nbVisitedNodes=160927 nbRestartNogoods=140
19.44 => wckTime=18.614 cpuTime=18.51 mem=15M119
28.92
28.92 search
28.92 run=19 nbConstraintChecks=185590472 nbPropagations=5942553 nbRevisions=123026599 nbUselessRevisions=107216900
28.92 nbAssignments=130250 nbFailedAssignments=63658 nbBacktracks=66483 nbVisitedNodes=242638 nbRestartNogoods=154
28.92 => wckTime=28.094 cpuTime=27.99 mem=15M119
43.01
43.01 search
43.01 run=20 nbConstraintChecks=278856375 nbPropagations=8933176 nbRevisions=185382187 nbUselessRevisions=161580592
43.01 nbAssignments=195210 nbFailedAssignments=95361 nbBacktracks=99735 nbVisitedNodes=363717 nbRestartNogoods=167
43.01 => wckTime=42.187 cpuTime=42.0 mem=15M119
64.25
64.25 search
64.25 run=21 nbConstraintChecks=420174597 nbPropagations=13425331 nbRevisions=279228160 nbUselessRevisions=243413838
64.25 nbAssignments=292990 nbFailedAssignments=143258 nbBacktracks=149614 nbVisitedNodes=545956 nbRestartNogoods=186
64.25 => wckTime=63.423 cpuTime=63.19 mem=15M119
96.32
96.32 search
96.32 run=22 nbConstraintChecks=634296611 nbPropagations=20181495 nbRevisions=420749673 nbUselessRevisions=366842462
96.32 nbAssignments=440252 nbFailedAssignments=215696 nbBacktracks=224433 nbVisitedNodes=820626 nbRestartNogoods=205
96.32 => wckTime=95.491 cpuTime=95.21 mem=15M119
145.18
145.18 search
145.18 run=23 nbConstraintChecks=964012787 nbPropagations=30375912 nbRevisions=635065917 nbUselessRevisions=553781428
145.18 nbAssignments=662029 nbFailedAssignments=325240 nbBacktracks=336660 nbVisitedNodes=1234531 nbRestartNogoods=225
145.18 => wckTime=144.358 cpuTime=144.03 mem=15M119
217.80
217.80 search
217.80 run=24 nbConstraintChecks=1452551188 nbPropagations=45691383 nbRevisions=957741829 nbUselessRevisions=835308251
217.80 nbAssignments=993262 nbFailedAssignments=488127 nbBacktracks=505001 nbVisitedNodes=1852162 nbRestartNogoods=237
217.80 => wckTime=216.97 cpuTime=216.62 mem=15M119
327.35
327.35 search
327.35 run=25 nbConstraintChecks=2191259910 nbPropagations=68721082 nbRevisions=1444130343
327.35 nbUselessRevisions=1259751770 nbAssignments=1490145 nbFailedAssignments=732493 nbBacktracks=757512
327.35 nbVisitedNodes=2779267 nbRestartNogoods=240
327.35 => wckTime=326.527 cpuTime=326.15 mem=15M119
494.27
494.27 search
494.27 run=26 nbConstraintChecks=3323886662 nbPropagations=103434843 nbRevisions=2180422766
494.27 nbUselessRevisions=1902424689 nbAssignments=2238322 nbFailedAssignments=1101900 nbBacktracks=1136279
494.27 nbVisitedNodes=4176039 nbRestartNogoods=246
494.27 => wckTime=493.448 cpuTime=493.04 mem=15M119
540.22
540.22 search
540.22 run=27 nbConstraintChecks=3635581339 nbPropagations=141361343 nbRevisions=2985746740
540.22 nbUselessRevisions=2605414062 nbAssignments=2444140 nbFailedAssignments=1204087 nbBacktracks=1239911
540.22 nbVisitedNodes=4560611 nbRestartNogoods=267
540.22 => wckTime=539.391 cpuTime=538.97 mem=15M119
540.22
540.22 global
540.22 nbConstraintChecks=3635581339 nbPropagations=141361368 nbRevisions=2985746740 nbUselessRevisions=2605414062
540.22 nbRestartNogoods=267 solvingWckTime=539.393 solvingCpuTime=538.97 expiredTime=no totalExploration=yes
540.22 nbFoundSolutions=0 globalCpuTime=539.37
540.22 => wckTime=539.894 cpuTime=539.33 mem=15M119
540.22
540.22 s UNSATISFIABLE
540.22 d NODES 2444140
540.22 d CHECKS 3635581339
540.22
540.22 totalWckTime=539.969 totalCpuTime=539.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-232148-1168081222 -o ROOT/results/node29/solver-232148-1168081222 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232148-1168081222/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.04 0.75 1.34 4/81 17817
/proc/meminfo: memFree=1666592/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=308 CPUtime=0
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 57 0 0 0 0 0 0 0 19 0 1 0 156517093 315392 40 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 1 0 0
/proc/17816/statm: 77 40 31 14 0 5 0
[startup+0.102939 s]
/proc/loadavg: 0.04 0.75 1.34 4/81 17817
/proc/meminfo: memFree=1666592/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=911488 CPUtime=0.05
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 2573 0 1 0 4 1 0 0 22 0 8 0 156517093 933363712 2320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17816/statm: 227872 2320 1266 14 0 215051 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 911488
[startup+0.510962 s]
/proc/loadavg: 0.04 0.75 1.34 4/81 17817
/proc/meminfo: memFree=1666592/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915328 CPUtime=0.46
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 6902 0 1 0 42 4 0 0 16 0 8 0 156517093 937295872 6641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228832 6642 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33201 s]
/proc/loadavg: 0.04 0.75 1.34 2/88 17824
/proc/meminfo: memFree=1642472/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=1.29
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8753 0 1 0 123 6 0 0 17 0 8 0 156517093 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17816/statm: 228864 8491 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.2
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 156517103 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.96911 s]
/proc/loadavg: 0.11 0.76 1.33 2/88 17824
/proc/meminfo: memFree=1642344/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=2.92
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8759 0 1 0 286 6 0 0 18 0 8 0 156517093 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8496 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 156517097 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.26031 s]
/proc/loadavg: 0.11 0.76 1.33 2/88 17827
/proc/meminfo: memFree=1642152/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=6.2
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8760 0 1 0 614 6 0 0 25 0 8 0 156517093 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8496 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7287 s]
/proc/loadavg: 0.25 0.76 1.33 2/88 17857
/proc/meminfo: memFree=1640480/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=12.65
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 1259 6 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915456
[startup+25.5865 s]
/proc/loadavg: 0.44 0.79 1.33 3/100 17869
/proc/meminfo: memFree=1581824/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=25.51
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 2545 6 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456
[startup+51.2881 s]
/proc/loadavg: 0.97 0.88 1.35 3/106 17953
/proc/meminfo: memFree=1580664/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=51.12
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 5105 7 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915456
[startup+102.582 s]
/proc/loadavg: 1.55 1.05 1.38 3/106 18033
/proc/meminfo: memFree=1580608/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=102.32
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 10225 7 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915456
[startup+162.605 s]
/proc/loadavg: 1.83 1.22 1.41 3/100 18067
/proc/meminfo: memFree=1581696/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=162.29
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 16222 7 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 915456
[startup+222.62 s]
/proc/loadavg: 1.94 1.36 1.45 3/100 18067
/proc/meminfo: memFree=1581760/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=222.29
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 22222 7 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 915456
[startup+282.633 s]
/proc/loadavg: 1.98 1.48 1.48 3/100 18067
/proc/meminfo: memFree=1581760/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=282.31
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 28223 8 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 915456
[startup+342.65 s]
/proc/loadavg: 1.99 1.57 1.51 3/100 18067
/proc/meminfo: memFree=1581824/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=342.3
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 34222 8 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 915456
[startup+402.664 s]
/proc/loadavg: 1.99 1.65 1.54 3/100 18067
/proc/meminfo: memFree=1581952/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=402.3
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 40222 8 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 915456
[startup+462.677 s]
/proc/loadavg: 1.99 1.71 1.57 3/100 18067
/proc/meminfo: memFree=1581888/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=462.3
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 46222 8 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788762 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 915456
[startup+522.692 s]
/proc/loadavg: 1.99 1.76 1.59 3/100 18067
/proc/meminfo: memFree=1581888/2055920 swapFree=4192812/4192956
[pid=17816] ppid=17814 vsize=915456 CPUtime=522.3
/proc/17816/stat : 17816 (java) R 17814 17816 17378 0 -1 0 8763 0 1 0 52222 8 0 0 25 0 8 0 156517093 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17816/statm: 228864 8498 2513 14 0 215334 0
[pid=17816/tid=17818] ppid=17814 vsize=915456 CPUtime=0.03
/proc/17816/task/17818/stat : 17818 (java) S 17814 17816 17378 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 156517097 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17819] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17819/stat : 17819 (java) S 17814 17816 17378 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17820] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17820/stat : 17820 (java) S 17814 17816 17378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517098 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17821] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17821/stat : 17821 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17822] ppid=17814 vsize=915456 CPUtime=0.21
/proc/17816/task/17822/stat : 17822 (java) S 17814 17816 17378 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17816/tid=17823] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17823/stat : 17823 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17816/tid=17824] ppid=17814 vsize=915456 CPUtime=0
/proc/17816/task/17824/stat : 17824 (java) S 17814 17816 17378 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517103 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 540.275
CPU time (s): 539.853
CPU user time (s): 539.758
CPU system time (s): 0.094985
CPU usage (%): 99.9219
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.758
system time used= 0.094985
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= 11787
involuntary context switches= 12105
runsolver used 0.508922 s user time and 1.50277 s system time
The end
Begin job on node29 on Sat Jan 6 11:00:25 UTC 2007
IDJOB= 232148
IDBENCH= 6502
FILE ID= node29/232148-1168081222
PBS_JOBID= 3476088
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-58021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232148-1168081222/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-232148-1168081222 -o ROOT/results/node29/solver-232148-1168081222 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232148-1168081222/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 033cd0dd1127d1ee13d52ddfcb690341
RANDOM SEED= 160652724
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.241
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.241
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: 1667008 kB
Buffers: 43036 kB
Cached: 209652 kB
SwapCached: 0 kB
Active: 114008 kB
Inactive: 198212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1667008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 78584 kB
Slab: 61564 kB
Committed_AS: 3008748 kB
PageTables: 2220 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= 66546 MiB
End job on node29 on Sat Jan 6 11:09:30 UTC 2007