0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278596-1169288984/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.102 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.63 nbConstraints=899 nbRelationTypes=231 nbExtensionStructures=231 nbSharedExtensionStructures=668
0.63 nbConflictsStructures=231 nbSharedConflictsStructures=668 nbSharedBinaryRepresentations=16 maxDegree=60
0.63 maxArity=11
0.63 => wckTime=0.321 cpuTime=0.21 mem=11M763
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.408 cpuTime=0.25 mem=6M348
0.73
0.73 s SATISFIABLE
0.73 o 840
0.73 c 59
0.73 o 844
0.73 c 55
0.73 o 848
0.73 c 51
0.73 o 852
0.73 c 47
0.73 o 856
0.73 c 43
0.74 o 860
0.74 c 39
0.74 o 862
0.74 c 37
0.74 o 865
0.74 c 34
0.74 o 867
0.74 c 32
0.74 o 869
0.74 c 30
0.74 o 870
0.74 c 29
0.74 o 871
0.74 c 28
0.75 o 872
0.75 c 27
0.75 o 874
0.75 c 25
0.75 o 876
0.75 c 23
0.75 o 877
0.75 c 22
0.76 o 878
0.76 c 21
0.76 o 880
0.76 c 19
0.77 o 882
0.77 c 17
0.77 o 883
0.77 c 16
0.77 o 884
0.77 c 15
0.78 o 885
0.78 c 14
0.79 o 886
0.79 c 13
0.79 o 887
0.79 c 12
0.80 o 888
0.80 c 11
0.80 o 889
0.80 c 10
0.80 o 891
0.80 c 8
0.80 o 892
0.80 c 7
0.82 o 893
0.82 c 6
0.82 o 894
0.82 c 5
1.36 o 895
1.36 c 4
1.36 o 896
1.36 c 3
5.70
5.70 search
5.70 run=0 nbConstraintChecks=14890304 nbAssignments=10000
5.70 => wckTime=4.976 cpuTime=4.93 mem=6M348
11.13
11.13 search
11.13 run=1 nbConstraintChecks=31732438 nbAssignments=20000
11.13 => wckTime=10.412 cpuTime=10.37 mem=6M348
15.86
15.86 search
15.86 run=2 nbConstraintChecks=46258046 nbAssignments=30000
15.86 => wckTime=15.143 cpuTime=15.09 mem=6M348
21.46
21.46 search
21.46 run=3 nbConstraintChecks=63409216 nbAssignments=40000
21.46 => wckTime=20.737 cpuTime=20.68 mem=6M348
26.20
26.20 search
26.20 run=4 nbConstraintChecks=77840198 nbAssignments=50000
26.20 => wckTime=25.481 cpuTime=25.42 mem=6M348
31.40
31.40 search
31.40 run=5 nbConstraintChecks=93895206 nbAssignments=59598
31.40 => wckTime=30.677 cpuTime=30.62 mem=6M348
31.40
31.40 global
31.40 nbConstraintChecks=93895206 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.40 solvingWckTime=30.676 solvingCpuTime=30.62 expiredTime=no totalExploration=no nbFoundSolutions=0
31.40 globalCpuTime=30.93
31.40 => wckTime=31.086 cpuTime=30.87 mem=6M348
31.40
31.40 solver IterativeSystematicSolver being built...
31.59 => wckTime=31.278 cpuTime=31.01 mem=25M226
31.88
31.88 preprocessing
31.88 nbConstraintChecks=7742 nbValidityChecks=4177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.88 nbRemovedValues=0 detectedInconsistency=no
31.88 => wckTime=0.286 cpuTime=0.26 mem=25M226
32.00
32.00 search
32.00 run=0 nbConstraintChecks=8497 nbValidityChecks=13331 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.00 nbAssignments=50 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
32.00 => wckTime=0.405 cpuTime=0.37 mem=25M226
32.14
32.14 search
32.14 run=1 nbConstraintChecks=16743 nbValidityChecks=24243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.14 nbAssignments=100 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=142 nbRestartNogoods=3
32.14 => wckTime=0.547 cpuTime=0.5 mem=25M226
32.30
32.30 search
32.30 run=2 nbConstraintChecks=28711 nbValidityChecks=45210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.30 nbAssignments=158 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=235 nbRestartNogoods=6
32.30 => wckTime=0.71 cpuTime=0.66 mem=25M226
32.52
32.52 search
32.52 run=3 nbConstraintChecks=45829 nbValidityChecks=69758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.52 nbAssignments=239 nbFailedAssignments=55 nbBacktracks=85 nbVisitedNodes=361 nbRestartNogoods=7
32.52 => wckTime=0.932 cpuTime=0.88 mem=25M226
32.77
32.77 search
32.77 run=4 nbConstraintChecks=69170 nbValidityChecks=114430 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.77 nbAssignments=350 nbFailedAssignments=81 nbBacktracks=135 nbVisitedNodes=521 nbRestartNogoods=9
32.77 => wckTime=1.183 cpuTime=1.14 mem=25M226
33.13
33.13 search
33.13 run=5 nbConstraintChecks=108114 nbValidityChecks=198156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.13 nbAssignments=502 nbFailedAssignments=127 nbBacktracks=212 nbVisitedNodes=767 nbRestartNogoods=14
33.13 => wckTime=1.54 cpuTime=1.49 mem=25M226
33.67
33.67 search
33.67 run=6 nbConstraintChecks=153013 nbValidityChecks=291472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.67 nbAssignments=706 nbFailedAssignments=186 nbBacktracks=329 nbVisitedNodes=1116 nbRestartNogoods=17
33.67 => wckTime=2.08 cpuTime=2.03 mem=25M226
34.43
34.43 search
34.43 run=7 nbConstraintChecks=238832 nbValidityChecks=513712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.43 nbAssignments=1024 nbFailedAssignments=295 nbBacktracks=501 nbVisitedNodes=1635 nbRestartNogoods=20
34.43 => wckTime=2.842 cpuTime=2.79 mem=26M201
35.49
35.49 search
35.49 run=8 nbConstraintChecks=354104 nbValidityChecks=849275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.49 nbAssignments=1450 nbFailedAssignments=421 nbBacktracks=766 nbVisitedNodes=2353 nbRestartNogoods=26
35.49 => wckTime=3.895 cpuTime=3.84 mem=26M201
36.89
36.89 search
36.89 run=9 nbConstraintChecks=507287 nbValidityChecks=1129089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.89 nbAssignments=2105 nbFailedAssignments=653 nbBacktracks=1152 nbVisitedNodes=3429 nbRestartNogoods=31
36.89 => wckTime=5.296 cpuTime=5.22 mem=26M201
39.50
39.50 search
39.50 run=10 nbConstraintChecks=755807 nbValidityChecks=1767111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.50 nbAssignments=3087 nbFailedAssignments=1017 nbBacktracks=1728 nbVisitedNodes=5123 nbRestartNogoods=38
39.50 => wckTime=7.913 cpuTime=7.83 mem=26M201
43.12
43.12 search
43.12 run=11 nbConstraintChecks=1125844 nbValidityChecks=2741341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.12 nbAssignments=4469 nbFailedAssignments=1501 nbBacktracks=2593 nbVisitedNodes=7478 nbRestartNogoods=56
43.12 => wckTime=11.532 cpuTime=11.44 mem=26M201
48.04
48.04 search
48.04 run=12 nbConstraintChecks=1627860 nbValidityChecks=3896005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.04 nbAssignments=6381 nbFailedAssignments=2080 nbBacktracks=3895 nbVisitedNodes=10696 nbRestartNogoods=63
48.04 => wckTime=16.448 cpuTime=16.34 mem=26M201
55.68
55.68 search
55.68 run=13 nbConstraintChecks=2443007 nbValidityChecks=5707337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.68 nbAssignments=9289 nbFailedAssignments=3011 nbBacktracks=5842 nbVisitedNodes=15702 nbRestartNogoods=69
55.68 => wckTime=24.092 cpuTime=23.98 mem=26M201
66.94
66.94 search
66.94 run=14 nbConstraintChecks=3766678 nbValidityChecks=9409868 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
66.94 nbAssignments=13801 nbFailedAssignments=4579 nbBacktracks=8763 nbVisitedNodes=23625 nbRestartNogoods=75
66.94 => wckTime=35.345 cpuTime=35.22 mem=26M201
83.43
83.43 search
83.43 run=15 nbConstraintChecks=5782036 nbValidityChecks=14422397 nbPropagations=0 nbRevisions=0
83.43 nbUselessRevisions=0 nbAssignments=20577 nbFailedAssignments=6937 nbBacktracks=13144 nbVisitedNodes=35452
83.43 nbRestartNogoods=79
83.43 => wckTime=51.835 cpuTime=51.71 mem=26M201
107.44
107.44 search
107.44 run=16 nbConstraintChecks=8768325 nbValidityChecks=20751929 nbPropagations=0 nbRevisions=0
107.44 nbUselessRevisions=0 nbAssignments=30244 nbFailedAssignments=10001 nbBacktracks=19725 nbVisitedNodes=52402
107.44 nbRestartNogoods=87
107.44 => wckTime=75.848 cpuTime=75.71 mem=26M201
147.53
147.54 search
147.54 run=17 nbConstraintChecks=13169567 nbValidityChecks=29742349 nbPropagations=0 nbRevisions=0
147.54 nbUselessRevisions=0 nbAssignments=44882 nbFailedAssignments=14745 nbBacktracks=29578 nbVisitedNodes=78400
147.54 nbRestartNogoods=90
147.54 => wckTime=115.943 cpuTime=115.47 mem=26M201
204.16
204.16 search
204.16 run=18 nbConstraintChecks=18805345 nbValidityChecks=40569202 nbPropagations=0 nbRevisions=0
204.16 nbUselessRevisions=0 nbAssignments=67639 nbFailedAssignments=22695 nbBacktracks=44356 nbVisitedNodes=117075
204.16 nbRestartNogoods=98
204.16 => wckTime=172.565 cpuTime=171.58 mem=26M201
287.92
287.92 search
287.92 run=19 nbConstraintChecks=28087105 nbValidityChecks=60549014 nbPropagations=0 nbRevisions=0
287.92 nbUselessRevisions=0 nbAssignments=99704 nbFailedAssignments=32552 nbBacktracks=66527 nbVisitedNodes=173406
287.92 nbRestartNogoods=108
287.92 => wckTime=256.328 cpuTime=254.58 mem=26M201
406.92
406.92 search
406.92 run=20 nbConstraintChecks=40476791 nbValidityChecks=83392416 nbPropagations=0 nbRevisions=0
406.92 nbUselessRevisions=0 nbAssignments=147044 nbFailedAssignments=46619 nbBacktracks=99780 nbVisitedNodes=254540
406.92 nbRestartNogoods=119
406.92 => wckTime=375.329 cpuTime=372.51 mem=26M201
571.11
571.11 search
571.11 run=21 nbConstraintChecks=61303366 nbValidityChecks=134700517 nbPropagations=0 nbRevisions=0
571.11 nbUselessRevisions=0 nbAssignments=215619 nbFailedAssignments=65280 nbBacktracks=149658 nbVisitedNodes=371946
571.11 nbRestartNogoods=126
571.11 => wckTime=539.519 cpuTime=535.2 mem=26M201
797.20
797.20 search
797.20 run=22 nbConstraintChecks=89521112 nbValidityChecks=187165109 nbPropagations=0 nbRevisions=0
797.20 nbUselessRevisions=0 nbAssignments=319566 nbFailedAssignments=94379 nbBacktracks=224481 nbVisitedNodes=546270
797.20 nbRestartNogoods=132
797.20 => wckTime=765.612 cpuTime=760.57 mem=26M201
1103.58
1103.58 search
1103.58 run=23 nbConstraintChecks=133576852 nbValidityChecks=277851722 nbPropagations=0 nbRevisions=0
1103.58 nbUselessRevisions=0 nbAssignments=468223 nbFailedAssignments=130763 nbBacktracks=336710 nbVisitedNodes=795471
1103.58 nbRestartNogoods=138
1103.58 => wckTime=1071.987 cpuTime=1066.79 mem=26M201
1587.73
1587.74 search
1587.74 run=24 nbConstraintChecks=192415643 nbValidityChecks=377092916 nbPropagations=0 nbRevisions=0
1587.74 nbUselessRevisions=0 nbAssignments=696218 nbFailedAssignments=190381 nbBacktracks=505053 nbVisitedNodes=1178329
1587.74 nbRestartNogoods=150
1587.74 => wckTime=1556.144 cpuTime=1550.67 mem=26M201
2284.57
2284.57 search
2284.57 run=25 nbConstraintChecks=278632575 nbValidityChecks=534428746 nbPropagations=0 nbRevisions=0
2284.57 nbUselessRevisions=0 nbAssignments=1026293 nbFailedAssignments=267904 nbBacktracks=757568
2284.57 nbVisitedNodes=1731099 nbRestartNogoods=163
2284.57 => wckTime=2252.98 cpuTime=2247.14 mem=26M201
2405.95 v 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-278596-1169288984 -o ROOT/results/node30/solver-278596-1169288984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=18540 CPUtime=0
/proc/5985/stat : 5985 (runsolver) R 5983 5985 5762 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 277292762 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5985/statm: 4635 279 244 17 0 2626 0
[startup+0.102826 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=914988 CPUtime=0.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 2979 0 1 0 7 2 0 0 18 0 8 0 277292762 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514852 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 5986
/proc/meminfo: memFree=1559272/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915332 CPUtime=0.49
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 6323 0 1 0 45 4 0 0 18 0 8 0 277292762 937299968 6062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228833 6062 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3359 s]
/proc/loadavg: 1.12 1.74 1.86 3/95 5993
/proc/meminfo: memFree=1537776/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=1.3
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8031 0 1 0 119 11 0 0 25 0 8 0 277292762 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228857 7769 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 357 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915428
[startup+2.973 s]
/proc/loadavg: 1.12 1.74 1.86 2/88 6000
/proc/meminfo: memFree=1539432/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2.93
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8032 0 1 0 267 26 0 0 25 0 8 0 277292762 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7769 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 357 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915428
[startup+6.2572 s]
/proc/loadavg: 1.19 1.75 1.87 2/88 6016
/proc/meminfo: memFree=1539496/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=6.21
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8034 0 1 0 569 52 0 0 25 0 8 0 277292762 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7771 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 359 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915428
[startup+12.7376 s]
/proc/loadavg: 1.17 1.73 1.86 2/88 6016
/proc/meminfo: memFree=1539496/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=12.69
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8035 0 1 0 1169 100 0 0 25 0 8 0 277292762 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7772 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915432 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 360 0 0 0 16 1 0 0 16 0 8 0 277292770 937402368 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915428
[startup+25.5954 s]
/proc/loadavg: 1.13 1.70 1.85 2/88 6019
/proc/meminfo: memFree=1541808/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=25.53
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 8035 0 1 0 2354 199 0 0 25 0 8 0 277292762 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 7772 2479 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 360 0 0 0 16 1 0 0 16 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 7772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915428
[startup+51.297 s]
/proc/loadavg: 1.17 1.66 1.83 3/95 6083
/proc/meminfo: memFree=1524456/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=51.2
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11336 0 1 0 4877 243 0 0 25 0 8 0 277292762 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915119 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11065 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.28
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915428
[startup+102.599 s]
/proc/loadavg: 1.07 1.55 1.78 2/88 6183
/proc/meminfo: memFree=1528560/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=102.46
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11346 0 1 0 10002 244 0 0 25 0 8 0 277292762 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11074 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.28
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915428
[startup+162.675 s]
/proc/loadavg: 1.59 1.60 1.78 3/100 6228
/proc/meminfo: memFree=1501264/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=162.08
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11351 0 1 0 15963 245 0 0 25 0 8 0 277292762 937398272 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2018.12
Current children cumulated vsize (KiB) 915428
[startup+2083.83 s]
/proc/loadavg: 1.03 1.01 1.16 2/85 6531
/proc/meminfo: memFree=1533520/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2078.11
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 207545 266 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.11
Current children cumulated vsize (KiB) 915428
[startup+2143.86 s]
/proc/loadavg: 1.01 1.01 1.15 2/85 6531
/proc/meminfo: memFree=1533584/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2138.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 213543 266 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.09
Current children cumulated vsize (KiB) 915428
[startup+2203.88 s]
/proc/loadavg: 1.08 1.02 1.15 2/85 6531
/proc/meminfo: memFree=1533584/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2198.09
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 219542 267 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.09
Current children cumulated vsize (KiB) 915428
[startup+2263.9 s]
/proc/loadavg: 1.03 1.01 1.14 2/85 6531
/proc/meminfo: memFree=1533648/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2258.08
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11372 0 1 0 225541 267 0 0 25 0 8 0 277292762 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073959403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11098 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.08
Current children cumulated vsize (KiB) 915428
[startup+2323.92 s]
/proc/loadavg: 1.01 1.01 1.12 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2318.07
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 231540 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.07
Current children cumulated vsize (KiB) 915428
[startup+2383.94 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2378.05
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 237538 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073919141 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.05
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.95 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 6531
/proc/meminfo: memFree=1533712/2055920 swapFree=4167328/4192956
[pid=5985] ppid=5983 vsize=915428 CPUtime=2400.05
/proc/5985/stat : 5985 (java) R 5983 5985 5762 0 -1 0 11375 0 1 0 239738 267 0 0 25 0 8 0 277292762 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073994614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228857 11101 2534 14 0 215327 0
[pid=5985/tid=5987] ppid=5983 vsize=915428 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5762 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277292766 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915428 CPUtime=0.29
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5762 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915428 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) R 5983 5985 5762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277292770 937398272 11101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.01
CPU time (s): 2400.12
CPU user time (s): 2397.44
CPU system time (s): 2.68159
CPU usage (%): 99.7551
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.44
system time used= 2.68159
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11397
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= 49853
involuntary context switches= 71244
runsolver used 2.45563 s user time and 6.67598 s system time
The end
Begin job on node30 on Sat Jan 20 10:29:48 UTC 2007
IDJOB= 278596
IDBENCH= 8506
IDSOLVER= 68
FILE ID= node30/278596-1169288984
PBS_JOBID= 3609671
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh310_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-278596-1169288984 -o ROOT/results/node30/solver-278596-1169288984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278596-1169288984/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a17b4095191bd0bf7b9394b428260da1
RANDOM SEED= 975030026
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1559752 kB
Buffers: 39552 kB
Cached: 344864 kB
SwapCached: 2164 kB
Active: 122508 kB
Inactive: 297252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1559752 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 4340 kB
Writeback: 0 kB
Mapped: 52860 kB
Slab: 61188 kB
Committed_AS: 5104808 kB
PageTables: 2252 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 node30 on Sat Jan 20 11:09:55 UTC 2007