0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/194282-1168069355/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.44 => wckTime=0.107 cpuTime=0.1 mem=6M951
0.44
0.44 relations being loaded...
0.60
0.60 constraints being loaded...
0.74 nbConstraints=466 nbRelationTypes=466 nbExtensionStructures=466 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=466 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2388 maxDegree=28
0.74 maxArity=2
0.74 => wckTime=0.41 cpuTime=0.32 mem=17M696
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.623 cpuTime=0.45 mem=15M365
0.97
0.97 preprocessing
0.97 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97 detectedInconsistency=no
0.97 => wckTime=0.0090 cpuTime=0.01 mem=15M365
1.02
1.02 search
1.02 run=0 nbConstraintChecks=44336 nbPropagations=547 nbRevisions=6025 nbUselessRevisions=5022 nbAssignments=25
1.02 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.059 cpuTime=0.04 mem=15M365
1.05
1.05 search
1.05 run=1 nbConstraintChecks=99578 nbPropagations=1804 nbRevisions=20913 nbUselessRevisions=17196 nbAssignments=63
1.05 nbFailedAssignments=15 nbBacktracks=29 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=21 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.087 cpuTime=0.06 mem=15M365
1.07
1.07 search
1.07 run=2 nbConstraintChecks=167339 nbPropagations=3933 nbRevisions=47155 nbUselessRevisions=38681
1.07 nbAssignments=107 nbFailedAssignments=28 nbBacktracks=51 nbVisitedNodes=161 nbRestartNogoods=3 mapSize=37
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.11 cpuTime=0.08 mem=15M365
1.09
1.09 search
1.09 run=3 nbConstraintChecks=278882 nbPropagations=7338 nbRevisions=91668 nbUselessRevisions=75071
1.09 nbAssignments=170 nbFailedAssignments=47 nbBacktracks=84 nbVisitedNodes=261 nbRestartNogoods=5 mapSize=63
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.133 cpuTime=0.1 mem=15M365
1.13
1.13 search
1.13 run=4 nbConstraintChecks=410251 nbPropagations=12443 nbRevisions=160286 nbUselessRevisions=131300
1.13 nbAssignments=252 nbFailedAssignments=68 nbBacktracks=135 nbVisitedNodes=396 nbRestartNogoods=9 mapSize=105
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.168 cpuTime=0.13 mem=15M365
1.18
1.18 search
1.18 run=5 nbConstraintChecks=631904 nbPropagations=20160 nbRevisions=266973 nbUselessRevisions=218686
1.18 nbAssignments=391 nbFailedAssignments=121 nbBacktracks=212 nbVisitedNodes=626 nbRestartNogoods=13 mapSize=168
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.22 cpuTime=0.17 mem=15M365
1.24
1.24 search
1.24 run=6 nbConstraintChecks=940942 nbPropagations=31621 nbRevisions=430290 nbUselessRevisions=352806
1.24 nbAssignments=600 nbFailedAssignments=205 nbBacktracks=327 nbVisitedNodes=981 nbRestartNogoods=16 mapSize=267
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.282 cpuTime=0.23 mem=15M365
1.34
1.34 search
1.34 run=7 nbConstraintChecks=1468294 nbPropagations=49256 nbRevisions=686857 nbUselessRevisions=562902
1.34 nbAssignments=907 nbFailedAssignments=331 nbBacktracks=497 nbVisitedNodes=1503 nbRestartNogoods=18 mapSize=410
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.379 cpuTime=0.33 mem=15M365
1.49
1.49 search
1.49 run=8 nbConstraintChecks=2286681 nbPropagations=75601 nbRevisions=1080747 nbUselessRevisions=884970
1.49 nbAssignments=1354 nbFailedAssignments=512 nbBacktracks=755 nbVisitedNodes=2271 nbRestartNogoods=24
1.49 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.526 cpuTime=0.47 mem=15M365
1.68
1.69 search
1.69 run=9 nbConstraintChecks=3358498 nbPropagations=113958 nbRevisions=1657223 nbUselessRevisions=1355521
1.69 nbAssignments=1975 nbFailedAssignments=739 nbBacktracks=1139 nbVisitedNodes=3316 nbRestartNogoods=33
1.69 mapSize=936 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.725 cpuTime=0.65 mem=15M365
1.75
1.75 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M365)
1.97
1.97 search
1.97 run=10 nbConstraintChecks=5125843 nbPropagations=172354 nbRevisions=2540587 nbUselessRevisions=2076557
1.97 nbAssignments=2951 nbFailedAssignments=1128 nbBacktracks=1719 nbVisitedNodes=5009 nbRestartNogoods=39
1.97 => wckTime=1.012 cpuTime=0.93 mem=15M365
2.33
2.33 search
2.33 run=11 nbConstraintChecks=7227709 nbPropagations=257975 nbRevisions=3829979 nbUselessRevisions=3131744
2.33 nbAssignments=4360 nbFailedAssignments=1663 nbBacktracks=2584 nbVisitedNodes=7437 nbRestartNogoods=44
2.33 => wckTime=1.37 cpuTime=1.27 mem=15M365
2.94
2.94 search
2.94 run=12 nbConstraintChecks=11478682 nbPropagations=387929 nbRevisions=5826329 nbUselessRevisions=4764446
2.94 nbAssignments=6533 nbFailedAssignments=2528 nbBacktracks=3883 nbVisitedNodes=11218 nbRestartNogoods=50
2.94 => wckTime=1.982 cpuTime=1.88 mem=15M365
3.72
3.72 search
3.72 run=13 nbConstraintChecks=16495573 nbPropagations=577150 nbRevisions=8724696 nbUselessRevisions=7135417
3.72 nbAssignments=9605 nbFailedAssignments=3638 nbBacktracks=5829 nbVisitedNodes=16401 nbRestartNogoods=59
3.72 => wckTime=2.763 cpuTime=2.65 mem=15M365
4.90
4.90 search
4.90 run=14 nbConstraintChecks=24013054 nbPropagations=856978 nbRevisions=13030377 nbUselessRevisions=10664188
4.90 nbAssignments=14330 nbFailedAssignments=5437 nbBacktracks=8748 nbVisitedNodes=24491 nbRestartNogoods=71
4.90 => wckTime=3.941 cpuTime=3.82 mem=15M365
6.90
6.90 search
6.90 run=15 nbConstraintChecks=37206450 nbPropagations=1285920 nbRevisions=19710342 nbUselessRevisions=16144326
6.90 nbAssignments=21763 nbFailedAssignments=8482 nbBacktracks=13127 nbVisitedNodes=37464 nbRestartNogoods=78
6.90 => wckTime=5.94 cpuTime=5.8 mem=15M365
9.70
9.70 search
9.70 run=16 nbConstraintChecks=55775588 nbPropagations=1927831 nbRevisions=29699208 nbUselessRevisions=24330713
9.70 nbAssignments=32598 nbFailedAssignments=12739 nbBacktracks=19695 nbVisitedNodes=56139 nbRestartNogoods=87
9.70 => wckTime=8.74 cpuTime=8.59 mem=15M365
13.93
13.93 search
13.93 run=17 nbConstraintChecks=83415665 nbPropagations=2889067 nbRevisions=44676419 nbUselessRevisions=36604891
13.93 nbAssignments=48681 nbFailedAssignments=18957 nbBacktracks=29548 nbVisitedNodes=83858 nbRestartNogoods=100
13.93 => wckTime=12.965 cpuTime=12.78 mem=15M365
20.05
20.05 search
20.05 run=18 nbConstraintChecks=122599068 nbPropagations=4315467 nbRevisions=66801204 nbUselessRevisions=54727973
20.05 nbAssignments=72663 nbFailedAssignments=28152 nbBacktracks=44326 nbVisitedNodes=124997 nbRestartNogoods=111
20.05 => wckTime=19.089 cpuTime=18.85 mem=15M365
29.81
29.81 search
29.81 run=19 nbConstraintChecks=188616591 nbPropagations=6458549 nbRevisions=100322507 nbUselessRevisions=82180255
29.81 nbAssignments=108951 nbFailedAssignments=42264 nbBacktracks=66494 nbVisitedNodes=187604 nbRestartNogoods=127
29.81 => wckTime=28.848 cpuTime=28.52 mem=15M365
44.14
44.14 search
44.14 run=20 nbConstraintChecks=281896275 nbPropagations=9690747 nbRevisions=150601110 nbUselessRevisions=123327098
44.14 nbAssignments=163189 nbFailedAssignments=63242 nbBacktracks=99746 nbVisitedNodes=281523 nbRestartNogoods=139
44.14 => wckTime=43.183 cpuTime=42.73 mem=15M365
63.43
63.43 search
63.43 run=21 nbConstraintChecks=403550895 nbPropagations=14408929 nbRevisions=223622798 nbUselessRevisions=183126654
63.43 nbAssignments=241545 nbFailedAssignments=91707 nbBacktracks=149625 nbVisitedNodes=414191 nbRestartNogoods=150
63.43 => wckTime=62.473 cpuTime=61.86 mem=15M365
96.81
96.81 search
96.81 run=22 nbConstraintChecks=626624816 nbPropagations=21605328 nbRevisions=335812387 nbUselessRevisions=275013524
96.81 nbAssignments=365725 nbFailedAssignments=141058 nbBacktracks=224444 nbVisitedNodes=629216 nbRestartNogoods=164
96.81 => wckTime=95.846 cpuTime=94.94 mem=15M365
141.34
141.34 search
141.35 run=23 nbConstraintChecks=913333517 nbPropagations=32224750 nbRevisions=500001357 nbUselessRevisions=409440975
141.35 nbAssignments=541954 nbFailedAssignments=205051 nbBacktracks=336674 nbVisitedNodes=928539 nbRestartNogoods=173
141.35 => wckTime=140.385 cpuTime=139.08 mem=15M365
212.18
212.18 search
212.18 run=24 nbConstraintChecks=1376996816 nbPropagations=48227816 nbRevisions=747147268 nbUselessRevisions=611752481
212.18 nbAssignments=813360 nbFailedAssignments=308106 nbBacktracks=505015 nbVisitedNodes=1395695 nbRestartNogoods=181
212.18 => wckTime=211.224 cpuTime=209.26 mem=15M365
322.03
322.03 search
322.03 run=25 nbConstraintChecks=2106331239 nbPropagations=72417220 nbRevisions=1122228437
322.03 nbUselessRevisions=918687063 nbAssignments=1222841 nbFailedAssignments=465066 nbBacktracks=757526
322.03 nbVisitedNodes=2099012 nbRestartNogoods=202
322.03 => wckTime=321.067 cpuTime=318.14 mem=15M365
461.22
461.22 search
461.22 run=26 nbConstraintChecks=3125172115 nbPropagations=108218852 nbRevisions=1675076575
461.22 nbUselessRevisions=1370661203 nbAssignments=1823004 nbFailedAssignments=686451 nbBacktracks=1136295
461.22 nbVisitedNodes=3117736 nbRestartNogoods=228
461.22 => wckTime=460.256 cpuTime=457.17 mem=15M365
673.78
673.78 search
673.78 run=27 nbConstraintChecks=4665315384 nbPropagations=161773156 nbRevisions=2501693568
673.78 nbUselessRevisions=2046570195 nbAssignments=2728853 nbFailedAssignments=1024139 nbBacktracks=1704447
673.78 nbVisitedNodes=4664880 nbRestartNogoods=241
673.78 => wckTime=672.817 cpuTime=669.49 mem=15M365
1019.11
1019.11 search
1019.11 run=28 nbConstraintChecks=7252281827 nbPropagations=243265426 nbRevisions=3770794697
1019.11 nbUselessRevisions=3084317683 nbAssignments=4131035 nbFailedAssignments=1574085 nbBacktracks=2556675
1019.11 nbVisitedNodes=7086009 nbRestartNogoods=260
1019.11 => wckTime=1018.155 cpuTime=1014.45 mem=15M365
1526.76
1526.76 search
1526.76 run=29 nbConstraintChecks=10949629844 nbPropagations=367014832 nbRevisions=5697989258
1526.76 nbUselessRevisions=4660986451 nbAssignments=6225427 nbFailedAssignments=2390125 nbBacktracks=3835015
1526.76 nbVisitedNodes=10712970 nbRestartNogoods=276
1526.76 => wckTime=1525.804 cpuTime=1521.48 mem=16M340
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-194282-1168069355 -o ROOT/results/node3/solver-194282-1168069355 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194282-1168069355/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.22 1.70 1.83 4/86 28209
/proc/meminfo: memFree=1217248/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=1784 CPUtime=0
/proc/28208/stat : 28208 (java) D 28206 28208 27895 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155331757 1826816 163 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 10924836 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28208/statm: 446 163 128 14 0 91 0
[startup+0.103229 s]
/proc/loadavg: 1.22 1.70 1.83 4/86 28209
/proc/meminfo: memFree=1217248/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=912760 CPUtime=0.08
/proc/28208/stat : 28208 (java) S 28206 28208 27895 0 -1 0 2780 0 1 0 7 1 0 0 18 0 8 0 155331757 934666240 2526 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228190 2526 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760
[startup+0.511295 s]
/proc/loadavg: 1.22 1.70 1.83 4/86 28209
/proc/meminfo: memFree=1217248/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915328 CPUtime=0.49
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 6590 0 1 0 43 6 0 0 18 0 8 0 155331757 937295872 6329 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228832 6329 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33443 s]
/proc/loadavg: 1.22 1.70 1.83 3/93 28216
/proc/meminfo: memFree=1189288/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1.29
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9613 0 1 0 121 8 0 0 24 0 8 0 155331757 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073821275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9351 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.21
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 378 0 0 0 21 0 0 0 15 0 8 0 155331765 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9351 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9351 18446744073709551615 134512640 134570532 4294956400 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) 915460
[startup+2.98769 s]
/proc/loadavg: 1.22 1.70 1.83 3/93 28216
/proc/meminfo: memFree=1189096/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=2.94
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9632 0 1 0 285 9 0 0 25 0 8 0 155331757 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9368 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 17 0 8 0 155331761 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27022 s]
/proc/loadavg: 1.28 1.71 1.83 3/93 28216
/proc/meminfo: memFree=1188840/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=6.19
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9632 0 1 0 610 9 0 0 25 0 8 0 155331757 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9368 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7603 s]
/proc/loadavg: 1.34 1.71 1.83 3/93 28216
/proc/meminfo: memFree=1188136/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=12.62
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9632 0 1 0 1253 9 0 0 25 0 8 0 155331757 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073874913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9368 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 396 0 0 0 24 1 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6154 s]
/proc/loadavg: 1.48 1.73 1.83 3/93 28216
/proc/meminfo: memFree=1186856/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=25.37
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9632 0 1 0 2528 9 0 0 25 0 8 0 155331757 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9368 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.2265 s]
/proc/loadavg: 1.66 1.75 1.83 3/93 28216
/proc/meminfo: memFree=1184168/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=50.76
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9633 0 1 0 5067 9 0 0 25 0 8 0 155331757 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9368 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9368 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460
[startup+102.448 s]
/proc/loadavg: 1.92 1.80 1.84 3/93 28216
/proc/meminfo: memFree=1178920/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=101.54
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9634 0 1 0 10144 10 0 0 25 0 8 0 155331757 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073828547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28208/statm: 228865 9369 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9369 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915460
[startup+162.519 s]
/proc/loadavg: 1.97 1.83 1.85 3/93 28216
/proc/meminfo: memFree=1172840/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=161.06
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 16096 10 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073835461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.67
Current children cumulated vsize (KiB) 915460
[startup+1483.9 s]
/proc/loadavg: 2.01 2.03 1.96 3/100 28471
/proc/meminfo: memFree=1383216/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1479.68
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 147942 26 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073847005 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.68
Current children cumulated vsize (KiB) 915460
[startup+1543.97 s]
/proc/loadavg: 2.00 2.03 1.96 3/100 28471
/proc/meminfo: memFree=1383344/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1539.69
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 153943 26 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073835478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.69
Current children cumulated vsize (KiB) 915460
[startup+1604.03 s]
/proc/loadavg: 2.04 2.03 1.96 3/100 28471
/proc/meminfo: memFree=1383408/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1599.67
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 159941 26 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073833733 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.67
Current children cumulated vsize (KiB) 915460
[startup+1664.09 s]
/proc/loadavg: 2.01 2.03 1.96 3/100 28471
/proc/meminfo: memFree=1383344/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1659.67
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 165940 27 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.67
Current children cumulated vsize (KiB) 915460
[startup+1724.14 s]
/proc/loadavg: 2.00 2.02 1.96 3/100 28471
/proc/meminfo: memFree=1383280/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1719.68
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 171941 27 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.68
Current children cumulated vsize (KiB) 915460
[startup+1784.2 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 28471
/proc/meminfo: memFree=1383344/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1779.66
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 177939 27 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.66
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.57 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 28471
/proc/meminfo: memFree=1383344/2055920 swapFree=4192812/4192956
[pid=28208] ppid=28206 vsize=915460 CPUtime=1800.01
/proc/28208/stat : 28208 (java) R 28206 28208 27895 0 -1 0 9635 0 1 0 179974 27 0 0 25 0 8 0 155331757 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28208/statm: 228865 9370 2513 14 0 215335 0
[pid=28208/tid=28210] ppid=28206 vsize=915460 CPUtime=0.04
/proc/28208/task/28210/stat : 28210 (java) S 28206 28208 27895 0 -1 64 406 0 0 0 4 0 0 0 16 0 8 0 155331761 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28211] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28211/stat : 28211 (java) S 28206 28208 27895 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28212] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28212/stat : 28212 (java) S 28206 28208 27895 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155331762 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28213] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28213/stat : 28213 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28214] ppid=28206 vsize=915460 CPUtime=0.25
/proc/28208/task/28214/stat : 28214 (java) S 28206 28208 27895 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28208/tid=28215] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28215/stat : 28215 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28208/tid=28216] ppid=28206 vsize=915460 CPUtime=0
/proc/28208/task/28216/stat : 28216 (java) S 28206 28208 27895 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155331765 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.64
CPU time (s): 1800.08
CPU user time (s): 1799.8
CPU system time (s): 0.281957
CPU usage (%): 99.7476
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.281957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9653
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= 37643
involuntary context switches= 68557
runsolver used 2.34464 s user time and 5.65414 s system time
The end
Begin job on node3 on Sat Jan 6 07:42:37 UTC 2007
IDJOB= 194282
IDBENCH= 3206
FILE ID= node3/194282-1168069355
PBS_JOBID= 3475668
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194282-1168069355/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-194282-1168069355 -o ROOT/results/node3/solver-194282-1168069355 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194282-1168069355/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cfdd2ee29a65a44b9ecb5f10467c026b
RANDOM SEED= 428497064
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.279
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.279
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: 1218112 kB
Buffers: 64936 kB
Cached: 399572 kB
SwapCached: 0 kB
Active: 328084 kB
Inactive: 414868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1218112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 300912 kB
Slab: 79564 kB
Committed_AS: 3928580 kB
PageTables: 2460 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= 66542 MiB
End job on node3 on Sat Jan 6 08:12:46 UTC 2007