0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206645-1168073955/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.50
1.50 constraints being loaded...
2.22 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.22 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.22 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.22 => wckTime=1.917 cpuTime=1.53 mem=57M57
2.38
2.38 solver IterativeSystematicSolver being built...
2.54 => wckTime=2.233 cpuTime=1.66 mem=65M70
2.54
2.54 preprocessing
2.54 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.54 detectedInconsistency=no
2.54 => wckTime=0.0030 cpuTime=0.0 mem=65M70
2.67
2.67 search
2.67 run=0 nbConstraintChecks=37131 nbValidityChecks=65606 nbPropagations=337 nbRevisions=3435
2.67 nbUselessRevisions=2822 nbAssignments=24 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=40
2.67 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.67 => wckTime=0.131 cpuTime=0.1 mem=65M70
2.79
2.79 search
2.79 run=1 nbConstraintChecks=99148 nbValidityChecks=184400 nbPropagations=1132 nbRevisions=12711
2.79 nbUselessRevisions=10445 nbAssignments=66 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=110
2.79 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=0.247 cpuTime=0.21 mem=65M70
2.94
2.94 search
2.94 run=2 nbConstraintChecks=179161 nbValidityChecks=345368 nbPropagations=2587 nbRevisions=30384
2.94 nbUselessRevisions=24920 nbAssignments=114 nbFailedAssignments=49 nbBacktracks=48 nbVisitedNodes=194
2.94 nbRestartNogoods=7 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.94 => wckTime=0.396 cpuTime=0.34 mem=65M70
3.11
3.11 search
3.11 run=3 nbConstraintChecks=279867 nbValidityChecks=546243 nbPropagations=5046 nbRevisions=61120
3.11 nbUselessRevisions=49853 nbAssignments=200 nbFailedAssignments=95 nbBacktracks=82 nbVisitedNodes=344
3.11 nbRestartNogoods=9 mapSize=72 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=0.568 cpuTime=0.51 mem=65M70
3.54
3.54 search
3.54 run=4 nbConstraintChecks=537925 nbValidityChecks=1065858 nbPropagations=9531 nbRevisions=120309
3.54 nbUselessRevisions=97661 nbAssignments=370 nbFailedAssignments=209 nbBacktracks=133 nbVisitedNodes=665
3.54 nbRestartNogoods=12 mapSize=117 nbInferences=0 nbTooLargeKeys=0
3.54 => wckTime=0.995 cpuTime=0.93 mem=66M62
3.99
3.99 search
3.99 run=5 nbConstraintChecks=806851 nbValidityChecks=1602741 nbPropagations=16376 nbRevisions=210183
3.99 nbUselessRevisions=170112 nbAssignments=552 nbFailedAssignments=310 nbBacktracks=209 nbVisitedNodes=996
3.99 nbRestartNogoods=15 mapSize=181 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=1.452 cpuTime=1.38 mem=66M62
5.19
5.19 search
5.19 run=6 nbConstraintChecks=1600295 nbValidityChecks=3076149 nbPropagations=28260 nbRevisions=372544
5.19 nbUselessRevisions=300277 nbAssignments=941 nbFailedAssignments=578 nbBacktracks=322 nbVisitedNodes=1742
5.19 nbRestartNogoods=19 mapSize=290 nbInferences=0 nbTooLargeKeys=0
5.19 => wckTime=2.655 cpuTime=2.56 mem=66M62
6.76
6.76 search
6.76 run=7 nbConstraintChecks=2634222 nbValidityChecks=4992817 nbPropagations=47219 nbRevisions=634990
6.76 nbUselessRevisions=510283 nbAssignments=1580 nbFailedAssignments=1041 nbBacktracks=492 nbVisitedNodes=2979
6.76 nbRestartNogoods=28 mapSize=448 nbInferences=0 nbTooLargeKeys=0
6.76 => wckTime=4.22 cpuTime=4.1 mem=66M62
7.98
7.98 search
7.98 run=8 nbConstraintChecks=3363508 nbValidityChecks=6545482 nbPropagations=73649 nbRevisions=993943
7.98 nbUselessRevisions=798101 nbAssignments=2128 nbFailedAssignments=1327 nbBacktracks=748 nbVisitedNodes=3983
7.98 nbRestartNogoods=42 mapSize=679 nbInferences=0 nbTooLargeKeys=0
7.98 => wckTime=5.444 cpuTime=5.3 mem=66M62
10.03
10.03 search
10.03 run=9 nbConstraintChecks=4643303 nbValidityChecks=9027126 nbPropagations=110735 nbRevisions=1490609
10.03 nbUselessRevisions=1197186 nbAssignments=2889 nbFailedAssignments=1698 nbBacktracks=1133 nbVisitedNodes=5347
10.03 nbRestartNogoods=52 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
10.03 => wckTime=7.494 cpuTime=7.33 mem=66M62
10.13
10.13 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=66M62)
13.68
13.68 search
13.68 run=10 nbConstraintChecks=6969535 nbValidityChecks=13490622 nbPropagations=165692 nbRevisions=2219116
13.68 nbUselessRevisions=1781861 nbAssignments=4200 nbFailedAssignments=2427 nbBacktracks=1710 nbVisitedNodes=7734
13.68 nbRestartNogoods=60
13.68 => wckTime=11.14 cpuTime=10.9 mem=66M62
21.98
21.98 search
21.98 run=11 nbConstraintChecks=12417456 nbValidityChecks=23747156 nbPropagations=257419 nbRevisions=3462081
21.98 nbUselessRevisions=2776821 nbAssignments=6803 nbFailedAssignments=4160 nbBacktracks=2574 nbVisitedNodes=12772
21.98 nbRestartNogoods=68
21.98 => wckTime=19.442 cpuTime=19.13 mem=66M62
29.48
29.48 search
29.48 run=12 nbConstraintChecks=17209755 nbValidityChecks=33395028 nbPropagations=392264 nbRevisions=5278682
29.48 nbUselessRevisions=4230634 nbAssignments=9981 nbFailedAssignments=6033 nbBacktracks=3871 nbVisitedNodes=18752
29.48 nbRestartNogoods=77
29.48 => wckTime=26.94 cpuTime=26.56 mem=66M62
39.23
39.23 search
39.23 run=13 nbConstraintChecks=23304489 nbValidityChecks=45859976 nbPropagations=583286 nbRevisions=7817567
39.23 nbUselessRevisions=6266383 nbAssignments=14534 nbFailedAssignments=8634 nbBacktracks=5819 nbVisitedNodes=27095
39.23 nbRestartNogoods=84
39.23 => wckTime=36.695 cpuTime=36.21 mem=66M62
64.95
64.95 search
64.95 run=14 nbConstraintChecks=40569615 nbValidityChecks=80226523 nbPropagations=899384 nbRevisions=12153797
64.95 nbUselessRevisions=9766106 nbAssignments=26148 nbFailedAssignments=17324 nbBacktracks=8738 nbVisitedNodes=49772
64.95 nbRestartNogoods=101
64.95 => wckTime=62.407 cpuTime=61.67 mem=66M62
85.41
85.41 search
85.41 run=15 nbConstraintChecks=53071994 nbValidityChecks=106509750 nbPropagations=1341165 nbRevisions=18093657
85.41 nbUselessRevisions=14554830 nbAssignments=35537 nbFailedAssignments=22328 nbBacktracks=13117
85.41 nbVisitedNodes=66903 nbRestartNogoods=120
85.41 => wckTime=82.868 cpuTime=81.93 mem=66M62
121.20
121.20 search
121.20 run=16 nbConstraintChecks=75158946 nbValidityChecks=151879994 nbPropagations=1992446 nbRevisions=26629025
121.20 nbUselessRevisions=21416040 nbAssignments=50428 nbFailedAssignments=30646 nbBacktracks=19685
121.20 nbVisitedNodes=94355 nbRestartNogoods=134
121.20 => wckTime=118.658 cpuTime=117.33 mem=66M62
190.57
190.57 search
190.57 run=17 nbConstraintChecks=119687243 nbValidityChecks=237611761 nbPropagations=2973419 nbRevisions=39519625
190.57 nbUselessRevisions=31768241 nbAssignments=74579 nbFailedAssignments=44940 nbBacktracks=29537
190.57 nbVisitedNodes=139345 nbRestartNogoods=143
190.57 => wckTime=188.034 cpuTime=185.99 mem=66M62
280.10
280.10 search
280.10 run=18 nbConstraintChecks=176158499 nbValidityChecks=351670676 nbPropagations=4452812 nbRevisions=58890806
280.10 nbUselessRevisions=47321615 nbAssignments=111716 nbFailedAssignments=67293 nbBacktracks=44316
280.10 nbVisitedNodes=208795 nbRestartNogoods=158
280.10 => wckTime=277.56 cpuTime=274.62 mem=66M62
436.65
436.65 search
436.65 run=19 nbConstraintChecks=276604775 nbValidityChecks=545210577 nbPropagations=6678185 nbRevisions=88136566
436.65 nbUselessRevisions=70785634 nbAssignments=165695 nbFailedAssignments=99097 nbBacktracks=66484
436.65 nbVisitedNodes=309060 nbRestartNogoods=177
436.65 => wckTime=434.115 cpuTime=429.62 mem=66M62
657.88
657.88 search
657.88 run=20 nbConstraintChecks=419285394 nbValidityChecks=833987631 nbPropagations=10082949 nbRevisions=133596683
657.88 nbUselessRevisions=107381617 nbAssignments=263060 nbFailedAssignments=163203 nbBacktracks=99737
657.88 nbVisitedNodes=494178 nbRestartNogoods=206
657.88 => wckTime=655.337 cpuTime=648.62 mem=66M62
979.06
979.06 search
979.06 run=21 nbConstraintChecks=623104875 nbValidityChecks=1229624181 nbPropagations=15073794 nbRevisions=199836534
979.06 nbUselessRevisions=160686754 nbAssignments=377036 nbFailedAssignments=227293 nbBacktracks=149615
979.06 nbVisitedNodes=703568 nbRestartNogoods=223
979.06 => wckTime=976.522 cpuTime=968.05 mem=66M62
1452.15
1452.15 search
1452.15 run=22 nbConstraintChecks=916596305 nbValidityChecks=1819463695 nbPropagations=22594014 nbRevisions=298577141
1452.15 nbUselessRevisions=239977460 nbAssignments=564078 nbFailedAssignments=339510 nbBacktracks=224434
1452.15 nbVisitedNodes=1052253 nbRestartNogoods=239
1452.15 => wckTime=1449.613 cpuTime=1440.79 mem=66M62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-206645-1168073955 -o ROOT/results/node12/solver-206645-1168073955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206645-1168073955/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=18540 CPUtime=0
/proc/20341/stat : 20341 (runsolver) R 20339 20341 18755 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155790755 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20341/statm: 4635 279 244 17 0 2626 0
[startup+0.10705 s]
/proc/loadavg: 2.00 2.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=914988 CPUtime=0.08
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 3000 0 1 0 7 1 0 0 25 0 8 0 155790755 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515122 s]
/proc/loadavg: 2.00 2.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915328 CPUtime=0.49
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 8018 0 1 0 45 4 0 0 25 0 8 0 155790755 937295872 7757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228832 7757 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33727 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1468840/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915328 CPUtime=1.3
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 155790755 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228832 18837 2149 14 0 215302 0
[pid=20341/tid=20343] ppid=20339 vsize=915328 CPUtime=0.05
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 155790759 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915328 CPUtime=0.07
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.99057 s]
/proc/loadavg: 2.00 2.00 1.92 4/100 20349
/proc/meminfo: memFree=1428264/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=2.94
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32430 0 1 0 278 16 0 0 25 0 8 0 155790755 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32164 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.2
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 378 0 0 0 20 0 0 0 15 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.27516 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417064/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=6.19
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32439 0 1 0 603 16 0 0 25 0 8 0 155790755 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32170 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 17 0 8 0 155790759 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.22
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 387 0 0 0 22 0 0 0 15 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7643 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417136/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=12.6
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32457 0 1 0 1243 17 0 0 25 0 8 0 155790755 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32184 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 402 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915440
[startup+25.6196 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417264/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=25.34
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32458 0 1 0 2517 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915440
[startup+51.2403 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417328/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=50.7
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32458 0 1 0 5053 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915440
[startup+102.473 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417328/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=101.41
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 10124 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915440
[startup+162.481 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 20499
/proc/meminfo: memFree=1416128/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=160.78
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 16048 30 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.92
Current children cumulated vsize (KiB) 915440
[startup+1483.7 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 21067
/proc/meminfo: memFree=1480616/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1474.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 147439 52 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.91
Current children cumulated vsize (KiB) 915440
[startup+1543.72 s]
/proc/loadavg: 1.99 1.92 1.87 3/100 21067
/proc/meminfo: memFree=1479976/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1534.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 153438 53 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.91
Current children cumulated vsize (KiB) 915440
[startup+1603.74 s]
/proc/loadavg: 1.99 1.93 1.87 3/100 21067
/proc/meminfo: memFree=1478376/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1594.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 159438 53 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.91
Current children cumulated vsize (KiB) 915440
[startup+1663.75 s]
/proc/loadavg: 2.03 1.95 1.88 3/100 21067
/proc/meminfo: memFree=1476712/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1654.9
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 165436 54 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.9
Current children cumulated vsize (KiB) 915440
[startup+1723.76 s]
/proc/loadavg: 2.01 1.96 1.89 3/100 21067
/proc/meminfo: memFree=1476520/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1714.89
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 171434 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.89
Current children cumulated vsize (KiB) 915440
[startup+1783.78 s]
/proc/loadavg: 2.00 1.97 1.89 3/100 21067
/proc/meminfo: memFree=1475496/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1774.88
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 177433 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.88
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.96 s]
/proc/loadavg: 2.00 1.97 1.90 3/100 21067
/proc/meminfo: memFree=1474088/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1800.06
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 179951 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.04
CPU time (s): 1800.15
CPU user time (s): 1799.57
CPU system time (s): 0.580911
CPU usage (%): 99.5082
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.580911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32475
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= 37819
involuntary context switches= 60344
runsolver used 1.72674 s user time and 5.50416 s system time
The end
Begin job on node12 on Sat Jan 6 08:59:16 UTC 2007
IDJOB= 206645
IDBENCH= 4224
FILE ID= node12/206645-1168073955
PBS_JOBID= 3475713
Free space on /tmp= 66305 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206645-1168073955/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-206645-1168073955 -o ROOT/results/node12/solver-206645-1168073955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206645-1168073955/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 91e6597cdbbcd987f765c4d7bef264d4
RANDOM SEED= 219183663
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.265
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.265
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: 1536840 kB
Buffers: 29184 kB
Cached: 255472 kB
SwapCached: 4684 kB
Active: 215376 kB
Inactive: 222540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1536840 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 7508 kB
Writeback: 0 kB
Mapped: 173012 kB
Slab: 65876 kB
Committed_AS: 4722728 kB
PageTables: 2360 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= 66310 MiB
End job on node12 on Sat Jan 6 09:29:26 UTC 2007