0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=pfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/280343-1169304984/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.46 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.46
0.46 relations being loaded...
0.67
0.67 constraints being loaded...
0.77 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.77 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.77 => wckTime=0.418 cpuTime=0.37 mem=37M909
0.84
0.84 solver LocalSearchSolver being built...
0.88 => wckTime=0.525 cpuTime=0.41 mem=10M980
0.89
0.89 s SATISFIABLE
0.89 o 0
0.89 c 5
1.18 o 1
1.18 c 4
1.90 o 2
1.90 c 3
5.95
5.95 search
5.95 run=0 nbConstraintChecks=4351159 nbAssignments=10000
5.95 => wckTime=5.067 cpuTime=4.85 mem=10M980
10.75
10.75 search
10.75 run=1 nbConstraintChecks=8731156 nbAssignments=20000
10.75 => wckTime=9.872 cpuTime=9.65 mem=10M980
15.58
15.58 search
15.58 run=2 nbConstraintChecks=13111170 nbAssignments=30000
15.58 => wckTime=14.703 cpuTime=14.46 mem=10M980
20.38
20.38 search
20.38 run=3 nbConstraintChecks=17491175 nbAssignments=40000
20.38 => wckTime=19.5 cpuTime=19.25 mem=10M980
25.14
25.14 search
25.14 run=4 nbConstraintChecks=21871180 nbAssignments=50000
25.14 => wckTime=24.258 cpuTime=24.0 mem=10M980
29.91
29.91 search
29.91 run=5 nbConstraintChecks=26251185 nbAssignments=60000
29.91 => wckTime=29.035 cpuTime=28.77 mem=10M980
32.14
32.14 search
32.14 run=6 nbConstraintChecks=28280005 nbAssignments=64632
32.14 => wckTime=31.259 cpuTime=31.0 mem=10M980
32.14
32.14 global
32.14 nbConstraintChecks=28280005 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.14 solvingWckTime=31.258 solvingCpuTime=31.0 expiredTime=no totalExploration=no nbFoundSolutions=0
32.14 globalCpuTime=31.47
32.14 => wckTime=31.785 cpuTime=31.41 mem=10M980
32.14
32.14 solver IterativeSystematicSolver being built...
32.27 => wckTime=31.914 cpuTime=31.51 mem=21M680
32.28
32.28 preprocessing
32.28 nbConstraintChecks=176 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.28 nbRemovedValues=0 detectedInconsistency=no
32.28 => wckTime=0.0070 cpuTime=0.01 mem=21M680
32.62
32.62 search
32.62 run=0 nbConstraintChecks=292506 nbValidityChecks=301940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.62 nbAssignments=24 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=34 nbRestartNogoods=0
32.62 => wckTime=0.347 cpuTime=0.33 mem=22M635
33.30
33.30 search
33.30 run=1 nbConstraintChecks=955945 nbValidityChecks=977675 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.30 nbAssignments=57 nbFailedAssignments=20 nbBacktracks=28 nbVisitedNodes=80 nbRestartNogoods=5
33.30 => wckTime=1.028 cpuTime=1.0 mem=22M635
33.53
33.53 search
33.53 run=2 nbConstraintChecks=1159741 nbValidityChecks=1217846 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.53 nbAssignments=127 nbFailedAssignments=61 nbBacktracks=50 nbVisitedNodes=202 nbRestartNogoods=12
33.53 => wckTime=1.26 cpuTime=1.22 mem=22M635
33.92
33.92 search
33.92 run=3 nbConstraintChecks=1507626 nbValidityChecks=1601685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.92 nbAssignments=207 nbFailedAssignments=104 nbBacktracks=83 nbVisitedNodes=346 nbRestartNogoods=22
33.92 => wckTime=1.653 cpuTime=1.61 mem=22M635
34.72
34.72 search
34.72 run=4 nbConstraintChecks=2254134 nbValidityChecks=2392348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.72 nbAssignments=315 nbFailedAssignments=156 nbBacktracks=133 nbVisitedNodes=520 nbRestartNogoods=24
34.72 => wckTime=2.45 cpuTime=2.4 mem=22M635
36.02
36.02 search
36.02 run=5 nbConstraintChecks=3522507 nbValidityChecks=3757860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.02 nbAssignments=514 nbFailedAssignments=272 nbBacktracks=208 nbVisitedNodes=877 nbRestartNogoods=30
36.02 => wckTime=3.749 cpuTime=3.69 mem=22M635
37.65
37.65 search
37.65 run=6 nbConstraintChecks=5012932 nbValidityChecks=5392917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.65 nbAssignments=810 nbFailedAssignments=449 nbBacktracks=324 nbVisitedNodes=1402 nbRestartNogoods=38
37.65 => wckTime=5.384 cpuTime=5.32 mem=22M635
39.73
39.73 search
39.73 run=7 nbConstraintChecks=6991257 nbValidityChecks=7630905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.73 nbAssignments=1328 nbFailedAssignments=787 nbBacktracks=494 nbVisitedNodes=2339 nbRestartNogoods=39
39.73 => wckTime=7.457 cpuTime=7.39 mem=22M635
41.16
41.16 search
41.16 run=8 nbConstraintChecks=8101244 nbValidityChecks=9109745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.16 nbAssignments=2051 nbFailedAssignments=1249 nbBacktracks=750 nbVisitedNodes=3659 nbRestartNogoods=52
41.16 => wckTime=8.894 cpuTime=8.81 mem=22M635
47.01
47.01 search
47.01 run=9 nbConstraintChecks=13623700 nbValidityChecks=15091306 nbPropagations=0 nbRevisions=0
47.01 nbUselessRevisions=0 nbAssignments=3006 nbFailedAssignments=1814 nbBacktracks=1134 nbVisitedNodes=5332
47.01 nbRestartNogoods=59
47.01 => wckTime=14.743 cpuTime=14.65 mem=22M635
49.38
49.38 search
49.38 run=10 nbConstraintChecks=15541567 nbValidityChecks=17726475 nbPropagations=0 nbRevisions=0
49.38 nbUselessRevisions=0 nbAssignments=4432 nbFailedAssignments=2657 nbBacktracks=1711 nbVisitedNodes=7864
49.38 nbRestartNogoods=66
49.38 => wckTime=17.108 cpuTime=17.01 mem=22M635
58.53
58.53 search
58.53 run=11 nbConstraintChecks=23996938 nbValidityChecks=26985646 nbPropagations=0 nbRevisions=0
58.53 nbUselessRevisions=0 nbAssignments=6236 nbFailedAssignments=3592 nbBacktracks=2575 nbVisitedNodes=10909
58.53 nbRestartNogoods=71
58.53 => wckTime=26.256 cpuTime=26.13 mem=22M635
66.51
66.51 search
66.51 run=12 nbConstraintChecks=31329314 nbValidityChecks=35639238 nbPropagations=0 nbRevisions=0
66.51 nbUselessRevisions=0 nbAssignments=9153 nbFailedAssignments=5206 nbBacktracks=3872 nbVisitedNodes=15848
66.51 nbRestartNogoods=79
66.51 => wckTime=34.236 cpuTime=34.11 mem=22M635
95.21
95.22 search
95.22 run=13 nbConstraintChecks=58912589 nbValidityChecks=65093548 nbPropagations=0 nbRevisions=0
95.22 nbUselessRevisions=0 nbAssignments=13397 nbFailedAssignments=7498 nbBacktracks=5818 nbVisitedNodes=22951
95.22 nbRestartNogoods=89
95.22 => wckTime=62.945 cpuTime=62.8 mem=22M635
122.23
122.23 search
122.23 run=14 nbConstraintChecks=84155004 nbValidityChecks=93559929 nbPropagations=0 nbRevisions=0
122.23 nbUselessRevisions=0 nbAssignments=20355 nbFailedAssignments=11530 nbBacktracks=8737 nbVisitedNodes=35056
122.23 nbRestartNogoods=94
122.23 => wckTime=89.959 cpuTime=89.78 mem=22M635
188.66
188.66 search
188.66 run=15 nbConstraintChecks=147223574 nbValidityChecks=160680666 nbPropagations=0 nbRevisions=0
188.66 nbUselessRevisions=0 nbAssignments=29945 nbFailedAssignments=16737 nbBacktracks=13115 nbVisitedNodes=51111
188.66 nbRestartNogoods=106
188.66 => wckTime=156.393 cpuTime=156.15 mem=22M635
230.11
230.11 search
230.11 run=16 nbConstraintChecks=183408627 nbValidityChecks=205524039 nbPropagations=0 nbRevisions=0
230.11 nbUselessRevisions=0 nbAssignments=47197 nbFailedAssignments=27415 nbBacktracks=19683 nbVisitedNodes=81993
230.11 nbRestartNogoods=119
230.11 => wckTime=197.845 cpuTime=197.56 mem=22M635
389.66
389.66 search
389.66 run=17 nbConstraintChecks=337304098 nbValidityChecks=369021826 nbPropagations=0 nbRevisions=0
389.66 nbUselessRevisions=0 nbAssignments=68755 nbFailedAssignments=39113 nbBacktracks=29535 nbVisitedNodes=118829
389.66 nbRestartNogoods=141
389.66 => wckTime=357.393 cpuTime=356.9 mem=22M635
536.06
536.06 search
536.06 run=18 nbConstraintChecks=463867374 nbValidityChecks=516862207 nbPropagations=0 nbRevisions=0
536.06 nbUselessRevisions=0 nbAssignments=109867 nbFailedAssignments=65440 nbBacktracks=44314 nbVisitedNodes=193159
536.06 nbRestartNogoods=175
536.06 => wckTime=503.787 cpuTime=503.16 mem=22M635
624.69 o 3
624.69 c 2
726.30
726.30 search
726.30 run=19 nbConstraintChecks=635838467 nbValidityChecks=719246492 nbPropagations=0 nbRevisions=0
726.30 nbUselessRevisions=0 nbAssignments=168066 nbFailedAssignments=101466 nbBacktracks=66482 nbVisitedNodes=297740
726.30 nbRestartNogoods=189
726.30 => wckTime=694.029 cpuTime=693.21 mem=22M635
1281.88
1281.88 search
1281.88 run=20 nbConstraintChecks=1150930185 nbValidityChecks=1297645281 nbPropagations=0 nbRevisions=0
1281.88 nbUselessRevisions=0 nbAssignments=276035 nbFailedAssignments=176179 nbBacktracks=99734 nbVisitedNodes=502171
1281.88 nbRestartNogoods=202
1281.88 => wckTime=1249.613 cpuTime=1248.25 mem=22M635
1815.13
1815.13 search
1815.13 run=21 nbConstraintChecks=1612648232 nbValidityChecks=1847505320 nbPropagations=0 nbRevisions=0
1815.14 nbUselessRevisions=0 nbAssignments=425147 nbFailedAssignments=275409 nbBacktracks=149612 nbVisitedNodes=780300
1815.14 nbRestartNogoods=223
1815.14 => wckTime=1782.864 cpuTime=1780.97 mem=22M635
2402.76 v 1 9 1 0 3 0 2 5 3 1 0 7 0 2 1 1 8 2 2 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-280343-1169304984 -o ROOT/results/node48/solver-280343-1169304984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280343-1169304984/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.99 1.10 4/71 23911
/proc/meminfo: memFree=1397384/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=168 CPUtime=0
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 278897086 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 1 0 0
/proc/23910/statm: 42 23 18 14 0 2 0
[startup+0.105514 s]
/proc/loadavg: 0.92 0.99 1.10 4/71 23911
/proc/meminfo: memFree=1397384/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=907808 CPUtime=0.05
/proc/23910/stat : 23910 (java) D 23905 23910 23773 0 -1 0 2457 0 1 0 4 1 0 0 16 0 4 0 278897086 929595392 2204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/23910/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515559 s]
/proc/loadavg: 0.92 0.99 1.10 4/71 23911
/proc/meminfo: memFree=1397384/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=0.45
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 7155 0 1 0 40 5 0 0 18 0 8 0 278897086 937299968 6894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23910/statm: 228833 6894 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33663 s]
/proc/loadavg: 0.92 0.99 1.10 3/82 23946
/proc/meminfo: memFree=1284528/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=1.27
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15671 0 1 0 115 12 0 0 20 0 8 0 278897086 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15409 2477 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.09
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 278897097 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915336 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937304064 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915332
[startup+2.97379 s]
/proc/loadavg: 0.92 0.99 1.10 3/82 23946
/proc/meminfo: memFree=821040/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2.9
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15675 0 1 0 267 23 0 0 18 0 8 0 278897086 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15412 2477 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.1
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 278897097 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915332
[startup+6.26708 s]
/proc/loadavg: 1.01 1.00 1.10 3/81 23947
/proc/meminfo: memFree=774520/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=6
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15679 0 1 0 548 52 0 0 25 0 8 0 278897086 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15416 2477 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.1
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915332
[startup+12.7497 s]
/proc/loadavg: 1.33 1.07 1.12 3/81 23947
/proc/meminfo: memFree=783312/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=12.46
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15679 0 1 0 1144 102 0 0 25 0 8 0 278897086 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15416 2477 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.1
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915332
[startup+25.6189 s]
/proc/loadavg: 1.68 1.16 1.15 3/81 23948
/proc/meminfo: memFree=800784/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=25.32
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15679 0 1 0 2331 201 0 0 25 0 8 0 278897086 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15416 2477 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.1
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915332
[startup+51.2332 s]
/proc/loadavg: 1.79 1.23 1.17 3/81 23948
/proc/meminfo: memFree=792792/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=50.91
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15846 0 1 0 4838 253 0 0 25 0 8 0 278897086 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15574 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915332
[startup+102.45 s]
/proc/loadavg: 1.91 1.34 1.21 3/81 23948
/proc/meminfo: memFree=801304/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=102.06
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15847 0 1 0 9953 253 0 0 25 0 8 0 278897086 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15574 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915332
[startup+162.506 s]
/proc/loadavg: 1.96 1.46 1.26 3/81 23948
/proc/meminfo: memFree=801368/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=162.07
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15850 0 1 0 15954 253 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 915332
[startup+2084.37 s]
/proc/loadavg: 2.00 2.00 1.87 3/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2082
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 207932 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 915332
[startup+2144.43 s]
/proc/loadavg: 2.06 2.01 1.88 3/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2142.02
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 213934 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 915332
[startup+2204.49 s]
/proc/loadavg: 2.02 2.01 1.89 3/81 24148
/proc/meminfo: memFree=801304/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2202.02
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 219934 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 915332
[startup+2264.54 s]
/proc/loadavg: 2.00 2.00 1.89 3/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2262
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 225932 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 915332
[startup+2324.59 s]
/proc/loadavg: 2.00 2.00 1.90 3/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2322
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 231932 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 915332
[startup+2384.65 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2382
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 237932 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) R 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 915332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.75 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 24148
/proc/meminfo: memFree=801240/2055920 swapFree=4192812/4192956
[pid=23910] ppid=23905 vsize=915332 CPUtime=2400.08
/proc/23910/stat : 23910 (java) R 23905 23910 23773 0 -1 0 15851 0 1 0 239740 268 0 0 25 0 8 0 278897086 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23910/statm: 228833 15575 2530 14 0 215303 0
[pid=23910/tid=23916] ppid=23905 vsize=915332 CPUtime=0.04
/proc/23910/task/23916/stat : 23916 (java) S 23905 23910 23773 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 278897090 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23917] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23917/stat : 23917 (java) S 23905 23910 23773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23918] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23918/stat : 23918 (java) S 23905 23910 23773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278897091 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23919] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23919/stat : 23919 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23920] ppid=23905 vsize=915332 CPUtime=0.21
/proc/23910/task/23920/stat : 23920 (java) S 23905 23910 23773 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23910/tid=23921] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23921/stat : 23921 (java) S 23905 23910 23773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23910/tid=23922] ppid=23905 vsize=915332 CPUtime=0
/proc/23910/task/23922/stat : 23922 (java) S 23905 23910 23773 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278897097 937299968 15575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.78
CPU time (s): 2400.11
CPU user time (s): 2397.41
CPU system time (s): 2.69859
CPU usage (%): 99.8892
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.41
system time used= 2.69859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15870
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= 49619
involuntary context switches= 9864
runsolver used 2.94655 s user time and 7.71583 s system time
The end
Begin job on node48 on Sat Jan 20 14:56:24 UTC 2007
IDJOB= 280343
IDBENCH= 11083
IDSOLVER= 69
FILE ID= node48/280343-1169304984
PBS_JOBID= 3610147
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280343-1169304984/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-280343-1169304984 -o ROOT/results/node48/solver-280343-1169304984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280343-1169304984/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 24de8611156a691c2da375c95470b146
RANDOM SEED= 273266020
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.218
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.218
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: 1398128 kB
Buffers: 49860 kB
Cached: 509304 kB
SwapCached: 0 kB
Active: 130028 kB
Inactive: 449412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1398128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6252 kB
Writeback: 0 kB
Mapped: 30440 kB
Slab: 63880 kB
Committed_AS: 5671316 kB
PageTables: 1620 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66045 MiB
End job on node48 on Sat Jan 20 15:36:27 UTC 2007