0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276427-1169237329/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.098 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.59
0.59 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.67 => wckTime=0.356 cpuTime=0.3 mem=21M716
0.72
0.72 solver LocalSearchSolver being built...
0.76 => wckTime=0.444 cpuTime=0.34 mem=6M328
0.77
0.77 s SATISFIABLE
0.77 o 26
0.77 c 77
0.77 o 31
0.77 c 72
0.78 o 35
0.78 c 68
0.78 o 39
0.78 c 64
0.78 o 43
0.78 c 60
0.78 o 46
0.78 c 57
0.78 o 49
0.78 c 54
0.78 o 51
0.78 c 52
0.78 o 54
0.78 c 49
0.78 o 57
0.78 c 46
0.78 o 60
0.78 c 43
0.78 o 62
0.78 c 41
0.78 o 65
0.78 c 38
0.79 o 67
0.79 c 36
0.79 o 69
0.79 c 34
0.79 o 71
0.79 c 32
0.79 o 72
0.79 c 31
0.79 o 73
0.79 c 30
0.79 o 74
0.79 c 29
0.79 o 75
0.79 c 28
0.80 o 77
0.80 c 26
0.80 o 78
0.80 c 25
0.80 o 79
0.80 c 24
0.80 o 80
0.80 c 23
0.80 o 81
0.80 c 22
0.80 o 82
0.80 c 21
0.80 o 83
0.80 c 20
0.81 o 84
0.81 c 19
0.81 o 85
0.81 c 18
0.81 o 86
0.81 c 17
0.81 o 87
0.81 c 16
0.81 o 88
0.81 c 15
0.84 o 89
0.84 c 14
0.84 o 90
0.84 c 13
0.84 o 91
0.84 c 12
0.85 o 92
0.85 c 11
0.85 o 93
0.85 c 10
0.90 o 94
0.90 c 9
0.92 o 96
0.92 c 7
0.98 o 97
0.98 c 6
1.03 o 98
1.03 c 5
6.31
6.31 search
6.31 run=0 nbConstraintChecks=46589572 nbAssignments=10000
6.31 => wckTime=5.546 cpuTime=5.48 mem=6M328
11.53
11.53 search
11.53 run=1 nbConstraintChecks=91607709 nbAssignments=20000
11.53 => wckTime=10.765 cpuTime=10.65 mem=6M328
16.90
16.90 search
16.90 run=2 nbConstraintChecks=137845276 nbAssignments=30000
16.90 => wckTime=16.139 cpuTime=15.99 mem=6M328
17.46 o 99
17.46 c 4
22.19
22.19 search
22.19 run=3 nbConstraintChecks=182739728 nbAssignments=40000
22.19 => wckTime=21.434 cpuTime=21.24 mem=6M328
27.27
27.27 search
27.27 run=4 nbConstraintChecks=226000996 nbAssignments=50000
27.27 => wckTime=26.511 cpuTime=26.27 mem=6M328
32.82
32.82 search
32.82 run=5 nbConstraintChecks=274005813 nbAssignments=60000
32.82 => wckTime=32.057 cpuTime=31.77 mem=6M328
38.27
38.27 search
38.27 run=6 nbConstraintChecks=321152453 nbAssignments=70000
38.27 => wckTime=37.512 cpuTime=37.18 mem=6M328
43.63
43.63 search
43.63 run=7 nbConstraintChecks=366522351 nbAssignments=80000
43.63 => wckTime=42.865 cpuTime=42.49 mem=6M328
47.72
47.72 search
47.72 run=8 nbConstraintChecks=401693802 nbAssignments=88183
47.72 => wckTime=46.956 cpuTime=46.55 mem=6M328
47.72
47.72 global
47.72 nbConstraintChecks=401693802 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.72 solvingWckTime=46.953 solvingCpuTime=46.55 expiredTime=no totalExploration=no nbFoundSolutions=0
47.72 globalCpuTime=46.93
47.72 => wckTime=47.401 cpuTime=46.89 mem=6M328
47.72
47.72 solver IterativeSystematicSolver being built...
47.84 => wckTime=47.523 cpuTime=46.98 mem=17M285
47.93
47.93 preprocessing
47.93 nbConstraintChecks=171938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
47.93 detectedInconsistency=no
47.93 => wckTime=0.084 cpuTime=0.06 mem=17M285
48.42
48.42 search
48.42 run=0 nbConstraintChecks=2534517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186
48.42 nbFailedAssignments=165 nbBacktracks=10 nbVisitedNodes=362 nbRestartNogoods=0
48.42 => wckTime=0.582 cpuTime=0.55 mem=17M285
48.89
48.89 search
48.89 run=1 nbConstraintChecks=5886639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=457
48.89 nbFailedAssignments=414 nbBacktracks=25 nbVisitedNodes=897 nbRestartNogoods=74
48.89 => wckTime=1.051 cpuTime=1.0 mem=17M285
50.30
50.30 search
50.30 run=2 nbConstraintChecks=15165427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1208
50.30 nbFailedAssignments=1138 nbBacktracks=47 nbVisitedNodes=2394 nbRestartNogoods=78
50.30 => wckTime=2.461 cpuTime=2.4 mem=17M285
51.32
51.32 search
51.32 run=3 nbConstraintChecks=19748966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1651
51.32 nbFailedAssignments=1540 nbBacktracks=80 nbVisitedNodes=3272 nbRestartNogoods=80
51.32 => wckTime=3.483 cpuTime=3.39 mem=17M285
53.44
53.44 search
53.44 run=4 nbConstraintChecks=33040312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2892
53.44 nbFailedAssignments=2719 nbBacktracks=130 nbVisitedNodes=5742 nbRestartNogoods=146
53.44 => wckTime=5.598 cpuTime=5.49 mem=17M285
58.50
58.50 search
58.50 run=5 nbConstraintChecks=57466486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4834
58.50 nbFailedAssignments=4576 nbBacktracks=205 nbVisitedNodes=9616 nbRestartNogoods=350
58.50 => wckTime=10.66 cpuTime=10.52 mem=17M285
63.79
63.79 search
63.79 run=6 nbConstraintChecks=90494335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7837
63.79 nbFailedAssignments=7455 nbBacktracks=318 nbVisitedNodes=15611 nbRestartNogoods=388
63.79 => wckTime=15.952 cpuTime=15.76 mem=17M285
69.12
69.12 search
69.12 run=7 nbConstraintChecks=118872334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11105
69.12 nbFailedAssignments=10544 nbBacktracks=488 nbVisitedNodes=22138 nbRestartNogoods=466
69.12 => wckTime=21.277 cpuTime=21.03 mem=17M285
76.34
76.34 search
76.34 run=8 nbConstraintChecks=162621457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14570
76.34 nbFailedAssignments=13738 nbBacktracks=744 nbVisitedNodes=29053 nbRestartNogoods=629
76.34 => wckTime=28.497 cpuTime=28.2 mem=17M285
80.18
80.18 search
80.18 run=9 nbConstraintChecks=180716061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16886
80.18 nbFailedAssignments=15656 nbBacktracks=1128 nbVisitedNodes=33671 nbRestartNogoods=664
80.18 => wckTime=32.34 cpuTime=32.01 mem=17M285
98.19
98.19 search
98.19 run=10 nbConstraintChecks=280484171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25835
98.19 nbFailedAssignments=24012 nbBacktracks=1704 nbVisitedNodes=51548 nbRestartNogoods=821
98.19 => wckTime=50.348 cpuTime=49.86 mem=17M285
114.72
114.72 search
114.72 run=11 nbConstraintChecks=370177935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35530
114.72 nbFailedAssignments=32834 nbBacktracks=2569 nbVisitedNodes=70926 nbRestartNogoods=956
114.72 => wckTime=66.88 cpuTime=66.24 mem=17M285
135.54
135.54 search
135.54 run=12 nbConstraintChecks=472906370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44398
135.54 nbFailedAssignments=40398 nbBacktracks=3866 nbVisitedNodes=88636 nbRestartNogoods=1000
135.54 => wckTime=87.702 cpuTime=86.88 mem=17M285
170.06
170.07 search
170.07 run=13 nbConstraintChecks=639519773 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58122
170.07 nbFailedAssignments=52168 nbBacktracks=5812 nbVisitedNodes=116066 nbRestartNogoods=1025
170.07 => wckTime=122.224 cpuTime=121.11 mem=17M285
204.37
204.37 search
204.37 run=14 nbConstraintChecks=794561794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70915
204.37 nbFailedAssignments=62032 nbBacktracks=8732 nbVisitedNodes=141541 nbRestartNogoods=1036
204.37 => wckTime=156.526 cpuTime=155.11 mem=17M285
258.77
258.77 search
258.77 run=15 nbConstraintChecks=1029587592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=91238
258.77 nbFailedAssignments=77967 nbBacktracks=13110 nbVisitedNodes=181664 nbRestartNogoods=1053
258.77 => wckTime=210.931 cpuTime=209.06 mem=17M285
340.53
340.53 search
340.53 run=16 nbConstraintChecks=1411463024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121886
340.53 nbFailedAssignments=102037 nbBacktracks=19678 nbVisitedNodes=242894 nbRestartNogoods=1091
340.53 => wckTime=292.685 cpuTime=290.15 mem=17M285
469.46
469.46 search
469.46 run=17 nbConstraintChecks=2007767245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169696
469.46 nbFailedAssignments=139989 nbBacktracks=29530 nbVisitedNodes=337991 nbRestartNogoods=1114
469.46 => wckTime=421.621 cpuTime=417.99 mem=17M285
625.21
625.21 search
625.21 run=18 nbConstraintChecks=2630469229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223361
625.21 nbFailedAssignments=178868 nbBacktracks=44308 nbVisitedNodes=444274 nbRestartNogoods=1143
625.21 => wckTime=577.372 cpuTime=572.45 mem=17M285
864.90
864.90 search
864.90 run=19 nbConstraintChecks=3617380282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310463
864.90 nbFailedAssignments=243795 nbBacktracks=66477 nbVisitedNodes=615577 nbRestartNogoods=1187
864.90 => wckTime=817.061 cpuTime=810.13 mem=17M285
974.24 o 100
974.24 c 3
1191.29
1191.29 search
1191.29 run=20 nbConstraintChecks=4866154132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=420693
1191.29 nbFailedAssignments=320765 nbBacktracks=99729 nbVisitedNodes=831732 nbRestartNogoods=1248
1191.29 => wckTime=1143.45 cpuTime=1133.68 mem=17M285
1667.06
1667.06 search
1667.06 run=21 nbConstraintChecks=6637275269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=581471
1667.06 nbFailedAssignments=431658 nbBacktracks=149609 nbVisitedNodes=1145192 nbRestartNogoods=1276
1667.06 => wckTime=1619.218 cpuTime=1605.46 mem=17M285
2405.76 o 101
2405.76 c 2
2420.45 v 3 17 9 20 3 15 11 10 35 7 33 47 3 49 41 19 39 76 46 6 32 24 13 17 3 30 11 1 1 51 4 50 74 76 69 29 62 39 46 12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-276427-1169237329 -o ROOT/results/node38/solver-276427-1169237329 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276427-1169237329/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.81 1.11 1.52 3/81 16680
/proc/meminfo: memFree=1449488/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=18540 CPUtime=0
/proc/16679/stat : 16679 (runsolver) R 16677 16679 16547 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 272132547 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16679/statm: 4635 279 244 17 0 2626 0
[startup+0.101847 s]
/proc/loadavg: 0.81 1.11 1.52 3/81 16680
/proc/meminfo: memFree=1449488/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=911488 CPUtime=0.06
/proc/16679/stat : 16679 (java) D 16677 16679 16547 0 -1 0 2637 0 1 0 5 1 0 0 24 0 8 0 272132547 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.509928 s]
/proc/loadavg: 0.81 1.11 1.52 3/81 16680
/proc/meminfo: memFree=1449488/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915332 CPUtime=0.46
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 7377 0 1 0 42 4 0 0 25 0 8 0 272132547 937299968 7116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228833 7116 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33108 s]
/proc/loadavg: 0.81 1.11 1.52 4/88 16687
/proc/meminfo: memFree=1418392/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=1.27
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10432 0 1 0 118 9 0 0 22 0 8 0 272132547 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 9028548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10170 2479 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.12
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 272132556 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915444
[startup+2.9724 s]
/proc/loadavg: 0.90 1.12 1.52 3/88 16687
/proc/meminfo: memFree=1418392/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2.91
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10436 0 1 0 270 21 0 0 25 0 8 0 272132547 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10173 2479 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.12
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 334 0 0 0 12 0 0 0 15 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915444
[startup+6.26204 s]
/proc/loadavg: 0.90 1.12 1.52 3/88 16687
/proc/meminfo: memFree=1418328/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=6.17
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10436 0 1 0 575 42 0 0 25 0 8 0 272132547 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10173 2479 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.12
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 334 0 0 0 12 0 0 0 15 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7333 s]
/proc/loadavg: 1.07 1.15 1.52 3/88 16687
/proc/meminfo: memFree=1418456/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=12.59
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10438 0 1 0 1168 91 0 0 25 0 8 0 272132547 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10175 2479 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.13
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915444
[startup+25.5848 s]
/proc/loadavg: 1.21 1.18 1.53 3/88 16687
/proc/meminfo: memFree=1418648/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=25.34
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10438 0 1 0 2351 183 0 0 25 0 8 0 272132547 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10175 2479 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.13
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.2788 s]
/proc/loadavg: 1.54 1.26 1.55 3/88 16687
/proc/meminfo: memFree=1418520/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=50.82
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10590 0 1 0 4744 338 0 0 25 0 8 0 272132547 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10323 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 17 0 8 0 272132552 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.21
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 272132556 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915444
[startup+102.567 s]
/proc/loadavg: 1.80 1.37 1.57 3/88 16687
/proc/meminfo: memFree=1418456/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=101.68
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10602 0 1 0 9830 338 0 0 25 0 8 0 272132547 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10330 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 915444
[startup+162.627 s]
/proc/loadavg: 1.92 1.48 1.59 3/88 16687
/proc/meminfo: memFree=1418456/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=161.21
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10602 0 1 0 15783 338 0 0 25 0 8 0 272132547 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2006.63
Current children cumulated vsize (KiB) 915444
[startup+2083.77 s]
/proc/loadavg: 2.03 2.05 1.95 3/88 16689
/proc/meminfo: memFree=1418136/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2066.18
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 206278 340 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2066.18
Current children cumulated vsize (KiB) 915444
[startup+2143.83 s]
/proc/loadavg: 2.05 2.05 1.95 3/88 16689
/proc/meminfo: memFree=1418136/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2125.72
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 212231 341 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2125.72
Current children cumulated vsize (KiB) 915444
[startup+2203.88 s]
/proc/loadavg: 2.02 2.04 1.95 3/88 16689
/proc/meminfo: memFree=1418136/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2185.24
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 218183 341 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2185.24
Current children cumulated vsize (KiB) 915444
[startup+2263.89 s]
/proc/loadavg: 2.04 2.05 1.96 3/88 16689
/proc/meminfo: memFree=1418072/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2244.78
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 224137 341 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2244.78
Current children cumulated vsize (KiB) 915444
[startup+2323.91 s]
/proc/loadavg: 2.01 2.03 1.96 3/88 16689
/proc/meminfo: memFree=1418072/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2304.31
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 230090 341 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2304.31
Current children cumulated vsize (KiB) 915444
[startup+2383.94 s]
/proc/loadavg: 2.00 2.03 1.96 3/88 16689
/proc/meminfo: memFree=1418072/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2363.82
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 236041 341 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2363.82
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.44 s]
/proc/loadavg: 2.07 2.04 1.96 3/80 16737
/proc/meminfo: memFree=1389144/2055920 swapFree=4192812/4192956
[pid=16679] ppid=16677 vsize=915444 CPUtime=2400.08
/proc/16679/stat : 16679 (java) R 16677 16679 16547 0 -1 0 10603 0 1 0 239666 342 0 0 25 0 8 0 272132547 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16679/statm: 228861 10331 2532 14 0 215331 0
[pid=16679/tid=16681] ppid=16677 vsize=915444 CPUtime=0.03
/proc/16679/task/16681/stat : 16681 (java) S 16677 16679 16547 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 272132552 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16682] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16682/stat : 16682 (java) S 16677 16679 16547 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16683] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16683/stat : 16683 (java) S 16677 16679 16547 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132553 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16684] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16684/stat : 16684 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16685] ppid=16677 vsize=915444 CPUtime=0.22
/proc/16679/task/16685/stat : 16685 (java) S 16677 16679 16547 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16686] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16686/stat : 16686 (java) S 16677 16679 16547 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16679/tid=16687] ppid=16677 vsize=915444 CPUtime=0
/proc/16679/task/16687/stat : 16687 (java) S 16677 16679 16547 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132556 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2420.48
CPU time (s): 2400.14
CPU user time (s): 2396.7
CPU system time (s): 3.43548
CPU usage (%): 99.1594
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.7
system time used= 3.43548
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10623
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= 50088
involuntary context switches= 139279
runsolver used 2.57861 s user time and 6.62899 s system time
The end
Begin job on node38 on Fri Jan 19 20:08:49 UTC 2007
IDJOB= 276427
IDBENCH= 5766
IDSOLVER= 68
FILE ID= node38/276427-1169237329
PBS_JOBID= 3589317
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276427-1169237329/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-276427-1169237329 -o ROOT/results/node38/solver-276427-1169237329 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276427-1169237329/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 01f6d45782dacf7980256bd8b86da3b5
RANDOM SEED= 566655096
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.267
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.267
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: 1450032 kB
Buffers: 45296 kB
Cached: 450220 kB
SwapCached: 0 kB
Active: 167788 kB
Inactive: 363432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3632 kB
Writeback: 0 kB
Mapped: 53432 kB
Slab: 59956 kB
Committed_AS: 5190296 kB
PageTables: 1968 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= 66556 MiB
End job on node38 on Fri Jan 19 20:49:10 UTC 2007