0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278048-1169273430/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.37 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.37 => wckTime=0.084 cpuTime=0.08 mem=6M910
0.37
0.37 relations being loaded...
0.38
0.38 constraints being loaded...
0.51 nbConstraints=488 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=470
0.51 nbConflictsStructures=18 nbSharedConflictsStructures=470 nbSharedBinaryRepresentations=0 maxDegree=54
0.51 maxArity=3
0.51 => wckTime=0.224 cpuTime=0.15 mem=8M876
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.3 cpuTime=0.2 mem=5M613
0.59
0.59 s SATISFIABLE
0.59 o 427
0.59 c 61
0.59 o 431
0.59 c 57
0.59 o 434
0.59 c 54
0.59 o 436
0.59 c 52
0.60 o 439
0.60 c 49
0.60 o 444
0.60 c 44
0.60 o 446
0.60 c 42
0.60 o 448
0.60 c 40
0.60 o 451
0.60 c 37
0.60 o 452
0.60 c 36
0.60 o 454
0.60 c 34
0.60 o 455
0.60 c 33
0.60 o 456
0.60 c 32
0.60 o 457
0.60 c 31
0.61 o 458
0.61 c 30
0.61 o 459
0.61 c 29
0.61 o 461
0.61 c 27
0.61 o 463
0.61 c 25
0.61 o 464
0.61 c 24
0.62 o 465
0.62 c 23
0.62 o 467
0.62 c 21
0.62 o 470
0.62 c 18
0.66 o 471
0.66 c 17
2.29
2.29 search
2.29 run=0 nbConstraintChecks=7962290 nbAssignments=10000
2.29 => wckTime=1.701 cpuTime=1.68 mem=5M613
3.98
3.98 search
3.98 run=1 nbConstraintChecks=16159055 nbAssignments=20000
3.98 => wckTime=3.392 cpuTime=3.37 mem=5M613
5.64
5.64 search
5.64 run=2 nbConstraintChecks=24118567 nbAssignments=30000
5.64 => wckTime=5.047 cpuTime=5.02 mem=5M613
7.32
7.32 search
7.32 run=3 nbConstraintChecks=32306557 nbAssignments=40000
7.32 => wckTime=6.736 cpuTime=6.71 mem=5M613
8.98
8.98 search
8.98 run=4 nbConstraintChecks=40253511 nbAssignments=50000
8.98 => wckTime=8.39 cpuTime=8.36 mem=5M613
10.67
10.67 search
10.67 run=5 nbConstraintChecks=48470464 nbAssignments=60000
10.67 => wckTime=10.081 cpuTime=10.05 mem=5M613
12.33
12.33 search
12.33 run=6 nbConstraintChecks=56427072 nbAssignments=70000
12.33 => wckTime=11.74 cpuTime=11.71 mem=5M613
14.03
14.03 search
14.03 run=7 nbConstraintChecks=64632942 nbAssignments=80000
14.03 => wckTime=13.444 cpuTime=13.42 mem=5M613
15.70
15.70 search
15.70 run=8 nbConstraintChecks=72591573 nbAssignments=90000
15.70 => wckTime=15.114 cpuTime=15.09 mem=5M613
17.41
17.41 search
17.41 run=9 nbConstraintChecks=80807237 nbAssignments=100000
17.41 => wckTime=16.821 cpuTime=16.79 mem=5M613
19.08
19.08 search
19.08 run=10 nbConstraintChecks=88775902 nbAssignments=110000
19.08 => wckTime=18.493 cpuTime=18.46 mem=5M613
20.78
20.78 search
20.78 run=11 nbConstraintChecks=96955639 nbAssignments=120000
20.78 => wckTime=20.194 cpuTime=20.16 mem=5M613
22.45
22.45 search
22.45 run=12 nbConstraintChecks=104905886 nbAssignments=130000
22.45 => wckTime=21.86 cpuTime=21.83 mem=5M613
24.14
24.14 search
24.14 run=13 nbConstraintChecks=113126667 nbAssignments=140000
24.14 => wckTime=23.552 cpuTime=23.52 mem=5M613
25.80
25.80 search
25.80 run=14 nbConstraintChecks=121091423 nbAssignments=150000
25.80 => wckTime=25.21 cpuTime=25.18 mem=5M613
27.49
27.49 search
27.49 run=15 nbConstraintChecks=129280834 nbAssignments=160000
27.49 => wckTime=26.899 cpuTime=26.86 mem=5M613
29.14
29.14 search
29.14 run=16 nbConstraintChecks=137207064 nbAssignments=170000
29.14 => wckTime=28.552 cpuTime=28.52 mem=5M613
30.70
30.70 search
30.70 run=17 nbConstraintChecks=144786405 nbAssignments=179237
30.70 => wckTime=30.115 cpuTime=30.08 mem=5M613
30.71
30.71 global
30.71 nbConstraintChecks=144786405 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.71 solvingWckTime=30.114 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
30.71 globalCpuTime=30.32
30.71 => wckTime=30.416 cpuTime=30.28 mem=5M613
30.71
30.71 solver IterativeSystematicSolver being built...
30.87 => wckTime=30.583 cpuTime=30.4 mem=19M643
30.88
30.88 preprocessing
30.88 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.88 detectedInconsistency=no
30.88 => wckTime=0.0070 cpuTime=0.01 mem=19M643
30.94
30.94 search
30.94 run=0 nbConstraintChecks=4195 nbValidityChecks=14878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.94 nbAssignments=29 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0
30.94 => wckTime=0.066 cpuTime=0.04 mem=19M643
30.99
30.99 search
30.99 run=1 nbConstraintChecks=10022 nbValidityChecks=37733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.99 nbAssignments=68 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=109 nbRestartNogoods=1
30.99 => wckTime=0.116 cpuTime=0.08 mem=19M643
31.03
31.03 search
31.03 run=2 nbConstraintChecks=18289 nbValidityChecks=72379 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.03 nbAssignments=121 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=202 nbRestartNogoods=4
31.03 => wckTime=0.157 cpuTime=0.12 mem=19M643
31.09
31.09 search
31.09 run=3 nbConstraintChecks=30532 nbValidityChecks=120299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.09 nbAssignments=189 nbFailedAssignments=60 nbBacktracks=82 nbVisitedNodes=326 nbRestartNogoods=6
31.09 => wckTime=0.212 cpuTime=0.17 mem=19M643
31.17
31.17 search
31.17 run=4 nbConstraintChecks=49215 nbValidityChecks=207400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.17 nbAssignments=291 nbFailedAssignments=100 nbBacktracks=132 nbVisitedNodes=516 nbRestartNogoods=9
31.17 => wckTime=0.297 cpuTime=0.26 mem=19M643
31.29
31.29 search
31.29 run=5 nbConstraintChecks=76994 nbValidityChecks=339802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 nbAssignments=435 nbFailedAssignments=156 nbBacktracks=208 nbVisitedNodes=785 nbRestartNogoods=11
31.29 => wckTime=0.411 cpuTime=0.37 mem=19M643
31.44
31.44 search
31.44 run=6 nbConstraintChecks=113600 nbValidityChecks=513847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.44 nbAssignments=635 nbFailedAssignments=228 nbBacktracks=322 nbVisitedNodes=1148 nbRestartNogoods=13
31.44 => wckTime=0.567 cpuTime=0.53 mem=19M643
31.72
31.72 search
31.72 run=7 nbConstraintChecks=177999 nbValidityChecks=817037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.72 nbAssignments=954 nbFailedAssignments=363 nbBacktracks=492 nbVisitedNodes=1768 nbRestartNogoods=17
31.72 => wckTime=0.851 cpuTime=0.8 mem=19M643
32.10
32.10 search
32.10 run=8 nbConstraintChecks=257659 nbValidityChecks=1177765 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.10 nbAssignments=1385 nbFailedAssignments=526 nbBacktracks=749 nbVisitedNodes=2570 nbRestartNogoods=22
32.10 => wckTime=1.226 cpuTime=1.18 mem=19M643
32.53
32.53 search
32.53 run=9 nbConstraintChecks=352030 nbValidityChecks=1617156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.53 nbAssignments=1959 nbFailedAssignments=701 nbBacktracks=1134 nbVisitedNodes=3587 nbRestartNogoods=26
32.53 => wckTime=1.66 cpuTime=1.6 mem=19M643
33.31
33.31 search
33.31 run=10 nbConstraintChecks=528803 nbValidityChecks=2497508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.32 nbAssignments=2922 nbFailedAssignments=1073 nbBacktracks=1712 nbVisitedNodes=5397 nbRestartNogoods=30
33.32 => wckTime=2.441 cpuTime=2.37 mem=19M643
34.47
34.47 search
34.47 run=11 nbConstraintChecks=786084 nbValidityChecks=3691090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.47 nbAssignments=4365 nbFailedAssignments=1637 nbBacktracks=2578 nbVisitedNodes=8026 nbRestartNogoods=37
34.47 => wckTime=3.592 cpuTime=3.52 mem=19M643
36.26
36.27 search
36.27 run=12 nbConstraintChecks=1228541 nbValidityChecks=5743719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.27 nbAssignments=6524 nbFailedAssignments=2484 nbBacktracks=3875 nbVisitedNodes=12202 nbRestartNogoods=42
36.27 => wckTime=5.391 cpuTime=5.32 mem=19M643
38.77
38.77 search
38.77 run=13 nbConstraintChecks=1813994 nbValidityChecks=8455347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.77 nbAssignments=9678 nbFailedAssignments=3677 nbBacktracks=5821 nbVisitedNodes=17986 nbRestartNogoods=47
38.77 => wckTime=7.892 cpuTime=7.82 mem=19M643
43.13
43.13 search
43.13 run=14 nbConstraintChecks=2835259 nbValidityChecks=13243597 nbPropagations=0 nbRevisions=0
43.13 nbUselessRevisions=0 nbAssignments=14715 nbFailedAssignments=5784 nbBacktracks=8740 nbVisitedNodes=27850
43.13 nbRestartNogoods=51
43.13 => wckTime=12.259 cpuTime=12.18 mem=19M643
49.30
49.30 search
49.30 run=15 nbConstraintChecks=4294583 nbValidityChecks=19955574 nbPropagations=0 nbRevisions=0
49.30 nbUselessRevisions=0 nbAssignments=21965 nbFailedAssignments=8640 nbBacktracks=13118 nbVisitedNodes=42004
49.30 nbRestartNogoods=58
49.30 => wckTime=18.423 cpuTime=18.34 mem=19M643
57.85
57.85 search
57.85 run=16 nbConstraintChecks=6261456 nbValidityChecks=29549102 nbPropagations=0 nbRevisions=0
57.85 nbUselessRevisions=0 nbAssignments=32601 nbFailedAssignments=12693 nbBacktracks=19687 nbVisitedNodes=61676
57.85 nbRestartNogoods=64
57.85 => wckTime=26.977 cpuTime=26.89 mem=19M643
70.44
70.44 search
70.44 run=17 nbConstraintChecks=9422640 nbValidityChecks=44153734 nbPropagations=0 nbRevisions=0
70.44 nbUselessRevisions=0 nbAssignments=48153 nbFailedAssignments=18376 nbBacktracks=29541 nbVisitedNodes=91371
70.44 nbRestartNogoods=71
70.44 => wckTime=39.565 cpuTime=39.48 mem=19M643
90.43
90.43 search
90.43 run=18 nbConstraintChecks=14250537 nbValidityChecks=66072541 nbPropagations=0 nbRevisions=0
90.43 nbUselessRevisions=0 nbAssignments=72716 nbFailedAssignments=28150 nbBacktracks=44320 nbVisitedNodes=138122
90.43 nbRestartNogoods=77
90.43 => wckTime=59.558 cpuTime=59.46 mem=19M643
118.89
118.89 search
118.89 run=19 nbConstraintChecks=21603664 nbValidityChecks=99103685 nbPropagations=0 nbRevisions=0
118.89 nbUselessRevisions=0 nbAssignments=108606 nbFailedAssignments=41859 nbBacktracks=66488 nbVisitedNodes=204998
118.89 nbRestartNogoods=84
118.89 => wckTime=88.015 cpuTime=87.91 mem=19M643
159.35
159.35 search
159.35 run=20 nbConstraintChecks=32307984 nbValidityChecks=145561153 nbPropagations=0 nbRevisions=0
159.35 nbUselessRevisions=0 nbAssignments=161311 nbFailedAssignments=61295 nbBacktracks=99740 nbVisitedNodes=302412
159.35 nbRestartNogoods=90
159.35 => wckTime=128.472 cpuTime=128.35 mem=19M643
218.73
218.73 search
218.73 run=21 nbConstraintChecks=47966131 nbValidityChecks=208860042 nbPropagations=0 nbRevisions=0
218.73 nbUselessRevisions=0 nbAssignments=240114 nbFailedAssignments=90206 nbBacktracks=149622 nbVisitedNodes=445936
218.73 nbRestartNogoods=96
218.73 => wckTime=187.861 cpuTime=187.71 mem=19M643
295.76
295.76 search
295.76 run=22 nbConstraintChecks=69320393 nbValidityChecks=294957296 nbPropagations=0 nbRevisions=0
295.76 nbUselessRevisions=0 nbAssignments=351289 nbFailedAssignments=126546 nbBacktracks=224440 nbVisitedNodes=638484
295.76 nbRestartNogoods=99
295.76 => wckTime=264.882 cpuTime=264.71 mem=19M643
393.59
393.59 search
393.59 run=23 nbConstraintChecks=95975477 nbValidityChecks=400403118 nbPropagations=0 nbRevisions=0
393.59 nbUselessRevisions=0 nbAssignments=495414 nbFailedAssignments=171150 nbBacktracks=323962 nbVisitedNodes=882402
393.59 nbRestartNogoods=109
393.59 => wckTime=362.721 cpuTime=362.51 mem=19M643
393.60
393.60 global
393.60 nbConstraintChecks=95975477 nbValidityChecks=400403118 nbRestartNogoods=109 solvingWckTime=362.722
393.60 solvingCpuTime=362.51 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=392.95
393.60 => wckTime=393.306 cpuTime=392.91 mem=19M643
393.60
393.60 s OPTIMUM FOUND
393.60 v 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1
393.60
393.60 totalWckTime=393.381 totalCpuTime=392.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-278048-1169273430 -o ROOT/results/node19/solver-278048-1169273430 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278048-1169273430/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: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=172 CPUtime=0
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 275737749 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/18919/statm: 43 24 18 14 0 3 0
[startup+0.105038 s]
/proc/loadavg: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=915720 CPUtime=0.08
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 3045 0 1 0 7 1 0 0 18 0 8 0 275737749 937697280 2791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153802098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18919/statm: 228930 2791 1446 14 0 215425 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915720
[startup+0.513113 s]
/proc/loadavg: 0.89 1.22 1.62 3/78 18920
/proc/meminfo: memFree=1182008/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=0.5
/proc/18919/stat : 18919 (java) S 18917 18919 18414 0 -1 0 6628 0 1 0 46 4 0 0 16 0 8 0 275737749 938041344 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18919/statm: 229014 6367 2156 14 0 215484 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916056
[startup+1.33526 s]
/proc/loadavg: 0.89 1.22 1.62 2/85 18927
/proc/meminfo: memFree=1164040/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=1.32
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7171 0 1 0 110 22 0 0 20 0 8 0 275737749 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6909 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 17 0 8 0 275737753 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.13
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 345 0 0 0 12 1 0 0 16 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 916056
[startup+2.97857 s]
/proc/loadavg: 0.89 1.22 1.62 2/85 18927
/proc/meminfo: memFree=1163912/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=2.96
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 236 60 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6911 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.13
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 12 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916056
[startup+6.26319 s]
/proc/loadavg: 0.89 1.21 1.61 3/85 18927
/proc/meminfo: memFree=1163920/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=6.25
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 490 135 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229015 6911 2475 14 0 215485 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916060 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938045440 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916056
[startup+12.7424 s]
/proc/loadavg: 0.90 1.21 1.61 2/85 18927
/proc/meminfo: memFree=1163928/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=12.73
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7174 0 1 0 979 294 0 0 25 0 8 0 275737749 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6911 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916056
[startup+25.5718 s]
/proc/loadavg: 0.92 1.20 1.60 2/85 18927
/proc/meminfo: memFree=1164056/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=25.55
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 7176 0 1 0 1967 588 0 0 25 0 8 0 275737749 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 6912 2475 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916060 CPUtime=0.14
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 348 0 0 0 13 1 0 0 16 0 8 0 275737757 938045440 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 6912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916056
[startup+51.2577 s]
/proc/loadavg: 0.95 1.18 1.58 2/85 18927
/proc/meminfo: memFree=1153624/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=51.22
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9877 0 1 0 4408 714 0 0 25 0 8 0 275737749 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9610 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 415 0 0 0 24 1 0 0 15 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 916056
[startup+102.521 s]
/proc/loadavg: 0.98 1.15 1.55 2/85 18927
/proc/meminfo: memFree=1153496/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=102.46
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9885 0 1 0 9532 714 0 0 25 0 8 0 275737749 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073883314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9618 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916056
[startup+162.615 s]
/proc/loadavg: 0.99 1.12 1.51 2/85 18927
/proc/meminfo: memFree=1153496/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=162.54
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9892 0 1 0 15539 715 0 0 25 0 8 0 275737749 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073918992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9624 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.54
Current children cumulated vsize (KiB) 916056
[startup+222.72 s]
/proc/loadavg: 1.03 1.11 1.48 2/85 18927
/proc/meminfo: memFree=1153432/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=222.62
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9895 0 1 0 21547 715 0 0 25 0 8 0 275737749 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9626 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.62
Current children cumulated vsize (KiB) 916056
[startup+282.819 s]
/proc/loadavg: 1.01 1.09 1.45 2/85 18927
/proc/meminfo: memFree=1153432/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=282.7
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9895 0 1 0 27555 715 0 0 25 0 8 0 275737749 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9626 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.7
Current children cumulated vsize (KiB) 916056
[startup+342.92 s]
/proc/loadavg: 1.00 1.07 1.42 2/85 18927
/proc/meminfo: memFree=1152344/2055920 swapFree=4171264/4192956
[pid=18919] ppid=18917 vsize=916056 CPUtime=342.78
/proc/18919/stat : 18919 (java) R 18917 18919 18414 0 -1 0 9898 0 1 0 33563 715 0 0 25 0 8 0 275737749 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18919/statm: 229014 9629 2529 14 0 215484 0
[pid=18919/tid=18921] ppid=18917 vsize=916056 CPUtime=0.02
/proc/18919/task/18921/stat : 18921 (java) S 18917 18919 18414 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18922] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18922/stat : 18922 (java) S 18917 18919 18414 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18923] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18923/stat : 18923 (java) S 18917 18919 18414 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275737753 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18924] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18924/stat : 18924 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275737756 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18919/tid=18925] ppid=18917 vsize=916056 CPUtime=0.25
/proc/18919/task/18925/stat : 18925 (java) S 18917 18919 18414 0 -1 64 416 0 0 0 24 1 0 0 16 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18926] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18926/stat : 18926 (java) S 18917 18919 18414 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18919/tid=18927] ppid=18917 vsize=916056 CPUtime=0
/proc/18919/task/18927/stat : 18927 (java) S 18917 18919 18414 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275737757 938041344 9629 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.78
Current children cumulated vsize (KiB) 916056
Child status: 0
Real time (s): 393.639
CPU time (s): 393.459
CPU user time (s): 386.296
CPU system time (s): 7.16291
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 916060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.296
system time used= 7.16291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9993
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= 8918
involuntary context switches= 2173
runsolver used 0.45693 s user time and 0.953854 s system time
The end
Begin job on node19 on Sat Jan 20 06:10:31 UTC 2007
IDJOB= 278048
IDBENCH= 7960
IDSOLVER= 69
FILE ID= node19/278048-1169273430
PBS_JOBID= 3607448
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-500-633421_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278048-1169273430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-278048-1169273430 -o ROOT/results/node19/solver-278048-1169273430 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278048-1169273430/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 13198f693866227fc4d05326a2b5916a
RANDOM SEED= 988433393
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.260
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.260
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: 1182488 kB
Buffers: 62704 kB
Cached: 700556 kB
SwapCached: 10172 kB
Active: 335952 kB
Inactive: 458540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1182488 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1948 kB
Writeback: 0 kB
Mapped: 40172 kB
Slab: 64260 kB
Committed_AS: 7604596 kB
PageTables: 2000 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= 66563 MiB
End job on node19 on Sat Jan 20 06:17:05 UTC 2007