0.32
0.32 Abscon 109 (November, 2006)
0.32
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/203710-1168073183/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.44 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.57
0.57 constraints being loaded...
0.70 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=967 maxDegree=26
0.70 maxArity=2
0.70 => wckTime=0.373 cpuTime=0.28 mem=15M761
0.75
0.75 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.577 cpuTime=0.41 mem=14M249
0.91
0.91 preprocessing
0.91 nbConstraintChecks=0 nbPropagations=27 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.91 detectedInconsistency=no
0.91 => wckTime=0.0050 cpuTime=0.0 mem=14M249
0.97
0.97 search
0.97 run=0 nbConstraintChecks=43043 nbPropagations=515 nbRevisions=8609 nbUselessRevisions=7595 nbAssignments=28
0.97 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.058 cpuTime=0.03 mem=15M290
0.99
0.99 search
0.99 run=1 nbConstraintChecks=92618 nbPropagations=1580 nbRevisions=26895 nbUselessRevisions=23610 nbAssignments=63
0.99 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=106 nbRestartNogoods=5 mapSize=24 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.08 cpuTime=0.05 mem=15M290
1.01
1.01 search
1.01 run=2 nbConstraintChecks=164068 nbPropagations=3406 nbRevisions=59852 nbUselessRevisions=52447
1.01 nbAssignments=109 nbFailedAssignments=41 nbBacktracks=47 nbVisitedNodes=187 nbRestartNogoods=8 mapSize=46
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.104 cpuTime=0.07 mem=15M290
1.04
1.04 search
1.04 run=3 nbConstraintChecks=263259 nbPropagations=6334 nbRevisions=114639 nbUselessRevisions=100380
1.04 nbAssignments=181 nbFailedAssignments=73 nbBacktracks=80 nbVisitedNodes=317 nbRestartNogoods=12 mapSize=79
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.13 cpuTime=0.09 mem=15M290
1.07
1.07 search
1.07 run=4 nbConstraintChecks=420733 nbPropagations=10936 nbRevisions=204644 nbUselessRevisions=179110
1.07 nbAssignments=290 nbFailedAssignments=125 nbBacktracks=131 nbVisitedNodes=514 nbRestartNogoods=15 mapSize=128
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.162 cpuTime=0.12 mem=15M290
1.12
1.12 search
1.12 run=5 nbConstraintChecks=662223 nbPropagations=18002 nbRevisions=348187 nbUselessRevisions=304827
1.12 nbAssignments=438 nbFailedAssignments=191 nbBacktracks=207 nbVisitedNodes=788 nbRestartNogoods=21 mapSize=202
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.211 cpuTime=0.17 mem=15M290
1.19
1.19 search
1.19 run=6 nbConstraintChecks=991505 nbPropagations=28573 nbRevisions=566744 nbUselessRevisions=496520
1.19 nbAssignments=661 nbFailedAssignments=294 nbBacktracks=320 nbVisitedNodes=1198 nbRestartNogoods=27 mapSize=310
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.283 cpuTime=0.23 mem=15M290
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1495441 nbPropagations=44380 nbRevisions=899727 nbUselessRevisions=788198
1.28 nbAssignments=1015 nbFailedAssignments=471 nbBacktracks=490 nbVisitedNodes=1851 nbRestartNogoods=31
1.29 mapSize=475 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.377 cpuTime=0.33 mem=15M290
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2253354 nbPropagations=68014 nbRevisions=1403980 nbUselessRevisions=1230428
1.44 nbAssignments=1518 nbFailedAssignments=712 nbBacktracks=746 nbVisitedNodes=2781 nbRestartNogoods=41
1.44 mapSize=726 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.534 cpuTime=0.47 mem=15M290
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M290)
1.65
1.65 search
1.65 run=9 nbConstraintChecks=3445087 nbPropagations=103442 nbRevisions=2172478 nbUselessRevisions=1904924
1.65 nbAssignments=2260 nbFailedAssignments=1064 nbBacktracks=1130 nbVisitedNodes=4155 nbRestartNogoods=47
1.65 => wckTime=0.741 cpuTime=0.66 mem=15M290
1.99
1.99 search
1.99 run=10 nbConstraintChecks=5128683 nbPropagations=156047 nbRevisions=3320328 nbUselessRevisions=2912257
1.99 nbAssignments=3380 nbFailedAssignments=1602 nbBacktracks=1706 nbVisitedNodes=6231 nbRestartNogoods=54
1.99 => wckTime=1.084 cpuTime=0.99 mem=15M290
2.57
2.57 search
2.57 run=11 nbConstraintChecks=7758811 nbPropagations=235322 nbRevisions=5058740 nbUselessRevisions=4437245
2.57 nbAssignments=5090 nbFailedAssignments=2440 nbBacktracks=2571 nbVisitedNodes=9396 nbRestartNogoods=59
2.57 => wckTime=1.658 cpuTime=1.56 mem=15M290
3.41
3.41 search
3.41 run=12 nbConstraintChecks=11576117 nbPropagations=353550 nbRevisions=7667239 nbUselessRevisions=6728343
3.41 nbAssignments=7592 nbFailedAssignments=3638 nbBacktracks=3869 nbVisitedNodes=14042 nbRestartNogoods=67
3.41 => wckTime=2.504 cpuTime=2.4 mem=15M290
4.72
4.72 search
4.72 run=13 nbConstraintChecks=17671660 nbPropagations=531812 nbRevisions=11634992 nbUselessRevisions=10214966
4.72 nbAssignments=11357 nbFailedAssignments=5451 nbBacktracks=5815 nbVisitedNodes=21034 nbRestartNogoods=81
4.72 => wckTime=3.815 cpuTime=3.7 mem=15M290
6.62
6.62 search
6.62 run=14 nbConstraintChecks=26522872 nbPropagations=798298 nbRevisions=17578962 nbUselessRevisions=15438794
6.62 nbAssignments=17006 nbFailedAssignments=8175 nbBacktracks=8735 nbVisitedNodes=31511 nbRestartNogoods=95
6.62 => wckTime=5.714 cpuTime=5.58 mem=15M290
9.53
9.53 search
9.53 run=15 nbConstraintChecks=40169527 nbPropagations=1198118 nbRevisions=26554266 nbUselessRevisions=23328618
9.53 nbAssignments=25432 nbFailedAssignments=12216 nbBacktracks=13113 nbVisitedNodes=47135 nbRestartNogoods=99
9.53 => wckTime=8.62 cpuTime=8.45 mem=15M290
13.76
13.76 search
13.76 run=16 nbConstraintChecks=59980604 nbPropagations=1795606 nbRevisions=39961333 nbUselessRevisions=35113520
13.76 nbAssignments=38052 nbFailedAssignments=18261 nbBacktracks=19681 nbVisitedNodes=70458 nbRestartNogoods=110
13.76 => wckTime=12.85 cpuTime=12.65 mem=15M290
20.07
20.07 search
20.07 run=17 nbConstraintChecks=88899907 nbPropagations=2687278 nbRevisions=59910835 nbUselessRevisions=52649591
20.07 nbAssignments=56979 nbFailedAssignments=27330 nbBacktracks=29534 nbVisitedNodes=105553 nbRestartNogoods=122
20.07 => wckTime=19.158 cpuTime=18.9 mem=15M290
29.56
29.56 search
29.56 run=18 nbConstraintChecks=132448010 nbPropagations=4017075 nbRevisions=89644391 nbUselessRevisions=78786362
29.56 nbAssignments=85197 nbFailedAssignments=40764 nbBacktracks=44313 nbVisitedNodes=157776 nbRestartNogoods=128
29.56 => wckTime=28.648 cpuTime=28.3 mem=15M290
44.69
44.69 search
44.69 run=19 nbConstraintChecks=203481220 nbPropagations=6036531 nbRevisions=135215169 nbUselessRevisions=118865449
44.69 nbAssignments=128471 nbFailedAssignments=61864 nbBacktracks=66481 nbVisitedNodes=238283 nbRestartNogoods=138
44.69 => wckTime=43.782 cpuTime=43.29 mem=15M290
66.04
66.04 search
66.04 run=20 nbConstraintChecks=302434301 nbPropagations=9049360 nbRevisions=203057481 nbUselessRevisions=178534094
66.04 nbAssignments=191895 nbFailedAssignments=92030 nbBacktracks=99734 nbVisitedNodes=355735 nbRestartNogoods=154
66.04 => wckTime=65.136 cpuTime=64.44 mem=15M290
98.01
98.01 search
98.01 run=21 nbConstraintChecks=450576334 nbPropagations=13547029 nbRevisions=304250359 nbUselessRevisions=267533982
98.01 nbAssignments=287072 nbFailedAssignments=137325 nbBacktracks=149612 nbVisitedNodes=531870 nbRestartNogoods=179
98.01 => wckTime=97.101 cpuTime=96.13 mem=15M290
146.01
146.01 search
146.01 run=22 nbConstraintChecks=674018839 nbPropagations=20279792 nbRevisions=455485234 nbUselessRevisions=400528214
146.01 nbAssignments=429871 nbFailedAssignments=205300 nbBacktracks=224430 nbVisitedNodes=796306 nbRestartNogoods=198
146.01 => wckTime=145.102 cpuTime=143.68 mem=15M290
218.57
218.57 search
218.57 run=23 nbConstraintChecks=1009571187 nbPropagations=30370347 nbRevisions=682127050 nbUselessRevisions=599844579
218.57 nbAssignments=644611 nbFailedAssignments=307807 nbBacktracks=336659 nbVisitedNodes=1194115 nbRestartNogoods=219
218.57 => wckTime=217.661 cpuTime=215.58 mem=15M290
320.77
320.77 search
320.77 run=24 nbConstraintChecks=1527545530 nbPropagations=45572657 nbRevisions=1024465303
320.77 nbUselessRevisions=900958626 nbAssignments=969408 nbFailedAssignments=464259 nbBacktracks=505000
320.77 nbVisitedNodes=1796466 nbRestartNogoods=239
320.77 => wckTime=319.862 cpuTime=317.39 mem=15M290
474.00
474.00 search
474.00 run=25 nbConstraintChecks=2314467631 nbPropagations=68468892 nbRevisions=1541489892
474.00 nbUselessRevisions=1355770824 nbAssignments=1455539 nbFailedAssignments=697873 nbBacktracks=757511
474.00 nbVisitedNodes=2698064 nbRestartNogoods=258
474.00 => wckTime=473.09 cpuTime=470.4 mem=15M290
701.37
701.37 search
701.37 run=26 nbConstraintChecks=3473801031 nbPropagations=102805249 nbRevisions=2317491762
701.37 nbUselessRevisions=2038477345 nbAssignments=2183840 nbFailedAssignments=1047401 nbBacktracks=1136278
701.37 nbVisitedNodes=4047731 nbRestartNogoods=292
701.37 => wckTime=700.466 cpuTime=697.55 mem=15M290
1046.89
1046.89 search
1046.89 run=27 nbConstraintChecks=5236558029 nbPropagations=154414190 nbRevisions=3486398170
1046.89 nbUselessRevisions=3067047994 nbAssignments=3278050 nbFailedAssignments=1573454 nbBacktracks=1704429
1046.89 nbVisitedNodes=6075904 nbRestartNogoods=321
1046.89 => wckTime=1045.986 cpuTime=1042.63 mem=15M290
1113.79
1113.80 search
1113.80 run=28 nbConstraintChecks=5579664320 nbPropagations=209367125 nbRevisions=4731349459
1113.80 nbUselessRevisions=4162535118 nbAssignments=3488801 nbFailedAssignments=1675223 nbBacktracks=1813384
1113.80 nbVisitedNodes=6466978 nbRestartNogoods=335
1113.80 => wckTime=1112.887 cpuTime=1109.47 mem=15M290
1113.80
1113.80 global
1113.80 nbConstraintChecks=5579664320 nbPropagations=209367152 nbRevisions=4731349459 nbUselessRevisions=4162535118
1113.80 nbRestartNogoods=335 solvingWckTime=1112.888 solvingCpuTime=1109.47 expiredTime=no totalExploration=no
1113.80 nbFoundSolutions=1 globalCpuTime=1109.94
1113.80 => wckTime=1113.469 cpuTime=1109.88 mem=15M290
1113.80
1113.80 s SATISFIABLE
1113.80 v 4 22 4 20 9 5 18 2 11 12 16 10 0 4 3 12 10 1 14 0 5 13 11 21 13 13 12
1113.80 d NODES 3488801
1113.80 d CHECKS 5579664320
1113.80
1113.80 totalWckTime=1113.554 totalCpuTime=1109.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-203710-1168073183 -o ROOT/results/node1/solver-203710-1168073183 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203710-1168073183/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.92 1.99 1.93 4/93 15680
/proc/meminfo: memFree=1171688/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=18540 CPUtime=0
/proc/15679/stat : 15679 (runsolver) R 15677 15679 14388 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155714035 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15679/statm: 4635 279 244 17 0 2626 0
[startup+0.107778 s]
/proc/loadavg: 1.92 1.99 1.93 4/93 15680
/proc/meminfo: memFree=1171688/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=914988 CPUtime=0.08
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 2955 0 1 0 6 2 0 0 17 0 8 0 155714035 936947712 2701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155476577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515784 s]
/proc/loadavg: 1.92 1.99 1.93 4/93 15680
/proc/meminfo: memFree=1171688/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915328 CPUtime=0.49
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 6702 0 1 0 45 4 0 0 18 0 8 0 155714035 937295872 6441 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073580028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228832 6441 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33888 s]
/proc/loadavg: 1.92 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145648/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=1.29
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9196 0 1 0 123 6 0 0 24 0 8 0 155714035 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073802892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8934 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.21
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155714044 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8934 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8934 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) 915456
[startup+2.99207 s]
/proc/loadavg: 1.92 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145520/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=2.93
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9211 0 1 0 287 6 0 0 25 0 8 0 155714035 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073800550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8948 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 391 0 0 0 23 1 0 0 15 0 8 0 155714044 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8948 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27945 s]
/proc/loadavg: 1.93 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145456/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=6.19
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9213 0 1 0 613 6 0 0 25 0 8 0 155714035 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073800425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8949 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8949 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) 915456
[startup+12.7692 s]
/proc/loadavg: 1.93 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145456/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=12.62
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9213 0 1 0 1256 6 0 0 25 0 8 0 155714035 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8949 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) R 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8949 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) 915456
[startup+25.6067 s]
/proc/loadavg: 1.95 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145520/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=25.34
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9213 0 1 0 2527 7 0 0 25 0 8 0 155714035 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073919066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8949 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8949 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456
[startup+51.2157 s]
/proc/loadavg: 1.97 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145584/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=50.72
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9215 0 1 0 5065 7 0 0 25 0 8 0 155714035 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073808008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8950 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.428 s]
/proc/loadavg: 2.03 2.00 1.93 3/100 15687
/proc/meminfo: memFree=1145712/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=101.46
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9215 0 1 0 10138 8 0 0 25 0 8 0 155714035 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073905218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15679/statm: 228864 8950 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456
[startup+162.484 s]
/proc/loadavg: 2.09 2.02 1.94 3/100 15687
/proc/meminfo: memFree=1145648/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=160.97
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9215 0 1 0 16089 8 0 0 25 0 8 0 155714035 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8950 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.99
Current children cumulated vsize (KiB) 915456
[startup+702.816 s]
/proc/loadavg: 2.09 1.98 1.92 3/100 15947
/proc/meminfo: memFree=1089712/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=699.94
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 69973 21 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.94
Current children cumulated vsize (KiB) 915456
[startup+762.823 s]
/proc/loadavg: 2.03 1.98 1.92 3/100 15947
/proc/meminfo: memFree=1089648/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=759.89
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 75968 21 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 759.89
Current children cumulated vsize (KiB) 915456
[startup+822.905 s]
/proc/loadavg: 2.01 1.98 1.92 7/100 15947
/proc/meminfo: memFree=1089648/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=819.9
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 81969 21 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073795026 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 819.9
Current children cumulated vsize (KiB) 915456
[startup+882.912 s]
/proc/loadavg: 2.13 2.01 1.93 4/106 16011
/proc/meminfo: memFree=1088368/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=879.83
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 87958 25 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073820513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 879.83
Current children cumulated vsize (KiB) 915456
[startup+942.956 s]
/proc/loadavg: 2.04 2.00 1.93 3/106 16103
/proc/meminfo: memFree=1088368/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=939.78
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 93947 31 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 939.78
Current children cumulated vsize (KiB) 915456
[startup+1002.98 s]
/proc/loadavg: 2.06 2.01 1.94 3/100 16145
/proc/meminfo: memFree=1089384/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=999.72
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 99938 34 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073793929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.72
Current children cumulated vsize (KiB) 915456
[startup+1062.99 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 16145
/proc/meminfo: memFree=1089384/2055920 swapFree=4165584/4192956
[pid=15679] ppid=15677 vsize=915456 CPUtime=1059.68
/proc/15679/stat : 15679 (java) R 15677 15679 14388 0 -1 0 9216 0 1 0 105934 34 0 0 25 0 8 0 155714035 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15679/statm: 228864 8951 2513 14 0 215334 0
[pid=15679/tid=15681] ppid=15677 vsize=915456 CPUtime=0.03
/proc/15679/task/15681/stat : 15681 (java) S 15677 15679 14388 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15682] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15682/stat : 15682 (java) S 15677 15679 14388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15683] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15683/stat : 15683 (java) S 15677 15679 14388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155714040 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15684] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15684/stat : 15684 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15685] ppid=15677 vsize=915456 CPUtime=0.24
/proc/15679/task/15685/stat : 15685 (java) S 15677 15679 14388 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15679/tid=15686] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15686/stat : 15686 (java) S 15677 15679 14388 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15679/tid=15687] ppid=15677 vsize=915456 CPUtime=0
/proc/15679/task/15687/stat : 15687 (java) S 15677 15679 14388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155714044 937426944 8951 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1059.68
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 1113.85
CPU time (s): 1110.46
CPU user time (s): 1110.1
CPU system time (s): 0.353946
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1110.1
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9223
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= 23628
involuntary context switches= 19479
runsolver used 1.37079 s user time and 3.57046 s system time
The end
Begin job on node1 on Sat Jan 6 08:46:23 UTC 2007
IDJOB= 203710
IDBENCH= 3977
FILE ID= node1/203710-1168073183
PBS_JOBID= 3475672
Free space on /tmp= 66299 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-56021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203710-1168073183/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-203710-1168073183 -o ROOT/results/node1/solver-203710-1168073183 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203710-1168073183/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6870228c8c4555a1dae20765d35134fe
RANDOM SEED= 409823102
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.234
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.234
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: 1172104 kB
Buffers: 69404 kB
Cached: 594392 kB
SwapCached: 3692 kB
Active: 439644 kB
Inactive: 347032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1172104 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 142844 kB
Slab: 81668 kB
Committed_AS: 4912596 kB
PageTables: 2552 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= 66296 MiB
End job on node1 on Sat Jan 6 09:04:59 UTC 2007