0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198524-1168129037/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=18 nbDomainTypes=1 minDomainSize=17 maxDomainSize=17
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.52 nbConstraints=153 nbConvertedConstraints=153 nbConvertConstraintsChecks=289 nbExtensionStructures=1
0.52 nbSharedExtensionStructures=152 nbConflictsStructures=1 nbSharedConflictsStructures=152
0.52 nbSharedBinaryRepresentations=17 maxDegree=17 maxArity=2
0.52 => wckTime=0.205 cpuTime=0.17 mem=7M943
0.56
0.56 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.405 cpuTime=0.3 mem=13M349
0.75
0.75 preprocessing
0.75 nbConstraintChecks=3570 nbPropagations=352 nbRevisions=306 nbUselessRevisions=0 nbSingletonTests=32
0.75 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.75 => wckTime=0.028 cpuTime=0.01 mem=13M349
0.77
0.77 search
0.77 run=0 nbConstraintChecks=2064 nbPropagations=609 nbRevisions=590 nbUselessRevisions=24 nbAssignments=33
0.77 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.044 cpuTime=0.03 mem=14M341
0.78
0.78 search
0.78 run=1 nbConstraintChecks=4253 nbPropagations=1517 nbRevisions=1516 nbUselessRevisions=79 nbAssignments=76
0.78 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=125 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.059 cpuTime=0.04 mem=14M341
0.79
0.79 search
0.79 run=2 nbConstraintChecks=6609 nbPropagations=2788 nbRevisions=2851 nbUselessRevisions=170 nbAssignments=132
0.79 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=221 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.068 cpuTime=0.04 mem=14M341
0.80
0.80 search
0.80 run=3 nbConstraintChecks=9169 nbPropagations=4502 nbRevisions=4675 nbUselessRevisions=299 nbAssignments=207
0.80 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=351 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.081 cpuTime=0.05 mem=14M341
0.82
0.82 search
0.82 run=4 nbConstraintChecks=12055 nbPropagations=6792 nbRevisions=7115 nbUselessRevisions=466 nbAssignments=312
0.82 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=535 nbRestartNogoods=16 mapSize=131 nbInferences=6
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.093 cpuTime=0.06 mem=14M341
0.83
0.83 search
0.83 run=5 nbConstraintChecks=15551 nbPropagations=9885 nbRevisions=10375 nbUselessRevisions=672 nbAssignments=465
0.83 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=803 nbRestartNogoods=20 mapSize=206 nbInferences=23
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.108 cpuTime=0.07 mem=14M341
0.85
0.85 search
0.85 run=6 nbConstraintChecks=19647 nbPropagations=14056 nbRevisions=14683 nbUselessRevisions=896 nbAssignments=683
0.85 nbFailedAssignments=228 nbBacktracks=319 nbVisitedNodes=1185 nbRestartNogoods=22 mapSize=319 nbInferences=45
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.125 cpuTime=0.08 mem=14M341
0.87
0.87 search
0.87 run=7 nbConstraintChecks=25020 nbPropagations=19809 nbRevisions=20508 nbUselessRevisions=1138
0.87 nbAssignments=1011 nbFailedAssignments=334 nbBacktracks=489 nbVisitedNodes=1764 nbRestartNogoods=26
0.87 mapSize=489 nbInferences=84 nbTooLargeKeys=0
0.87 => wckTime=0.144 cpuTime=0.1 mem=14M341
0.91
0.91 search
0.91 run=8 nbConstraintChecks=34616 nbPropagations=28229 nbRevisions=28762 nbUselessRevisions=1393
0.91 nbAssignments=1547 nbFailedAssignments=475 nbBacktracks=746 nbVisitedNodes=2681 nbRestartNogoods=33
0.91 mapSize=746 nbInferences=197 nbTooLargeKeys=0
0.91 => wckTime=0.184 cpuTime=0.12 mem=14M341
0.94
0.94 search
0.94 run=9 nbConstraintChecks=45932 nbPropagations=40472 nbRevisions=40463 nbUselessRevisions=1682
0.94 nbAssignments=2349 nbFailedAssignments=675 nbBacktracks=1130 nbVisitedNodes=4087 nbRestartNogoods=39
0.94 mapSize=1130 nbInferences=401 nbTooLargeKeys=0
0.94 => wckTime=0.217 cpuTime=0.14 mem=14M341
0.98
0.98 search
0.98 run=10 nbConstraintChecks=65178 nbPropagations=59000 nbRevisions=57636 nbUselessRevisions=1998
0.98 nbAssignments=3639 nbFailedAssignments=953 nbBacktracks=1706 nbVisitedNodes=6329 nbRestartNogoods=46
0.98 mapSize=1706 nbInferences=810 nbTooLargeKeys=0
0.98 => wckTime=0.256 cpuTime=0.18 mem=14M341
1.02
1.02 search
1.02 run=11 nbConstraintChecks=91510 nbPropagations=86871 nbRevisions=82907 nbUselessRevisions=2363
1.02 nbAssignments=5575 nbFailedAssignments=1364 nbBacktracks=2570 nbVisitedNodes=9736 nbRestartNogoods=56
1.02 mapSize=2570 nbInferences=1459 nbTooLargeKeys=0
1.02 => wckTime=0.299 cpuTime=0.22 mem=14M341
1.10
1.10 search
1.10 run=12 nbConstraintChecks=140044 nbPropagations=130578 nbRevisions=121534 nbUselessRevisions=2763
1.10 nbAssignments=8718 nbFailedAssignments=1932 nbBacktracks=3869 nbVisitedNodes=15228 nbRestartNogoods=66
1.10 mapSize=3869 nbInferences=2698 nbTooLargeKeys=0
1.10 => wckTime=0.374 cpuTime=0.29 mem=14M341
1.21
1.21 search
1.21 run=13 nbConstraintChecks=212363 nbPropagations=198942 nbRevisions=180498 nbUselessRevisions=3241
1.21 nbAssignments=13626 nbFailedAssignments=2682 nbBacktracks=5816 nbVisitedNodes=23811 nbRestartNogoods=73
1.21 mapSize=5816 nbInferences=4885 nbTooLargeKeys=0
1.21 => wckTime=0.489 cpuTime=0.4 mem=14M341
1.41
1.41 search
1.41 run=14 nbConstraintChecks=342941 nbPropagations=310171 nbRevisions=273675 nbUselessRevisions=3808
1.41 nbAssignments=21842 nbFailedAssignments=3589 nbBacktracks=8736 nbVisitedNodes=38167 nbRestartNogoods=86
1.41 mapSize=8736 nbInferences=9237 nbTooLargeKeys=0
1.41 => wckTime=0.688 cpuTime=0.6 mem=15M382
1.73
1.73 search
1.73 run=15 nbConstraintChecks=567392 nbPropagations=493293 nbRevisions=423074 nbUselessRevisions=4428
1.73 nbAssignments=35232 nbFailedAssignments=4726 nbBacktracks=13114 nbVisitedNodes=61668 nbRestartNogoods=91
1.73 mapSize=13114 nbInferences=17086 nbTooLargeKeys=0
1.73 => wckTime=1.004 cpuTime=0.91 mem=15M382
2.24
2.24 search
2.24 run=16 nbConstraintChecks=958805 nbPropagations=795262 nbRevisions=664814 nbUselessRevisions=5264
2.24 nbAssignments=56608 nbFailedAssignments=6147 nbBacktracks=19682 nbVisitedNodes=99183 nbRestartNogoods=104
2.24 mapSize=19682 nbInferences=30421 nbTooLargeKeys=0
2.24 => wckTime=1.517 cpuTime=1.42 mem=16M357
3.13
3.13 search
3.13 run=17 nbConstraintChecks=1656698 nbPropagations=1297876 nbRevisions=1061582 nbUselessRevisions=6769
3.13 nbAssignments=91306 nbFailedAssignments=7815 nbBacktracks=29534 nbVisitedNodes=160264 nbRestartNogoods=115
3.13 mapSize=29534 nbInferences=53529 nbTooLargeKeys=0
3.13 => wckTime=2.405 cpuTime=2.3 mem=18M307
5.13
5.13 search
5.13 run=18 nbConstraintChecks=3668210 nbPropagations=2261438 nbRevisions=1816626 nbUselessRevisions=8946
5.13 nbAssignments=158834 nbFailedAssignments=8888 nbBacktracks=44312 nbVisitedNodes=281605 nbRestartNogoods=126
5.13 mapSize=44312 nbInferences=105196 nbTooLargeKeys=0
5.13 => wckTime=4.409 cpuTime=4.28 mem=21M233
7.60
7.60 search
7.60 run=19 nbConstraintChecks=5898113 nbPropagations=3798253 nbRevisions=3012909 nbUselessRevisions=12765
7.60 nbAssignments=249936 nbFailedAssignments=10976 nbBacktracks=66481 nbVisitedNodes=443672 nbRestartNogoods=134
7.60 mapSize=66481 nbInferences=172007 nbTooLargeKeys=0
7.60 => wckTime=6.876 cpuTime=6.73 mem=25M658
11.39
11.39 search
11.39 run=20 nbConstraintChecks=9239632 nbPropagations=6195233 nbRevisions=4869647 nbUselessRevisions=16775
11.39 nbAssignments=386480 nbFailedAssignments=14294 nbBacktracks=99733 nbVisitedNodes=686745 nbRestartNogoods=145
11.39 mapSize=99733 nbInferences=271935 nbTooLargeKeys=0
11.39 => wckTime=10.666 cpuTime=10.49 mem=32M557
17.95
17.95 search
17.95 run=21 nbConstraintChecks=15755171 nbPropagations=10120210 nbRevisions=7907423 nbUselessRevisions=21094
17.95 nbAssignments=613382 nbFailedAssignments=17621 nbBacktracks=149612 nbVisitedNodes=1093760 nbRestartNogoods=168
17.95 mapSize=149612 nbInferences=445507 nbTooLargeKeys=0
17.95 => wckTime=17.225 cpuTime=16.99 mem=42M309
28.71
28.71 search
28.71 run=22 nbConstraintChecks=26577181 nbPropagations=16512796 nbRevisions=12852903 nbUselessRevisions=25413
28.71 nbAssignments=971223 nbFailedAssignments=20667 nbBacktracks=224431 nbVisitedNodes=1737584 nbRestartNogoods=181
28.71 mapSize=224431 nbInferences=725436 nbTooLargeKeys=0
28.71 => wckTime=27.99 cpuTime=27.47 mem=27M658
47.19
47.19 search
47.19 run=23 nbConstraintChecks=46744913 nbPropagations=27149646 nbRevisions=21114095 nbUselessRevisions=29732
47.19 nbAssignments=1551219 nbFailedAssignments=24147 nbBacktracks=336659 nbVisitedNodes=2788787 nbRestartNogoods=192
47.19 mapSize=336659 nbInferences=1189700 nbTooLargeKeys=0
47.19 => wckTime=46.464 cpuTime=45.78 mem=53M266
82.66
82.66 search
82.66 run=24 nbConstraintChecks=92812392 nbPropagations=46010521 nbRevisions=35939514 nbUselessRevisions=34051
82.66 nbAssignments=2552717 nbFailedAssignments=27392 nbBacktracks=505000 nbVisitedNodes=4626645 nbRestartNogoods=208
82.66 mapSize=505000 nbInferences=2019586 nbTooLargeKeys=0
82.66 => wckTime=81.934 cpuTime=80.66 mem=71M787
134.90
134.90 search
134.90 run=25 nbConstraintChecks=159359754 nbPropagations=76935296 nbRevisions=60370265 nbUselessRevisions=38371
134.90 nbAssignments=4038487 nbFailedAssignments=31337 nbBacktracks=757512 nbVisitedNodes=7349515 nbRestartNogoods=224
134.90 mapSize=757512 nbInferences=3248842 nbTooLargeKeys=0
134.90 => wckTime=134.181 cpuTime=131.96 mem=73M581
215.37
215.37 search
215.37 run=26 nbConstraintChecks=259847343 nbPropagations=126092391 nbRevisions=99316591 nbUselessRevisions=42691
215.37 nbAssignments=6280639 nbFailedAssignments=36329 nbBacktracks=1136280 nbVisitedNodes=11459975
215.37 nbRestartNogoods=243 mapSize=1136280 nbInferences=5107195 nbTooLargeKeys=0
215.38 => wckTime=214.652 cpuTime=211.11 mem=122M733
304.76
304.76 search
304.76 run=27 nbConstraintChecks=405020298 nbPropagations=195250446 nbRevisions=154799955 nbUselessRevisions=47011
304.76 nbAssignments=8265149 nbFailedAssignments=36558 nbBacktracks=1388569 nbVisitedNodes=15176811
304.76 nbRestartNogoods=262 mapSize=1388568 nbInferences=6839126 nbTooLargeKeys=0
304.76 => wckTime=304.037 cpuTime=299.22 mem=153M619
304.76
304.76 global
304.76 nbConstraintChecks=405023868 nbPropagations=195250798 nbRevisions=154800261 nbUselessRevisions=47011
304.76 nbRestartNogoods=262 solvingWckTime=304.038 solvingCpuTime=299.22 expiredTime=no totalExploration=yes
304.76 nbFoundSolutions=0 globalCpuTime=299.57
304.76 => wckTime=304.444 cpuTime=299.52 mem=153M619
304.76
304.76 s UNSATISFIABLE
304.76 d NODES 8265149
304.76 d CHECKS 405023868
304.76
304.76 totalWckTime=304.527 totalCpuTime=299.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-198524-1168129037 -o ROOT/results/node34/solver-198524-1168129037 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198524-1168129037/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.05 2.02 1.86 4/76 24152
/proc/meminfo: memFree=1662768/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=906644 CPUtime=0.02
/proc/24151/stat : 24151 (java) S 24149 24151 23551 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 161297492 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 226661 1818 1036 14 0 214244 0
[pid=24151/tid=24153] ppid=24149 vsize=906644 CPUtime=0
/proc/24151/task/24153/stat : 24153 (java) R 24149 24151 23551 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 161297496 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103655 s]
/proc/loadavg: 2.05 2.02 1.86 4/76 24152
/proc/meminfo: memFree=1662768/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=914988 CPUtime=0.08
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 2998 0 1 0 7 1 0 0 20 0 8 0 161297492 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228747 2744 1427 14 0 215242 0
[pid=24151/tid=24153] ppid=24149 vsize=914988 CPUtime=0
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 161297496 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511695 s]
/proc/loadavg: 2.05 2.02 1.86 4/76 24152
/proc/meminfo: memFree=1662768/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915464 CPUtime=0.49
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 6425 0 1 0 44 5 0 0 18 0 8 0 161297492 937435136 6164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228866 6164 2165 14 0 215336 0
[pid=24151/tid=24153] ppid=24149 vsize=915464 CPUtime=0
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 161297496 937435136 6164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33275 s]
/proc/loadavg: 2.05 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1639352/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=1.29
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 8656 0 1 0 122 7 0 0 24 0 8 0 161297492 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740581 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 8394 2541 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.02
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 132 0 0 0 2 0 0 0 16 0 8 0 161297496 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161297497 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 364 0 0 0 19 0 0 0 15 0 8 0 161297500 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 8394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.96988 s]
/proc/loadavg: 2.05 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1637176/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=2.92
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 9427 0 1 0 285 7 0 0 25 0 8 0 161297492 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 9164 2541 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.02
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 132 0 0 0 2 0 0 0 16 0 8 0 161297496 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161297497 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 365 0 0 0 19 0 0 0 15 0 8 0 161297500 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 9164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26115 s]
/proc/loadavg: 2.05 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1631736/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=6.18
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 10760 0 1 0 610 8 0 0 25 0 8 0 161297492 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 10496 2541 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.02
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 132 0 0 0 2 0 0 0 16 0 8 0 161297496 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161297497 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 366 0 0 0 19 0 0 0 15 0 8 0 161297500 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 10496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7377 s]
/proc/loadavg: 2.04 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1619832/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=12.61
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 13448 0 1 0 1251 10 0 0 25 0 8 0 161297492 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 13184 2541 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.02
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 132 0 0 0 2 0 0 0 16 0 8 0 161297496 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161297497 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 367 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 13184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6077 s]
/proc/loadavg: 2.03 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1589560/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=25.37
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 20862 0 1 0 2524 13 0 0 25 0 8 0 161297492 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 20597 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.22
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 3861 0 0 0 21 1 0 0 16 0 8 0 161297496 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 367 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 20597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
[startup+51.2218 s]
/proc/loadavg: 2.02 2.02 1.86 3/83 24159
/proc/meminfo: memFree=1589176/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=50.76
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 20863 0 1 0 5063 13 0 0 25 0 8 0 161297492 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 20598 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.22
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 3861 0 0 0 21 1 0 0 16 0 8 0 161297496 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 367 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 20598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460
[startup+102.441 s]
/proc/loadavg: 2.01 2.01 1.87 3/83 24161
/proc/meminfo: memFree=1550840/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=101.56
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 30254 0 1 0 10138 18 0 0 25 0 8 0 161297492 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073704411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 29987 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=0.77
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 13250 0 0 0 72 5 0 0 16 0 8 0 161297496 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 367 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 29987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915460
[startup+162.518 s]
/proc/loadavg: 2.09 2.04 1.88 3/83 24161
/proc/meminfo: memFree=1516920/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=161.11
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 38520 0 1 0 16089 22 0 0 25 0 8 0 161297492 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 38250 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=1.3
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 21512 0 0 0 121 9 0 0 16 0 8 0 161297496 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 368 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 38250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 915460
[startup+222.596 s]
/proc/loadavg: 2.03 2.03 1.89 3/83 24161
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=220.64
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 42131 0 1 0 22040 24 0 0 25 0 8 0 161297492 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 41860 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=1.6
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 25122 0 0 0 149 11 0 0 16 0 8 0 161297496 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 368 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 41860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.64
Current children cumulated vsize (KiB) 915460
[startup+282.676 s]
/proc/loadavg: 2.01 2.02 1.89 3/83 24161
/proc/meminfo: memFree=1478520/2055920 swapFree=4192812/4192956
[pid=24151] ppid=24149 vsize=915460 CPUtime=280.18
/proc/24151/stat : 24151 (java) R 24149 24151 23551 0 -1 0 47988 0 1 0 27990 28 0 0 25 0 8 0 161297492 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24151/statm: 228865 47715 2545 14 0 215335 0
[pid=24151/tid=24153] ppid=24149 vsize=915460 CPUtime=2.06
/proc/24151/task/24153/stat : 24153 (java) S 24149 24151 23551 0 -1 64 30977 0 0 0 191 15 0 0 16 0 8 0 161297496 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24154] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24154/stat : 24154 (java) S 24149 24151 23551 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24155] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24155/stat : 24155 (java) S 24149 24151 23551 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161297497 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24156] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24156/stat : 24156 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161297500 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24157] ppid=24149 vsize=915460 CPUtime=0.19
/proc/24151/task/24157/stat : 24157 (java) S 24149 24151 23551 0 -1 64 368 0 0 0 19 0 0 0 16 0 8 0 161297500 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24158] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24158/stat : 24158 (java) S 24149 24151 23551 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161297500 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24151/tid=24159] ppid=24149 vsize=915460 CPUtime=0
/proc/24151/task/24159/stat : 24159 (java) S 24149 24151 23551 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161297500 937431040 47715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.18
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 304.816
CPU time (s): 302.104
CPU user time (s): 301.787
CPU system time (s): 0.316951
CPU usage (%): 99.1103
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.787
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47995
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= 7224
involuntary context switches= 13294
runsolver used 0.415936 s user time and 0.943856 s system time
The end
Begin job on node34 on Sun Jan 7 00:17:18 UTC 2007
IDJOB= 198524
IDBENCH= 3561
FILE ID= node34/198524-1168129037
PBS_JOBID= 3477896
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-18.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198524-1168129037/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-198524-1168129037 -o ROOT/results/node34/solver-198524-1168129037 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198524-1168129037/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 28435801f17ea568530f60fb0a1947d0
RANDOM SEED= 893301034
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.227
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.227
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: 1663184 kB
Buffers: 3920 kB
Cached: 301332 kB
SwapCached: 0 kB
Active: 131748 kB
Inactive: 198384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1663184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2668 kB
Writeback: 0 kB
Mapped: 35904 kB
Slab: 47972 kB
Committed_AS: 2611100 kB
PageTables: 1780 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= 66534 MiB
End job on node34 on Sun Jan 7 00:22:22 UTC 2007