0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=epfc.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/280495-1169306153/unknown.xml
0.52
0.52 domains being loaded...
0.52
0.52 variables being loaded...
0.55 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.55 => wckTime=0.192 cpuTime=0.07 mem=6M887
0.55
0.55 relations being loaded...
0.76
0.76 constraints being loaded...
0.85 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.85 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.85 => wckTime=0.493 cpuTime=0.35 mem=38M382
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.596 cpuTime=0.39 mem=10M979
0.96
0.96 s SATISFIABLE
0.96 o 0
0.96 c 5
1.61 o 1
1.61 c 4
5.50 o 2
5.50 c 3
6.02
6.02 search
6.02 run=0 nbConstraintChecks=4315339 nbAssignments=10000
6.02 => wckTime=5.064 cpuTime=5.02 mem=10M979
10.53
10.53 search
10.53 run=1 nbConstraintChecks=8370417 nbAssignments=20000
10.53 => wckTime=9.574 cpuTime=9.5 mem=10M979
15.09
15.09 search
15.09 run=2 nbConstraintChecks=12466265 nbAssignments=30000
15.09 => wckTime=14.134 cpuTime=14.02 mem=10M979
19.64
19.64 search
19.64 run=3 nbConstraintChecks=16560088 nbAssignments=40000
19.64 => wckTime=18.685 cpuTime=18.55 mem=10M979
24.22
24.22 search
24.22 run=4 nbConstraintChecks=20654028 nbAssignments=50000
24.22 => wckTime=23.259 cpuTime=23.1 mem=10M979
28.78
28.78 search
28.78 run=5 nbConstraintChecks=24748932 nbAssignments=60000
28.78 => wckTime=27.825 cpuTime=27.65 mem=10M979
33.32
33.32 search
33.32 run=6 nbConstraintChecks=28843258 nbAssignments=70000
33.32 => wckTime=32.363 cpuTime=32.16 mem=10M979
35.69
35.69 search
35.69 run=7 nbConstraintChecks=30978985 nbAssignments=75217
35.69 => wckTime=34.73 cpuTime=34.52 mem=10M979
35.69
35.69 global
35.69 nbConstraintChecks=30978985 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.69 solvingWckTime=34.728 solvingCpuTime=34.52 expiredTime=no totalExploration=no nbFoundSolutions=0
35.69 globalCpuTime=34.95
35.69 => wckTime=35.326 cpuTime=34.92 mem=10M979
35.69
35.69 solver IterativeSystematicSolver being built...
35.82 => wckTime=35.457 cpuTime=35.01 mem=21M778
36.08
36.08 preprocessing
36.08 nbConstraintChecks=211619 nbValidityChecks=221718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.08 nbRemovedValues=0 detectedInconsistency=no
36.08 => wckTime=0.255 cpuTime=0.24 mem=21M778
36.61
36.61 search
36.61 run=0 nbConstraintChecks=474052 nbValidityChecks=489842 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.61 nbAssignments=33 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
36.61 => wckTime=0.786 cpuTime=0.76 mem=22M740
36.71
36.71 search
36.71 run=1 nbConstraintChecks=544658 nbValidityChecks=590290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.71 nbAssignments=89 nbFailedAssignments=54 nbBacktracks=25 nbVisitedNodes=160 nbRestartNogoods=2
36.71 => wckTime=0.888 cpuTime=0.85 mem=22M740
37.24
37.24 search
37.24 run=2 nbConstraintChecks=1036053 nbValidityChecks=1128711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.24 nbAssignments=175 nbFailedAssignments=112 nbBacktracks=47 nbVisitedNodes=319 nbRestartNogoods=11
37.24 => wckTime=1.416 cpuTime=1.37 mem=22M740
37.62
37.62 search
37.62 run=3 nbConstraintChecks=1363773 nbValidityChecks=1525427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.62 nbAssignments=301 nbFailedAssignments=198 nbBacktracks=80 nbVisitedNodes=561 nbRestartNogoods=18
37.62 => wckTime=1.799 cpuTime=1.75 mem=22M740
38.47
38.47 search
38.47 run=4 nbConstraintChecks=2080162 nbValidityChecks=2329120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.47 nbAssignments=467 nbFailedAssignments=308 nbBacktracks=130 nbVisitedNodes=874 nbRestartNogoods=31
38.47 => wckTime=2.65 cpuTime=2.59 mem=22M740
39.33
39.33 search
39.33 run=5 nbConstraintChecks=2836344 nbValidityChecks=3216645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.33 nbAssignments=712 nbFailedAssignments=472 nbBacktracks=205 nbVisitedNodes=1336 nbRestartNogoods=41
39.33 => wckTime=3.508 cpuTime=3.44 mem=22M740
41.92
41.92 search
41.92 run=6 nbConstraintChecks=5112884 nbValidityChecks=5697863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.92 nbAssignments=1101 nbFailedAssignments=741 nbBacktracks=318 nbVisitedNodes=2078 nbRestartNogoods=52
41.92 => wckTime=6.102 cpuTime=6.01 mem=22M740
42.84
42.84 search
42.84 run=7 nbConstraintChecks=5873119 nbValidityChecks=6736108 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.84 nbAssignments=1634 nbFailedAssignments=1098 nbBacktracks=490 nbVisitedNodes=3104 nbRestartNogoods=62
42.84 => wckTime=7.02 cpuTime=6.91 mem=22M740
47.81
47.81 search
47.81 run=8 nbConstraintChecks=10354377 nbValidityChecks=11667734 nbPropagations=0 nbRevisions=0
47.81 nbUselessRevisions=0 nbAssignments=2474 nbFailedAssignments=1676 nbBacktracks=748 nbVisitedNodes=4716
47.81 nbRestartNogoods=74
47.81 => wckTime=11.986 cpuTime=11.84 mem=22M740
51.63
51.63 search
51.63 run=9 nbConstraintChecks=13729364 nbValidityChecks=15689008 nbPropagations=0 nbRevisions=0
51.63 nbUselessRevisions=0 nbAssignments=3697 nbFailedAssignments=2511 nbBacktracks=1132 nbVisitedNodes=7068
51.63 nbRestartNogoods=79
51.63 => wckTime=15.81 cpuTime=15.65 mem=22M740
53.67 o 3
53.67 c 2
62.48
62.48 search
62.48 run=10 nbConstraintChecks=23515580 nbValidityChecks=26538232 nbPropagations=0 nbRevisions=0
62.48 nbUselessRevisions=0 nbAssignments=5581 nbFailedAssignments=3813 nbBacktracks=1709 nbVisitedNodes=10708
62.48 nbRestartNogoods=103
62.48 => wckTime=26.663 cpuTime=26.41 mem=22M740
71.43
71.43 search
71.43 run=11 nbConstraintChecks=31429494 nbValidityChecks=36320310 nbPropagations=0 nbRevisions=0
71.43 nbUselessRevisions=0 nbAssignments=8695 nbFailedAssignments=6056 nbBacktracks=2574 nbVisitedNodes=16801
71.43 nbRestartNogoods=125
71.43 => wckTime=35.61 cpuTime=35.31 mem=22M740
93.63
93.63 search
93.63 run=12 nbConstraintChecks=52190533 nbValidityChecks=59750431 nbPropagations=0 nbRevisions=0
93.63 nbUselessRevisions=0 nbAssignments=13079 nbFailedAssignments=9138 nbBacktracks=3872 nbVisitedNodes=25380
93.63 nbRestartNogoods=141
93.63 => wckTime=57.813 cpuTime=57.41 mem=22M740
116.68
116.68 search
116.68 run=13 nbConstraintChecks=72107071 nbValidityChecks=83430191 nbPropagations=0 nbRevisions=0
116.68 nbUselessRevisions=0 nbAssignments=19430 nbFailedAssignments=13538 nbBacktracks=5818 nbVisitedNodes=37701
116.68 nbRestartNogoods=161
116.68 => wckTime=80.858 cpuTime=80.31 mem=22M740
148.27
148.27 search
148.27 run=14 nbConstraintChecks=100633584 nbValidityChecks=117874530 nbPropagations=0 nbRevisions=0
148.27 nbUselessRevisions=0 nbAssignments=29451 nbFailedAssignments=20637 nbBacktracks=8737 nbVisitedNodes=57280
148.27 nbRestartNogoods=185
148.27 => wckTime=112.449 cpuTime=111.73 mem=22M740
204.73
204.73 search
204.73 run=15 nbConstraintChecks=150433822 nbValidityChecks=176054148 nbPropagations=0 nbRevisions=0
204.73 nbUselessRevisions=0 nbAssignments=43754 nbFailedAssignments=30559 nbBacktracks=13115 nbVisitedNodes=85103
204.73 nbRestartNogoods=207
204.73 => wckTime=168.911 cpuTime=167.89 mem=22M740
325.91
325.91 search
325.91 run=16 nbConstraintChecks=261249796 nbValidityChecks=299568467 nbPropagations=0 nbRevisions=0
325.91 nbUselessRevisions=0 nbAssignments=65493 nbFailedAssignments=45725 nbBacktracks=19684 nbVisitedNodes=127336
325.91 nbRestartNogoods=222
325.91 => wckTime=290.092 cpuTime=288.42 mem=22M740
533.96
533.96 search
533.96 run=17 nbConstraintChecks=454463821 nbValidityChecks=512438760 nbPropagations=0 nbRevisions=0
533.96 nbUselessRevisions=0 nbAssignments=98842 nbFailedAssignments=69218 nbBacktracks=29536 nbVisitedNodes=192620
533.96 nbRestartNogoods=251
533.96 => wckTime=498.14 cpuTime=495.3 mem=22M740
667.13
667.13 search
667.13 run=18 nbConstraintChecks=572783579 nbValidityChecks=659254961 nbPropagations=0 nbRevisions=0
667.13 nbUselessRevisions=0 nbAssignments=147610 nbFailedAssignments=103205 nbBacktracks=44314 nbVisitedNodes=287545
667.13 nbRestartNogoods=274
667.13 => wckTime=631.31 cpuTime=627.74 mem=22M740
890.18
890.18 search
890.18 run=19 nbConstraintChecks=771126041 nbValidityChecks=898550939 nbPropagations=0 nbRevisions=0
890.18 nbUselessRevisions=0 nbAssignments=217463 nbFailedAssignments=150886 nbBacktracks=66482 nbVisitedNodes=422972
890.18 nbRestartNogoods=295
890.18 => wckTime=854.357 cpuTime=849.53 mem=22M740
1296.07
1296.07 search
1296.07 run=20 nbConstraintChecks=1132562573 nbValidityChecks=1318789202 nbPropagations=0 nbRevisions=0
1296.07 nbUselessRevisions=0 nbAssignments=318937 nbFailedAssignments=219103 nbBacktracks=99735 nbVisitedNodes=618843
1296.07 nbRestartNogoods=313
1296.07 => wckTime=1260.248 cpuTime=1253.19 mem=22M740
1783.48
1783.48 search
1783.48 run=21 nbConstraintChecks=1565530847 nbValidityChecks=1841109498 nbPropagations=0 nbRevisions=0
1783.48 nbUselessRevisions=0 nbAssignments=473326 nbFailedAssignments=323610 nbBacktracks=149613 nbVisitedNodes=917725
1783.48 nbRestartNogoods=340
1783.48 => wckTime=1747.665 cpuTime=1737.98 mem=22M740
2103.84
2103.84 search
2103.84 run=22 nbConstraintChecks=1857130069 nbValidityChecks=2182161100 nbPropagations=0 nbRevisions=0
2103.84 nbUselessRevisions=0 nbAssignments=560427 nbFailedAssignments=380418 nbBacktracks=179907 nbVisitedNodes=1085237
2103.84 nbRestartNogoods=363
2103.84 => wckTime=2068.025 cpuTime=2056.61 mem=22M740
2103.85
2103.85 global
2103.85 nbConstraintChecks=1857341688 nbValidityChecks=2182382818 nbRestartNogoods=363 solvingWckTime=2068.026
2103.85 solvingCpuTime=2056.61 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=2091.66
2103.85 => wckTime=2103.484 cpuTime=2091.62 mem=22M740
2103.85
2103.85 s OPTIMUM FOUND
2103.85 v 8 8 0 6 4 0 0 0 2 0 1 2 3 3 4 4 7 4 8 9
2103.85
2103.85 totalWckTime=2103.563 totalCpuTime=2091.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-280495-1169306153 -o ROOT/results/node3/solver-280495-1169306153 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280495-1169306153/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.92 2.00 1.99 4/94 2924
/proc/meminfo: memFree=1282008/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=18540 CPUtime=0
/proc/2923/stat : 2923 (runsolver) R 2921 2923 2380 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 279010920 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2923/statm: 4635 279 244 17 0 2626 0
[startup+0.107477 s]
/proc/loadavg: 1.92 2.00 1.99 4/94 2924
/proc/meminfo: memFree=1282008/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=907676 CPUtime=0.03
/proc/2923/stat : 2923 (java) S 2921 2923 2380 0 -1 0 2185 0 1 0 2 1 0 0 20 0 4 0 279010920 929460224 1933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 226919 1933 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515546 s]
/proc/loadavg: 1.92 2.00 1.99 4/94 2924
/proc/meminfo: memFree=1282008/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915332 CPUtime=0.33
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 5725 0 1 0 30 3 0 0 18 0 8 0 279010920 937299968 5464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073464449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228833 5464 2092 14 0 215303 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915332
[startup+1.33767 s]
/proc/loadavg: 1.92 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229856/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1.14
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15692 0 1 0 104 10 0 0 25 0 8 0 279010920 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15430 2480 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.09
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 279010933 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 915436
[startup+2.98494 s]
/proc/loadavg: 1.92 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229856/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=2.79
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15696 0 1 0 258 21 0 0 25 0 8 0 279010920 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15433 2480 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.1
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 279010933 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 915436
[startup+6.26947 s]
/proc/loadavg: 1.93 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229856/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=6.06
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15700 0 1 0 563 43 0 0 25 0 8 0 279010920 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15437 2480 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.1
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915436
[startup+12.7535 s]
/proc/loadavg: 1.93 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229856/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=12.48
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15700 0 1 0 1153 95 0 0 25 0 8 0 279010920 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155277326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15437 2480 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.1
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915436
[startup+25.5916 s]
/proc/loadavg: 1.95 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229920/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915440 CPUtime=25.25
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15700 0 1 0 2326 199 0 0 25 0 8 0 279010920 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228860 15437 2480 14 0 215330 0
[pid=2923/tid=2925] ppid=2921 vsize=915440 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 279010930 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915440 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915440 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915440 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915440 CPUtime=0.1
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279010933 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915440 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915440 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937410560 15437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915440
[startup+51.2008 s]
/proc/loadavg: 1.96 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229792/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=50.75
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15870 0 1 0 4792 283 0 0 25 0 8 0 279010920 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15598 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915436
[startup+102.426 s]
/proc/loadavg: 1.98 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229792/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=101.66
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15876 0 1 0 9883 283 0 0 25 0 8 0 279010920 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15600 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 915436
[startup+162.487 s]
/proc/loadavg: 1.99 2.00 1.99 3/101 2931
/proc/meminfo: memFree=1229792/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=161.4
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15876 0 1 0 15857 283 0 0 25 0 8 0 279010920 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.75
Current children cumulated vsize (KiB) 915436
[startup+1724.13 s]
/proc/loadavg: 2.07 2.00 2.00 3/93 3238
/proc/meminfo: memFree=1234408/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1714.46
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15877 0 1 0 171152 294 0 0 25 0 8 0 279010920 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757194 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15600 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15600 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.46
Current children cumulated vsize (KiB) 915436
[startup+1784.18 s]
/proc/loadavg: 2.10 2.02 2.00 3/93 3238
/proc/meminfo: memFree=1234344/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1774.2
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 177125 295 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.2
Current children cumulated vsize (KiB) 915436
[startup+1844.23 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 3238
/proc/meminfo: memFree=1234344/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1833.94
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 183099 295 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1833.94
Current children cumulated vsize (KiB) 915436
[startup+1904.29 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 3238
/proc/meminfo: memFree=1234344/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1893.66
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 189071 295 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1893.66
Current children cumulated vsize (KiB) 915436
[startup+1964.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3238
/proc/meminfo: memFree=1234408/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=1953.41
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 195046 295 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1953.41
Current children cumulated vsize (KiB) 915436
[startup+2024.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3238
/proc/meminfo: memFree=1234344/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=2013.15
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 201020 295 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2013.15
Current children cumulated vsize (KiB) 915436
[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3238
/proc/meminfo: memFree=1234344/2055920 swapFree=4191880/4192956
[pid=2923] ppid=2921 vsize=915436 CPUtime=2072.86
/proc/2923/stat : 2923 (java) R 2921 2923 2380 0 -1 0 15878 0 1 0 206990 296 0 0 25 0 8 0 279010920 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2923/statm: 228859 15601 2535 14 0 215329 0
[pid=2923/tid=2925] ppid=2921 vsize=915436 CPUtime=0.04
/proc/2923/task/2925/stat : 2925 (java) S 2921 2923 2380 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2926] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2926/stat : 2926 (java) S 2921 2923 2380 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2927] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2927/stat : 2927 (java) S 2921 2923 2380 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 279010930 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2928] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2928/stat : 2928 (java) S 2921 2923 2380 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2929] ppid=2921 vsize=915436 CPUtime=0.22
/proc/2923/task/2929/stat : 2929 (java) S 2921 2923 2380 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2930] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2930/stat : 2930 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279010933 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2923/tid=2931] ppid=2921 vsize=915436 CPUtime=0
/proc/2923/task/2931/stat : 2931 (java) S 2921 2923 2380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279010934 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.86
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 2103.91
CPU time (s): 2092.17
CPU user time (s): 2089.2
CPU system time (s): 2.97255
CPU usage (%): 99.4421
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2089.2
system time used= 2.97255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15890
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= 43647
involuntary context switches= 99824
runsolver used 2.52062 s user time and 6.68098 s system time
The end
Begin job on node3 on Sat Jan 20 15:15:53 UTC 2007
IDJOB= 280495
IDBENCH= 11100
IDSOLVER= 68
FILE ID= node3/280495-1169306153
PBS_JOBID= 3609914
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280495-1169306153/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-280495-1169306153 -o ROOT/results/node3/solver-280495-1169306153 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280495-1169306153/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 99970ae154e1fd72222efe3964c656cb
RANDOM SEED= 57795534
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.279
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.279
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: 1282488 kB
Buffers: 57436 kB
Cached: 566996 kB
SwapCached: 284 kB
Active: 212496 kB
Inactive: 484188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1282488 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2924 kB
Writeback: 0 kB
Mapped: 91760 kB
Slab: 61460 kB
Committed_AS: 7876576 kB
PageTables: 2156 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= 66560 MiB
End job on node3 on Sat Jan 20 15:50:57 UTC 2007