0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276419-1169237141/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.101 cpuTime=0.1 mem=6M910
0.40
0.40 relations being loaded...
0.58
0.58 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.67 => wckTime=0.368 cpuTime=0.32 mem=21M690
0.72
0.72 solver LocalSearchSolver being built...
0.76 => wckTime=0.456 cpuTime=0.36 mem=6M328
0.77
0.77 s SATISFIABLE
0.77 o 28
0.77 c 75
0.77 o 31
0.77 c 72
0.77 o 35
0.77 c 68
0.77 o 37
0.77 c 66
0.77 o 41
0.77 c 62
0.77 o 45
0.77 c 58
0.77 o 48
0.77 c 55
0.78 o 52
0.78 c 51
0.78 o 55
0.78 c 48
0.78 o 57
0.78 c 46
0.78 o 59
0.78 c 44
0.78 o 61
0.78 c 42
0.78 o 62
0.78 c 41
0.78 o 63
0.78 c 40
0.78 o 64
0.78 c 39
0.78 o 67
0.78 c 36
0.78 o 69
0.78 c 34
0.78 o 71
0.78 c 32
0.79 o 72
0.79 c 31
0.79 o 73
0.79 c 30
0.79 o 76
0.79 c 27
0.79 o 77
0.79 c 26
0.79 o 78
0.79 c 25
0.79 o 80
0.79 c 23
0.79 o 81
0.79 c 22
0.80 o 82
0.80 c 21
0.80 o 83
0.80 c 20
0.80 o 84
0.80 c 19
0.80 o 85
0.80 c 18
0.80 o 86
0.80 c 17
0.80 o 87
0.80 c 16
0.80 o 88
0.80 c 15
0.81 o 90
0.81 c 13
0.81 o 91
0.81 c 12
0.81 o 92
0.81 c 11
0.81 o 93
0.81 c 10
0.81 o 94
0.81 c 9
0.82 o 95
0.82 c 8
0.83 o 96
0.83 c 7
0.90 o 97
0.90 c 6
1.28 o 98
1.28 c 5
1.45 o 99
1.45 c 4
5.66
5.66 search
5.66 run=0 nbConstraintChecks=39657681 nbAssignments=10000
5.66 => wckTime=4.898 cpuTime=4.86 mem=6M328
10.74
10.74 search
10.74 run=1 nbConstraintChecks=83886231 nbAssignments=20000
10.74 => wckTime=9.981 cpuTime=9.94 mem=6M328
15.39
15.39 search
15.39 run=2 nbConstraintChecks=124003400 nbAssignments=30000
15.39 => wckTime=14.629 cpuTime=14.59 mem=6M328
20.39
20.39 search
20.39 run=3 nbConstraintChecks=168283891 nbAssignments=40000
20.39 => wckTime=19.637 cpuTime=19.59 mem=6M328
25.33
25.33 search
25.33 run=4 nbConstraintChecks=210168614 nbAssignments=50000
25.33 => wckTime=24.575 cpuTime=24.52 mem=6M328
30.28
30.28 search
30.28 run=5 nbConstraintChecks=253173693 nbAssignments=60000
30.28 => wckTime=29.527 cpuTime=29.47 mem=6M328
30.30 o 100
30.30 c 3
34.85
34.85 search
34.85 run=6 nbConstraintChecks=291869523 nbAssignments=70000
34.85 => wckTime=34.092 cpuTime=34.02 mem=6M328
39.86
39.86 search
39.86 run=7 nbConstraintChecks=336375104 nbAssignments=80000
39.87 => wckTime=39.108 cpuTime=39.04 mem=6M328
44.53
44.53 search
44.53 run=8 nbConstraintChecks=377213080 nbAssignments=90000
44.53 => wckTime=43.769 cpuTime=43.7 mem=6M328
49.19
49.19 search
49.19 run=9 nbConstraintChecks=418095250 nbAssignments=100000
49.19 => wckTime=48.428 cpuTime=48.35 mem=6M328
53.72
53.72 search
53.72 run=10 nbConstraintChecks=457381859 nbAssignments=110000
53.72 => wckTime=52.959 cpuTime=52.89 mem=6M328
58.56
58.56 search
58.56 run=11 nbConstraintChecks=499916336 nbAssignments=120000
58.56 => wckTime=57.807 cpuTime=57.73 mem=6M328
60.31
60.31 search
60.31 run=12 nbConstraintChecks=515068743 nbAssignments=124081
60.31 => wckTime=59.557 cpuTime=59.49 mem=6M328
60.32
60.32 global
60.32 nbConstraintChecks=515068743 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.32 solvingWckTime=59.553 solvingCpuTime=59.48 expiredTime=no totalExploration=no nbFoundSolutions=0
60.32 globalCpuTime=59.89
60.32 => wckTime=60.014 cpuTime=59.85 mem=6M328
60.32
60.32 solver IterativeSystematicSolver being built...
60.44 => wckTime=60.136 cpuTime=59.94 mem=17M333
60.45
60.45 preprocessing
60.45 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
60.45 detectedInconsistency=no
60.45 => wckTime=0.0060 cpuTime=0.0 mem=17M333
61.20
61.20 search
61.20 run=0 nbConstraintChecks=4797673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427
61.20 nbFailedAssignments=412 nbBacktracks=10 nbVisitedNodes=850 nbRestartNogoods=0
61.20 => wckTime=0.757 cpuTime=0.72 mem=17M333
61.55
61.55 search
61.55 run=1 nbConstraintChecks=6182069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=596
61.55 nbFailedAssignments=554 nbBacktracks=25 nbVisitedNodes=1176 nbRestartNogoods=5
61.55 => wckTime=1.114 cpuTime=1.07 mem=17M333
62.87
62.87 search
62.87 run=2 nbConstraintChecks=13497333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1216
62.87 nbFailedAssignments=1140 nbBacktracks=47 nbVisitedNodes=2404 nbRestartNogoods=35
62.87 => wckTime=2.432 cpuTime=2.38 mem=17M333
65.34
65.34 search
65.34 run=3 nbConstraintChecks=27547652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2398
65.34 nbFailedAssignments=2280 nbBacktracks=80 nbVisitedNodes=4759 nbRestartNogoods=94
65.34 => wckTime=4.9 cpuTime=4.83 mem=17M333
67.76
67.76 search
67.76 run=4 nbConstraintChecks=40005733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3498
67.76 nbFailedAssignments=3325 nbBacktracks=130 nbVisitedNodes=6954 nbRestartNogoods=186
67.76 => wckTime=7.324 cpuTime=7.25 mem=17M333
70.13
70.13 search
70.13 run=5 nbConstraintChecks=53802143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4744
70.13 nbFailedAssignments=4486 nbBacktracks=205 nbVisitedNodes=9436 nbRestartNogoods=218
70.13 => wckTime=9.693 cpuTime=9.61 mem=17M333
71.47
71.47 search
71.47 run=6 nbConstraintChecks=60028919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5455
71.47 nbFailedAssignments=5072 nbBacktracks=318 nbVisitedNodes=10846 nbRestartNogoods=388
71.47 => wckTime=11.028 cpuTime=10.94 mem=17M333
73.38
73.38 search
73.38 run=7 nbConstraintChecks=71451191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6716
73.38 nbFailedAssignments=6156 nbBacktracks=488 nbVisitedNodes=13361 nbRestartNogoods=506
73.39 => wckTime=12.945 cpuTime=12.85 mem=17M333
84.09
84.09 search
84.09 run=8 nbConstraintChecks=129273808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11164
84.09 nbFailedAssignments=10342 nbBacktracks=744 nbVisitedNodes=22250 nbRestartNogoods=531
84.09 => wckTime=23.649 cpuTime=23.55 mem=17M333
89.11
89.11 search
89.11 run=9 nbConstraintChecks=153002560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14144
89.11 nbFailedAssignments=12923 nbBacktracks=1128 nbVisitedNodes=28195 nbRestartNogoods=541
89.11 => wckTime=28.667 cpuTime=28.57 mem=17M333
101.89
101.89 search
101.89 run=10 nbConstraintChecks=224129640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21690
101.89 nbFailedAssignments=19877 nbBacktracks=1704 nbVisitedNodes=43269 nbRestartNogoods=637
101.89 => wckTime=41.454 cpuTime=41.35 mem=17M333
112.63
112.63 search
112.63 run=11 nbConstraintChecks=265805405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25163
112.63 nbFailedAssignments=22474 nbBacktracks=2568 nbVisitedNodes=50165 nbRestartNogoods=677
112.63 => wckTime=52.193 cpuTime=52.08 mem=17M333
122.25
122.25 search
122.25 run=12 nbConstraintChecks=306850496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29752
122.25 nbFailedAssignments=25760 nbBacktracks=3866 nbVisitedNodes=59309 nbRestartNogoods=711
122.25 => wckTime=61.808 cpuTime=61.69 mem=17M333
142.41
142.41 search
142.41 run=13 nbConstraintChecks=378883037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36208
142.41 nbFailedAssignments=30263 nbBacktracks=5812 nbVisitedNodes=71883 nbRestartNogoods=737
142.41 => wckTime=81.972 cpuTime=81.85 mem=17M333
169.77
169.77 search
169.77 run=14 nbConstraintChecks=475539857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44937
169.77 nbFailedAssignments=36069 nbBacktracks=8731 nbVisitedNodes=88673 nbRestartNogoods=753
169.77 => wckTime=109.33 cpuTime=109.2 mem=17M333
198.68
198.68 search
198.68 run=15 nbConstraintChecks=570425390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53949
198.68 nbFailedAssignments=40693 nbBacktracks=13111 nbVisitedNodes=105724 nbRestartNogoods=816
198.68 => wckTime=138.244 cpuTime=138.09 mem=17M333
247.14
247.14 search
247.14 run=16 nbConstraintChecks=729323090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69323
247.14 nbFailedAssignments=49490 nbBacktracks=19679 nbVisitedNodes=134490 nbRestartNogoods=895
247.14 => wckTime=186.702 cpuTime=186.54 mem=17M333
300.90 o 101
300.90 c 2
311.52
311.52 search
311.52 run=17 nbConstraintChecks=960503001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93357
311.52 nbFailedAssignments=63669 nbBacktracks=29531 nbVisitedNodes=180296 nbRestartNogoods=917
311.52 => wckTime=251.084 cpuTime=250.9 mem=17M333
400.22
400.22 search
400.22 run=18 nbConstraintChecks=1276820285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128815
400.22 nbFailedAssignments=84346 nbBacktracks=44309 nbVisitedNodes=244675 nbRestartNogoods=948
400.22 => wckTime=339.783 cpuTime=339.58 mem=17M333
555.60
555.61 search
555.61 run=19 nbConstraintChecks=1771836821 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180738
555.61 nbFailedAssignments=114096 nbBacktracks=66479 nbVisitedNodes=339118 nbRestartNogoods=999
555.61 => wckTime=495.165 cpuTime=494.92 mem=17M333
763.68
763.68 search
763.68 run=20 nbConstraintChecks=2420405077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250479
763.68 nbFailedAssignments=150582 nbBacktracks=99731 nbVisitedNodes=461914 nbRestartNogoods=1035
763.68 => wckTime=703.24 cpuTime=702.93 mem=17M333
1092.14
1092.14 search
1092.14 run=21 nbConstraintChecks=3408941225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=356326
1092.14 nbFailedAssignments=206543 nbBacktracks=149609 nbVisitedNodes=649697 nbRestartNogoods=1122
1092.14 => wckTime=1031.701 cpuTime=1031.29 mem=17M333
1554.11
1554.11 search
1554.11 run=22 nbConstraintChecks=4885539939 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=516064
1554.11 nbFailedAssignments=291451 nbBacktracks=224430 nbVisitedNodes=934770 nbRestartNogoods=1230
1554.11 => wckTime=1493.671 cpuTime=1493.11 mem=17M333
1678.74 o 102
1678.74 c 1
1848.32
1848.32 search
1848.32 run=23 nbConstraintChecks=5821694657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=628049
1848.32 nbFailedAssignments=346188 nbBacktracks=281678 nbVisitedNodes=1123054 nbRestartNogoods=1283
1848.32 => wckTime=1787.885 cpuTime=1787.14 mem=17M333
1848.33
1848.33 global
1848.33 nbConstraintChecks=5821694657 nbRestartNogoods=1283 solvingWckTime=1787.886 solvingCpuTime=1787.14
1848.33 expiredTime=no totalExploration=yes nbFoundSolutions=2 globalCpuTime=1847.12
1848.33 => wckTime=1848.023 cpuTime=1847.08 mem=17M333
1848.33
1848.33 s OPTIMUM FOUND
1848.33 v 26 4 17 45 65 53 0 29 0 34 51 62 46 51 8 1 33 17 14 14 19 64 59 75 18 48 2 64 50 63 29 58 61 14 68 51 11 4 49 53
1848.33
1848.33 totalWckTime=1848.098 totalCpuTime=1847.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-276419-1169237141 -o ROOT/results/node40/solver-276419-1169237141 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/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.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=168 CPUtime=0
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 272113432 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6910756 0 0 4096 0 0 0 0 17 1 0 0
/proc/919/statm: 42 23 18 14 0 2 0
[startup+0.106236 s]
/proc/loadavg: 1.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=914988 CPUtime=0.09
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 3006 0 1 0 7 2 0 0 18 0 8 0 272113432 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155089936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514291 s]
/proc/loadavg: 1.01 1.60 1.85 3/65 920
/proc/meminfo: memFree=1581528/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915332 CPUtime=0.5
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 7630 0 1 0 45 5 0 0 16 0 8 0 272113432 937299968 7369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228833 7369 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33539 s]
/proc/loadavg: 1.01 1.60 1.85 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1.32
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10429 0 1 0 121 11 0 0 17 0 8 0 272113432 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10167 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915448 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937418752 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.12
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.98661 s]
/proc/loadavg: 1.01 1.60 1.85 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=2.97
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10433 0 1 0 273 24 0 0 18 0 8 0 272113432 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681727 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/919/statm: 228861 10170 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.12
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 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) 2.97
Current children cumulated vsize (KiB) 915444
[startup+6.28103 s]
/proc/loadavg: 1.01 1.59 1.84 2/72 927
/proc/meminfo: memFree=1550304/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=6.25
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 575 50 0 0 17 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444
[startup+12.7569 s]
/proc/loadavg: 1.01 1.58 1.84 2/72 927
/proc/meminfo: memFree=1550304/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915448 CPUtime=12.73
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 1177 96 0 0 25 0 8 0 272113432 937418752 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915448
[startup+25.5906 s]
/proc/loadavg: 1.01 1.55 1.83 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=25.55
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 2361 194 0 0 25 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444
[startup+51.2829 s]
/proc/loadavg: 1.00 1.51 1.80 2/72 927
/proc/meminfo: memFree=1550368/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=51.23
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10435 0 1 0 4734 389 0 0 25 0 8 0 272113432 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10172 2476 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.13
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915444
[startup+102.558 s]
/proc/loadavg: 1.00 1.43 1.76 2/72 927
/proc/meminfo: memFree=1550176/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=102.45
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10595 0 1 0 9786 459 0 0 22 0 8 0 272113432 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10324 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 390 0 0 0 22 1 0 0 17 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915444
[startup+162.566 s]
/proc/loadavg: 1.00 1.35 1.71 2/72 927
/proc/meminfo: memFree=1550176/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=162.45
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10596 0 1 0 15785 460 0 0 25 0 8 0 272113432 937414656 10325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 915444
[startup+1482.71 s]
/proc/loadavg: 1.00 1.00 1.14 2/72 929
/proc/meminfo: memFree=1550112/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1482.2
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 147759 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 915444
[startup+1542.72 s]
/proc/loadavg: 1.03 1.01 1.13 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1542.17
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 153756 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 915444
[startup+1602.72 s]
/proc/loadavg: 1.01 1.01 1.12 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1602.14
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 159753 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 915444
[startup+1662.74 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1662.11
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 165750 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792676 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 915444
[startup+1722.75 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1722.09
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 171748 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 915444
[startup+1782.76 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 929
/proc/meminfo: memFree=1550048/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1782.06
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 177745 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 915444
[startup+1842.76 s]
/proc/loadavg: 1.05 1.01 1.09 2/72 929
/proc/meminfo: memFree=1549984/2055920 swapFree=4191892/4192956
[pid=919] ppid=917 vsize=915444 CPUtime=1842.03
/proc/919/stat : 919 (java) R 917 919 32017 0 -1 0 10602 0 1 0 183742 461 0 0 25 0 8 0 272113432 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/919/statm: 228861 10328 2528 14 0 215331 0
[pid=919/tid=921] ppid=917 vsize=915444 CPUtime=0.03
/proc/919/task/921/stat : 921 (java) S 917 919 32017 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=922] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/922/stat : 922 (java) S 917 919 32017 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=923] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/923/stat : 923 (java) S 917 919 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272113436 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=924] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/924/stat : 924 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=925] ppid=917 vsize=915444 CPUtime=0.23
/proc/919/task/925/stat : 925 (java) S 917 919 32017 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=926] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/926/stat : 926 (java) S 917 919 32017 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=919/tid=927] ppid=917 vsize=915444 CPUtime=0
/proc/919/task/927/stat : 927 (java) S 917 919 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272113439 937414656 10328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1848.39
CPU time (s): 1847.61
CPU user time (s): 1842.99
CPU system time (s): 4.6233
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1842.99
system time used= 4.6233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10613
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= 38340
involuntary context switches= 40498
runsolver used 1.74573 s user time and 4.81127 s system time
The end
Begin job on node40 on Fri Jan 19 20:05:41 UTC 2007
IDJOB= 276419
IDBENCH= 5752
IDSOLVER= 69
FILE ID= node40/276419-1169237141
PBS_JOBID= 3589275
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-276419-1169237141 -o ROOT/results/node40/solver-276419-1169237141 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276419-1169237141/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1937dcc0ff9b467159e37e0a7f121d87
RANDOM SEED= 129582141
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.239
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.239
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: 1581944 kB
Buffers: 41656 kB
Cached: 340440 kB
SwapCached: 268 kB
Active: 116324 kB
Inactive: 281116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581944 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2408 kB
Writeback: 0 kB
Mapped: 24260 kB
Slab: 62588 kB
Committed_AS: 5044364 kB
PageTables: 1412 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= 66562 MiB
End job on node40 on Fri Jan 19 20:36:30 UTC 2007