0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/280451-1169305895/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.62
0.62 constraints being loaded...
0.72 nbConstraints=5 nbRelationTypes=5 nbDisconnectedVariables=2 nbExtensionStructures=5
0.73 nbSharedExtensionStructures=0 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5
0.73 maxArity=10
0.73 => wckTime=0.41 cpuTime=0.37 mem=37M861
0.79
0.79 solver LocalSearchSolver being built...
0.83 => wckTime=0.515 cpuTime=0.41 mem=10M983
0.83
0.83 s SATISFIABLE
0.83 o 0
0.83 c 5
3.34 o 1
3.34 c 4
6.06
6.06 search
6.06 run=0 nbConstraintChecks=4329997 nbAssignments=10000
6.06 => wckTime=5.232 cpuTime=5.21 mem=10M983
8.09 o 2
8.09 c 3
10.90
10.90 search
10.90 run=1 nbConstraintChecks=8481052 nbAssignments=20000
10.90 => wckTime=10.074 cpuTime=10.04 mem=10M983
15.85
15.85 search
15.85 run=2 nbConstraintChecks=12722616 nbAssignments=30000
15.85 => wckTime=15.019 cpuTime=14.98 mem=10M983
20.84
20.84 search
20.84 run=3 nbConstraintChecks=16963397 nbAssignments=40000
20.84 => wckTime=20.008 cpuTime=19.91 mem=10M983
25.75
25.75 search
25.75 run=4 nbConstraintChecks=21205528 nbAssignments=50000
25.75 => wckTime=24.925 cpuTime=24.82 mem=10M983
30.67
30.67 search
30.67 run=5 nbConstraintChecks=25447425 nbAssignments=60000
30.67 => wckTime=29.84 cpuTime=29.73 mem=10M983
35.54
35.54 search
35.54 run=6 nbConstraintChecks=29689907 nbAssignments=70000
35.54 => wckTime=34.716 cpuTime=34.61 mem=10M983
38.18
38.18 search
38.18 run=7 nbConstraintChecks=31980736 nbAssignments=75401
38.18 => wckTime=37.349 cpuTime=37.25 mem=10M983
38.18
38.18 global
38.18 nbConstraintChecks=31980736 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.18 solvingWckTime=37.348 solvingCpuTime=37.25 expiredTime=no totalExploration=no nbFoundSolutions=0
38.18 globalCpuTime=37.7
38.18 => wckTime=37.865 cpuTime=37.66 mem=10M983
38.18
38.18 solver IterativeSystematicSolver being built...
38.31 => wckTime=37.992 cpuTime=37.75 mem=21M680
38.32
38.32 preprocessing
38.32 nbConstraintChecks=181 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.32 nbRemovedValues=0 detectedInconsistency=no
38.32 => wckTime=0.0080 cpuTime=0.01 mem=21M680
38.43
38.43 search
38.43 run=0 nbConstraintChecks=77979 nbValidityChecks=87908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.43 nbAssignments=23 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=35 nbRestartNogoods=0
38.43 => wckTime=0.124 cpuTime=0.11 mem=22M636
38.53
38.53 search
38.53 run=1 nbConstraintChecks=140347 nbValidityChecks=174205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.53 nbAssignments=69 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=116 nbRestartNogoods=3
38.53 => wckTime=0.221 cpuTime=0.19 mem=22M636
38.81
38.81 search
38.81 run=2 nbConstraintChecks=374738 nbValidityChecks=456896 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.81 nbAssignments=156 nbFailedAssignments=96 nbBacktracks=47 nbVisitedNodes=277 nbRestartNogoods=10
38.81 => wckTime=0.499 cpuTime=0.46 mem=22M636
39.06
39.06 search
39.06 run=3 nbConstraintChecks=601007 nbValidityChecks=723800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.06 nbAssignments=239 nbFailedAssignments=142 nbBacktracks=80 nbVisitedNodes=420 nbRestartNogoods=18
39.06 => wckTime=0.753 cpuTime=0.72 mem=22M636
39.22
39.22 search
39.22 run=4 nbConstraintChecks=720654 nbValidityChecks=916880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.22 nbAssignments=384 nbFailedAssignments=231 nbBacktracks=130 nbVisitedNodes=683 nbRestartNogoods=25
39.22 => wckTime=0.913 cpuTime=0.87 mem=22M636
39.96
39.96 search
39.96 run=5 nbConstraintChecks=1322239 nbValidityChecks=1621769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.96 nbAssignments=582 nbFailedAssignments=349 nbBacktracks=205 nbVisitedNodes=1040 nbRestartNogoods=32
39.96 => wckTime=1.655 cpuTime=1.61 mem=22M636
40.90
40.90 search
40.90 run=6 nbConstraintChecks=2135395 nbValidityChecks=2618437 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.90 nbAssignments=928 nbFailedAssignments=576 nbBacktracks=318 nbVisitedNodes=1684 nbRestartNogoods=36
40.90 => wckTime=2.588 cpuTime=2.55 mem=22M636
43.68
43.68 search
43.68 run=7 nbConstraintChecks=4554418 nbValidityChecks=5237719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.68 nbAssignments=1354 nbFailedAssignments=828 nbBacktracks=488 nbVisitedNodes=2402 nbRestartNogoods=42
43.68 => wckTime=5.374 cpuTime=5.31 mem=22M636
44.34
44.34 search
44.34 run=8 nbConstraintChecks=5023451 nbValidityChecks=6073378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.34 nbAssignments=2067 nbFailedAssignments=1279 nbBacktracks=744 nbVisitedNodes=3685 nbRestartNogoods=60
44.34 => wckTime=6.033 cpuTime=5.94 mem=22M636
57.11
57.11 search
57.11 run=9 nbConstraintChecks=16650828 nbValidityChecks=18349967 nbPropagations=0 nbRevisions=0
57.11 nbUselessRevisions=0 nbAssignments=3251 nbFailedAssignments=2074 nbBacktracks=1128 nbVisitedNodes=5882
57.11 nbRestartNogoods=75
57.11 => wckTime=18.8 cpuTime=18.41 mem=22M636
58.41
58.41 search
58.41 run=10 nbConstraintChecks=17576255 nbValidityChecks=20169696 nbPropagations=0 nbRevisions=0
58.41 nbUselessRevisions=0 nbAssignments=4963 nbFailedAssignments=3204 nbBacktracks=1704 nbVisitedNodes=8952
58.41 nbRestartNogoods=90
58.41 => wckTime=20.103 cpuTime=19.71 mem=22M636
69.08
69.08 search
69.08 run=11 nbConstraintChecks=27022477 nbValidityChecks=30774249 nbPropagations=0 nbRevisions=0
69.08 nbUselessRevisions=0 nbAssignments=7243 nbFailedAssignments=4615 nbBacktracks=2568 nbVisitedNodes=13058
69.08 nbRestartNogoods=109
69.08 => wckTime=30.775 cpuTime=30.38 mem=22M636
74.52
74.52 search
74.52 run=12 nbConstraintChecks=31609512 nbValidityChecks=37283849 nbPropagations=0 nbRevisions=0
74.52 nbUselessRevisions=0 nbAssignments=10850 nbFailedAssignments=6920 nbBacktracks=3865 nbVisitedNodes=19676
74.52 nbRestartNogoods=123
74.52 => wckTime=36.213 cpuTime=35.81 mem=22M636
89.32
89.32 search
89.32 run=13 nbConstraintChecks=43986140 nbValidityChecks=52505159 nbPropagations=0 nbRevisions=0
89.32 nbUselessRevisions=0 nbAssignments=16298 nbFailedAssignments=10418 nbBacktracks=5811 nbVisitedNodes=29541
89.32 nbRestartNogoods=139
89.32 => wckTime=51.014 cpuTime=50.58 mem=22M636
108.26
108.26 search
108.26 run=14 nbConstraintChecks=60105406 nbValidityChecks=73484132 nbPropagations=0 nbRevisions=0
108.26 nbUselessRevisions=0 nbAssignments=25140 nbFailedAssignments=16337 nbBacktracks=8730 nbVisitedNodes=46043
108.26 nbRestartNogoods=151
108.26 => wckTime=69.954 cpuTime=69.51 mem=22M636
134.43
134.43 search
134.43 run=15 nbConstraintChecks=82806674 nbValidityChecks=101556416 nbPropagations=0 nbRevisions=0
134.43 nbUselessRevisions=0 nbAssignments=36041 nbFailedAssignments=22853 nbBacktracks=13108 nbVisitedNodes=65427
134.43 nbRestartNogoods=156
134.43 => wckTime=96.127 cpuTime=95.65 mem=22M636
156.10
156.10 search
156.10 run=16 nbConstraintChecks=99924221 nbValidityChecks=129316426 nbPropagations=0 nbRevisions=0
156.10 nbUselessRevisions=0 nbAssignments=56107 nbFailedAssignments=36345 nbBacktracks=19676 nbVisitedNodes=102196
156.10 nbRestartNogoods=184
156.10 => wckTime=117.791 cpuTime=117.29 mem=22M636
375.08
375.08 search
375.08 run=17 nbConstraintChecks=292224204 nbValidityChecks=337360828 nbPropagations=0 nbRevisions=0
375.08 nbUselessRevisions=0 nbAssignments=85161 nbFailedAssignments=55542 nbBacktracks=29528 nbVisitedNodes=155934
375.08 nbRestartNogoods=209
375.08 => wckTime=336.772 cpuTime=336.06 mem=22M636
456.97
456.97 search
456.97 run=18 nbConstraintChecks=360532017 nbValidityChecks=428855925 nbPropagations=0 nbRevisions=0
456.97 nbUselessRevisions=0 nbAssignments=129212 nbFailedAssignments=84808 nbBacktracks=44308 nbVisitedNodes=236643
456.97 nbRestartNogoods=224
456.97 => wckTime=418.66 cpuTime=417.86 mem=22M636
578.88
578.88 search
578.88 run=19 nbConstraintChecks=465104092 nbValidityChecks=570603561 nbPropagations=0 nbRevisions=0
578.88 nbUselessRevisions=0 nbAssignments=198075 nbFailedAssignments=131497 nbBacktracks=66476 nbVisitedNodes=362760
578.88 nbRestartNogoods=242
578.88 => wckTime=540.577 cpuTime=539.67 mem=22M636
835.30
835.30 search
835.30 run=20 nbConstraintChecks=682612604 nbValidityChecks=834406737 nbPropagations=0 nbRevisions=0
835.30 nbUselessRevisions=0 nbAssignments=287802 nbFailedAssignments=187966 nbBacktracks=99728 nbVisitedNodes=526576
835.30 nbRestartNogoods=263
835.30 => wckTime=796.991 cpuTime=795.81 mem=22M636
984.42 o 3
984.42 c 2
1117.94
1117.94 search
1117.94 run=21 nbConstraintChecks=913575477 nbValidityChecks=1139267562 nbPropagations=0 nbRevisions=0
1117.94 nbUselessRevisions=0 nbAssignments=420443 nbFailedAssignments=270723 nbBacktracks=149606 nbVisitedNodes=767249
1117.94 nbRestartNogoods=276
1117.94 => wckTime=1079.631 cpuTime=1078.17 mem=22M636
1155.61
1155.61 search
1155.61 run=22 nbConstraintChecks=942529938 nbValidityChecks=1179787267 nbPropagations=0 nbRevisions=0
1155.61 nbUselessRevisions=0 nbAssignments=440272 nbFailedAssignments=282782 nbBacktracks=157377 nbVisitedNodes=802492
1155.61 nbRestartNogoods=290
1155.61 => wckTime=1117.304 cpuTime=1115.8 mem=22M636
1155.61
1155.61 global
1155.61 nbConstraintChecks=942530119 nbValidityChecks=1179787767 nbRestartNogoods=290 solvingWckTime=1117.305
1155.61 solvingCpuTime=1115.8 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=1153.59
1155.61 => wckTime=1155.299 cpuTime=1153.55 mem=22M636
1155.62
1155.62 s OPTIMUM FOUND
1155.62 v 0 1 3 1 0 7 7 9 7 0 4 0 0 1 8 7 6 7 2 2
1155.62
1155.62 totalWckTime=1155.374 totalCpuTime=1153.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-280451-1169305895 -o ROOT/results/node20/solver-280451-1169305895 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280451-1169305895/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.07 1.02 1.00 3/81 724
/proc/meminfo: memFree=1401944/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=172 CPUtime=0
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 278984027 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7618859 0 0 4096 0 0 0 0 17 0 0 0
/proc/723/statm: 43 24 18 14 0 3 0
[startup+0.103832 s]
/proc/loadavg: 1.07 1.02 1.00 3/81 724
/proc/meminfo: memFree=1401944/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=913068 CPUtime=0.07
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 2863 0 1 0 6 1 0 0 24 0 8 0 278984027 934981632 2609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228267 2611 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.511881 s]
/proc/loadavg: 1.07 1.02 1.00 3/81 724
/proc/meminfo: memFree=1401944/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=0.47
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 8096 0 1 0 44 3 0 0 17 0 8 0 278984027 937299968 7835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/723/statm: 228833 7835 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33398 s]
/proc/loadavg: 1.07 1.02 1.00 2/88 736
/proc/meminfo: memFree=1354144/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=1.29
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15682 0 1 0 120 9 0 0 17 0 8 0 278984027 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15420 2477 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915336 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937304064 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.08
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 278984035 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915332
[startup+2.98818 s]
/proc/loadavg: 1.07 1.02 1.00 4/94 792
/proc/meminfo: memFree=1348336/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=2.94
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15686 0 1 0 274 20 0 0 19 0 8 0 278984027 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15423 2477 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.09
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278984035 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915332
[startup+6.26957 s]
/proc/loadavg: 1.07 1.02 1.00 3/95 801
/proc/meminfo: memFree=470440/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=6.22
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15690 0 1 0 578 44 0 0 25 0 8 0 278984027 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15427 2477 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.09
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915336 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937304064 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915332
[startup+12.7613 s]
/proc/loadavg: 1.60 1.13 1.04 3/94 802
/proc/meminfo: memFree=788728/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915336 CPUtime=12.71
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15690 0 1 0 1172 99 0 0 25 0 8 0 278984027 937304064 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15427 2477 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.09
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915336
[startup+25.5999 s]
/proc/loadavg: 1.88 1.21 1.07 3/94 803
/proc/meminfo: memFree=807680/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=25.48
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15690 0 1 0 2341 207 0 0 25 0 8 0 278984027 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15427 2477 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.09
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915332
[startup+51.207 s]
/proc/loadavg: 1.92 1.27 1.09 3/94 803
/proc/meminfo: memFree=799552/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=50.8
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15853 0 1 0 4784 296 0 0 25 0 8 0 278984027 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15584 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 384 0 0 0 19 1 0 0 17 0 8 0 278984035 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 915332
[startup+102.415 s]
/proc/loadavg: 1.97 1.39 1.14 3/94 803
/proc/meminfo: memFree=808320/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=101.92
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15857 0 1 0 9895 297 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915332
[startup+162.464 s]
/proc/loadavg: 1.99 1.50 1.19 3/94 803
/proc/meminfo: memFree=808320/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=161.91
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 15894 297 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 915332
[startup+763.049 s]
/proc/loadavg: 2.01 1.94 1.57 3/94 805
/proc/meminfo: memFree=808320/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=761.88
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 75890 298 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 915332
[startup+823.104 s]
/proc/loadavg: 2.00 1.95 1.59 3/94 805
/proc/meminfo: memFree=808320/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=821.89
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 81890 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.89
Current children cumulated vsize (KiB) 915332
[startup+883.158 s]
/proc/loadavg: 2.00 1.95 1.61 3/94 805
/proc/meminfo: memFree=808320/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=881.89
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 87890 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 915332
[startup+943.211 s]
/proc/loadavg: 2.00 1.96 1.64 3/94 805
/proc/meminfo: memFree=808384/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=941.86
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 93887 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 915332
[startup+1003.27 s]
/proc/loadavg: 2.00 1.96 1.65 3/94 805
/proc/meminfo: memFree=808384/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=1001.87
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 99888 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 915332
[startup+1063.33 s]
/proc/loadavg: 2.00 1.97 1.67 3/94 805
/proc/meminfo: memFree=808448/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=1061.87
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 105888 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 915332
[startup+1123.39 s]
/proc/loadavg: 2.00 1.97 1.69 3/94 805
/proc/meminfo: memFree=808448/2055920 swapFree=4170260/4192956
[pid=723] ppid=721 vsize=915332 CPUtime=1121.85
/proc/723/stat : 723 (java) R 721 723 302 0 -1 0 15859 0 1 0 111886 299 0 0 25 0 8 0 278984027 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/723/statm: 228833 15586 2530 14 0 215303 0
[pid=723/tid=725] ppid=721 vsize=915332 CPUtime=0.05
/proc/723/task/725/stat : 725 (java) S 721 723 302 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278984031 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=726] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/726/stat : 726 (java) S 721 723 302 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=727] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/727/stat : 727 (java) S 721 723 302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278984032 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=730] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/730/stat : 730 (java) S 721 723 302 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=731] ppid=721 vsize=915332 CPUtime=0.2
/proc/723/task/731/stat : 731 (java) S 721 723 302 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=732] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/732/stat : 732 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=723/tid=733] ppid=721 vsize=915332 CPUtime=0
/proc/723/task/733/stat : 733 (java) S 721 723 302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278984035 937299968 15586 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 1155.64
CPU time (s): 1154.08
CPU user time (s): 1151.08
CPU system time (s): 3.00354
CPU usage (%): 99.8648
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1151.08
system time used= 3.00354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15871
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= 24343
involuntary context switches= 32864
runsolver used 1.42878 s user time and 3.70544 s system time
The end
Begin job on node20 on Sat Jan 20 15:11:35 UTC 2007
IDJOB= 280451
IDBENCH= 11095
IDSOLVER= 69
FILE ID= node20/280451-1169305895
PBS_JOBID= 3610108
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280451-1169305895/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-280451-1169305895 -o ROOT/results/node20/solver-280451-1169305895 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280451-1169305895/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 882ba2653e8ebd9a75015bbeb58c150c
RANDOM SEED= 801628492
TIME LIMIT= 2400 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.216
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.216
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: 1402352 kB
Buffers: 42408 kB
Cached: 505620 kB
SwapCached: 7600 kB
Active: 162436 kB
Inactive: 419772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1402352 kB
SwapTotal: 4192956 kB
SwapFree: 4170260 kB
Dirty: 7380 kB
Writeback: 0 kB
Mapped: 48212 kB
Slab: 56348 kB
Committed_AS: 5473396 kB
PageTables: 2260 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= 66045 MiB
End job on node20 on Sat Jan 20 15:30:51 UTC 2007