0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278092-1169275174/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.09 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.41
0.42 constraints being loaded...
0.59 nbConstraints=1050 nbRelationTypes=31 nbExtensionStructures=31 nbSharedExtensionStructures=1019
0.59 nbConflictsStructures=31 nbSharedConflictsStructures=1019 nbSharedBinaryRepresentations=0 maxDegree=93
0.59 maxArity=3
0.59 => wckTime=0.281 cpuTime=0.2 mem=10M788
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.366 cpuTime=0.24 mem=5M916
0.68
0.68 s SATISFIABLE
0.68 o 923
0.68 c 127
0.68 o 930
0.68 c 120
0.68 o 935
0.68 c 115
0.69 o 941
0.69 c 109
0.69 o 950
0.69 c 100
0.69 o 951
0.69 c 99
0.69 o 954
0.69 c 96
0.69 o 955
0.69 c 95
0.71 o 957
0.71 c 93
0.71 o 959
0.71 c 91
0.71 o 961
0.71 c 89
0.81 o 964
0.82 c 86
0.82 o 965
0.82 c 85
0.82 o 966
0.82 c 84
0.89 o 967
0.89 c 83
1.00 o 968
1.00 c 82
1.17 o 969
1.17 c 81
2.97 o 970
2.97 c 80
4.46
4.46 search
4.46 run=0 nbConstraintChecks=21435827 nbAssignments=10000
4.46 => wckTime=3.784 cpuTime=3.73 mem=5M916
8.24
8.24 search
8.24 run=1 nbConstraintChecks=43453734 nbAssignments=20000
8.24 => wckTime=7.57 cpuTime=7.48 mem=5M916
11.94
11.94 search
11.94 run=2 nbConstraintChecks=64939940 nbAssignments=30000
11.94 => wckTime=11.266 cpuTime=11.14 mem=5M916
15.69
15.69 search
15.69 run=3 nbConstraintChecks=87013222 nbAssignments=40000
15.69 => wckTime=15.02 cpuTime=14.86 mem=5M916
19.36
19.36 search
19.36 run=4 nbConstraintChecks=108467911 nbAssignments=50000
19.36 => wckTime=18.69 cpuTime=18.5 mem=5M916
23.15
23.15 search
23.15 run=5 nbConstraintChecks=130567181 nbAssignments=60000
23.15 => wckTime=22.475 cpuTime=22.26 mem=5M916
26.85
26.85 search
26.85 run=6 nbConstraintChecks=152062725 nbAssignments=70000
26.85 => wckTime=26.18 cpuTime=25.93 mem=5M916
30.65
30.65 search
30.65 run=7 nbConstraintChecks=174140051 nbAssignments=80000
30.65 => wckTime=29.973 cpuTime=29.69 mem=5M916
33.23
33.23 search
33.23 run=8 nbConstraintChecks=189232367 nbAssignments=87099
33.23 => wckTime=32.56 cpuTime=32.26 mem=5M916
33.24
33.24 global
33.24 nbConstraintChecks=189232367 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.24 solvingWckTime=32.558 solvingCpuTime=32.26 expiredTime=no totalExploration=no nbFoundSolutions=0
33.24 globalCpuTime=32.55
33.24 => wckTime=32.926 cpuTime=32.5 mem=5M916
33.24
33.24 solver IterativeSystematicSolver being built...
33.42 => wckTime=33.115 cpuTime=32.64 mem=22M847
33.52
33.52 preprocessing
33.52 nbConstraintChecks=9429 nbValidityChecks=22539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.52 nbRemovedValues=0 detectedInconsistency=no
33.52 => wckTime=0.097 cpuTime=0.08 mem=22M847
33.60
33.60 search
33.60 run=0 nbConstraintChecks=17198 nbValidityChecks=53459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.60 nbAssignments=39 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=59 nbRestartNogoods=0
33.60 => wckTime=0.168 cpuTime=0.14 mem=22M847
33.68
33.68 search
33.68 run=1 nbConstraintChecks=41712 nbValidityChecks=125361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.68 nbAssignments=87 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=133 nbRestartNogoods=1
33.68 => wckTime=0.254 cpuTime=0.21 mem=22M847
33.77
33.77 search
33.77 run=2 nbConstraintChecks=71103 nbValidityChecks=222936 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.77 nbAssignments=145 nbFailedAssignments=33 nbBacktracks=51 nbVisitedNodes=229 nbRestartNogoods=2
33.77 => wckTime=0.345 cpuTime=0.3 mem=22M847
33.91
33.91 search
33.91 run=3 nbConstraintChecks=118653 nbValidityChecks=378803 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.91 nbAssignments=227 nbFailedAssignments=58 nbBacktracks=86 nbVisitedNodes=370 nbRestartNogoods=3
33.91 => wckTime=0.479 cpuTime=0.43 mem=22M847
34.08
34.08 search
34.08 run=4 nbConstraintChecks=183016 nbValidityChecks=580621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.08 nbAssignments=327 nbFailedAssignments=88 nbBacktracks=136 nbVisitedNodes=548 nbRestartNogoods=5
34.08 => wckTime=0.659 cpuTime=0.61 mem=22M847
34.34
34.34 search
34.34 run=5 nbConstraintChecks=282497 nbValidityChecks=896285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.34 nbAssignments=475 nbFailedAssignments=139 nbBacktracks=212 nbVisitedNodes=816 nbRestartNogoods=8
34.34 => wckTime=0.913 cpuTime=0.85 mem=22M847
34.73
34.73 search
34.73 run=6 nbConstraintChecks=417937 nbValidityChecks=1386551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.73 nbAssignments=692 nbFailedAssignments=222 nbBacktracks=325 nbVisitedNodes=1222 nbRestartNogoods=10
34.73 => wckTime=1.306 cpuTime=1.25 mem=22M847
35.28
35.28 search
35.28 run=7 nbConstraintChecks=631574 nbValidityChecks=2091916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.28 nbAssignments=993 nbFailedAssignments=335 nbBacktracks=495 nbVisitedNodes=1803 nbRestartNogoods=14
35.28 => wckTime=1.853 cpuTime=1.79 mem=22M847
36.10
36.10 search
36.10 run=8 nbConstraintChecks=969073 nbValidityChecks=3193113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.10 nbAssignments=1455 nbFailedAssignments=517 nbBacktracks=752 nbVisitedNodes=2698 nbRestartNogoods=19
36.10 => wckTime=2.675 cpuTime=2.59 mem=22M847
37.40
37.40 search
37.40 run=9 nbConstraintChecks=1434392 nbValidityChecks=4860128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.40 nbAssignments=2135 nbFailedAssignments=794 nbBacktracks=1136 nbVisitedNodes=4024 nbRestartNogoods=22
37.40 => wckTime=3.975 cpuTime=3.86 mem=22M847
39.32
39.32 search
39.32 run=10 nbConstraintChecks=2108995 nbValidityChecks=7314633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.32 nbAssignments=3127 nbFailedAssignments=1192 nbBacktracks=1712 nbVisitedNodes=5969 nbRestartNogoods=25
39.33 => wckTime=5.899 cpuTime=5.76 mem=22M847
42.12
42.12 search
42.12 run=11 nbConstraintChecks=3141273 nbValidityChecks=11007465 nbPropagations=0 nbRevisions=0
42.12 nbUselessRevisions=0 nbAssignments=4579 nbFailedAssignments=1762 nbBacktracks=2576 nbVisitedNodes=8832
42.12 nbRestartNogoods=30
42.12 => wckTime=8.697 cpuTime=8.53 mem=22M847
46.62
46.62 search
46.62 run=12 nbConstraintChecks=4644214 nbValidityChecks=16790685 nbPropagations=0 nbRevisions=0
46.62 nbUselessRevisions=0 nbAssignments=6844 nbFailedAssignments=2709 nbBacktracks=3875 nbVisitedNodes=13284
46.62 nbRestartNogoods=32
46.62 => wckTime=13.192 cpuTime=12.99 mem=22M847
53.29
53.29 search
53.29 run=13 nbConstraintChecks=6925918 nbValidityChecks=25180870 nbPropagations=0 nbRevisions=0
53.29 nbUselessRevisions=0 nbAssignments=10250 nbFailedAssignments=4149 nbBacktracks=5821 nbVisitedNodes=19953
53.29 nbRestartNogoods=38
53.29 => wckTime=19.868 cpuTime=19.61 mem=22M847
62.92
62.92 search
62.92 run=14 nbConstraintChecks=10304094 nbValidityChecks=37602321 nbPropagations=0 nbRevisions=0
62.92 nbUselessRevisions=0 nbAssignments=15117 nbFailedAssignments=6078 nbBacktracks=8740 nbVisitedNodes=29552
62.92 nbRestartNogoods=44
62.92 => wckTime=29.491 cpuTime=29.14 mem=22M847
77.90
77.90 search
77.90 run=15 nbConstraintChecks=15209155 nbValidityChecks=56953514 nbPropagations=0 nbRevisions=0
77.90 nbUselessRevisions=0 nbAssignments=22586 nbFailedAssignments=9149 nbBacktracks=13118 nbVisitedNodes=44254
77.90 nbRestartNogoods=51
77.90 => wckTime=44.474 cpuTime=44.01 mem=22M847
101.43
101.43 search
101.43 run=16 nbConstraintChecks=22695597 nbValidityChecks=86555816 nbPropagations=0 nbRevisions=0
101.43 nbUselessRevisions=0 nbAssignments=34188 nbFailedAssignments=14165 nbBacktracks=19686 nbVisitedNodes=67002
101.43 nbRestartNogoods=55
101.43 => wckTime=68.004 cpuTime=67.35 mem=22M847
136.69
136.69 search
136.69 run=17 nbConstraintChecks=32999628 nbValidityChecks=129699879 nbPropagations=0 nbRevisions=0
136.69 nbUselessRevisions=0 nbAssignments=51036 nbFailedAssignments=21140 nbBacktracks=29540 nbVisitedNodes=100019
136.69 nbRestartNogoods=61
136.69 => wckTime=103.26 cpuTime=102.31 mem=22M847
189.68
189.69 search
189.69 run=18 nbConstraintChecks=48555966 nbValidityChecks=193382013 nbPropagations=0 nbRevisions=0
189.69 nbUselessRevisions=0 nbAssignments=76454 nbFailedAssignments=31760 nbBacktracks=44318 nbVisitedNodes=149671
189.69 nbRestartNogoods=67
189.69 => wckTime=156.257 cpuTime=154.86 mem=22M847
267.50
267.50 search
267.50 run=19 nbConstraintChecks=72973144 nbValidityChecks=289182157 nbPropagations=0 nbRevisions=0
267.50 nbUselessRevisions=0 nbAssignments=114016 nbFailedAssignments=47137 nbBacktracks=66488 nbVisitedNodes=223462
267.50 nbRestartNogoods=71
267.50 => wckTime=234.073 cpuTime=231.98 mem=22M847
382.39
382.39 search
382.39 run=20 nbConstraintChecks=108403755 nbValidityChecks=431406527 nbPropagations=0 nbRevisions=0
382.39 nbUselessRevisions=0 nbAssignments=170354 nbFailedAssignments=70203 nbBacktracks=99742 nbVisitedNodes=333127
382.39 nbRestartNogoods=79
382.39 => wckTime=348.965 cpuTime=345.88 mem=22M847
547.95
547.95 search
547.95 run=21 nbConstraintChecks=163595296 nbValidityChecks=630515916 nbPropagations=0 nbRevisions=0
547.95 nbUselessRevisions=0 nbAssignments=254297 nbFailedAssignments=104251 nbBacktracks=149620 nbVisitedNodes=495586
547.95 nbRestartNogoods=86
547.95 => wckTime=514.526 cpuTime=510.05 mem=22M847
760.67
760.67 search
760.67 run=22 nbConstraintChecks=245040478 nbValidityChecks=908601033 nbPropagations=0 nbRevisions=0
760.67 nbUselessRevisions=0 nbAssignments=376805 nbFailedAssignments=151919 nbBacktracks=224439 nbVisitedNodes=728733
760.67 nbRestartNogoods=96
760.67 => wckTime=727.243 cpuTime=722.19 mem=22M847
1037.90
1037.90 search
1037.90 run=23 nbConstraintChecks=361318977 nbValidityChecks=1277993188 nbPropagations=0 nbRevisions=0
1037.90 nbUselessRevisions=0 nbAssignments=554117 nbFailedAssignments=216981 nbBacktracks=336666 nbVisitedNodes=1053769
1037.90 nbRestartNogoods=102
1037.90 => wckTime=1004.469 cpuTime=999.12 mem=22M847
1402.75
1402.75 search
1402.75 run=24 nbConstraintChecks=532746254 nbValidityChecks=1781251673 nbPropagations=0 nbRevisions=0
1402.75 nbUselessRevisions=0 nbAssignments=807138 nbFailedAssignments=301638 nbBacktracks=505007 nbVisitedNodes=1501769
1402.75 nbRestartNogoods=111
1402.75 => wckTime=1369.325 cpuTime=1363.52 mem=22M847
1894.46
1894.46 search
1894.46 run=25 nbConstraintChecks=751637440 nbValidityChecks=2427694099 nbPropagations=0 nbRevisions=0
1894.46 nbUselessRevisions=0 nbAssignments=1167270 nbFailedAssignments=409236 nbBacktracks=757519
1894.46 nbVisitedNodes=2104007 nbRestartNogoods=121
1894.46 => wckTime=1861.032 cpuTime=1854.71 mem=22M847
2407.16 v 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-278092-1169275174 -o ROOT/results/node9/solver-278092-1169275174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/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: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=11820 CPUtime=0
/proc/2828/stat : 2828 (java) D 2826 2828 1928 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 275912589 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8663844 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/2828/statm: 2955 510 421 14 0 1602 0
[startup+0.103486 s]
/proc/loadavg: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=914988 CPUtime=0.09
/proc/2828/stat : 2828 (java) S 2826 2828 1928 0 -1 0 2994 0 1 0 8 1 0 0 17 0 8 0 275912589 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515535 s]
/proc/loadavg: 2.04 2.01 2.00 4/86 2829
/proc/meminfo: memFree=1270672/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915332 CPUtime=0.5
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 6381 0 1 0 47 3 0 0 18 0 8 0 275912589 937299968 6120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228833 6120 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34062 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250968/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=1.31
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7611 0 1 0 121 10 0 0 25 0 8 0 275912589 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073713859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7349 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 343 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915428
[startup+2.97781 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250904/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2.93
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7612 0 1 0 265 28 0 0 25 0 8 0 275912589 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7349 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 343 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915428
[startup+6.25818 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250840/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=6.18
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7614 0 1 0 557 61 0 0 25 0 8 0 275912589 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073713400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7351 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 345 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915428
[startup+12.7439 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250840/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=12.62
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7615 0 1 0 1134 128 0 0 25 0 8 0 275912589 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7352 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915428
[startup+25.6014 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1250904/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=25.37
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 7615 0 1 0 2271 266 0 0 25 0 8 0 275912589 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073711657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 7352 2478 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.15
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 7352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915428
[startup+51.2133 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 2836
/proc/meminfo: memFree=1239000/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=50.77
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10655 0 1 0 4730 347 0 0 25 0 8 0 275912589 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 10388 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.28
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915428
[startup+102.438 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 2836
/proc/meminfo: memFree=1238936/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=101.56
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10665 0 1 0 9809 347 0 0 25 0 8 0 275912589 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2828/statm: 228857 10398 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.28
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915428
[startup+162.512 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 2836
/proc/meminfo: memFree=1238936/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=161.14
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10669 0 1 0 15766 348 0 0 25 0 8 0 275912589 937398272 10402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2017.88
Current children cumulated vsize (KiB) 915428
[startup+2084.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2077.83
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 207416 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.83
Current children cumulated vsize (KiB) 915428
[startup+2144.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2137.8
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 213413 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.8
Current children cumulated vsize (KiB) 915428
[startup+2204.62 s]
/proc/loadavg: 2.11 2.03 2.01 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2197.77
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 219410 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896498 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.77
Current children cumulated vsize (KiB) 915428
[startup+2264.65 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 3197
/proc/meminfo: memFree=1232728/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2257.71
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 225404 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.71
Current children cumulated vsize (KiB) 915428
[startup+2324.67 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2317.69
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 231402 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.69
Current children cumulated vsize (KiB) 915428
[startup+2384.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3197
/proc/meminfo: memFree=1232792/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2377.65
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 237398 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.65
Current children cumulated vsize (KiB) 915428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.15 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3197
/proc/meminfo: memFree=1232728/2055920 swapFree=4191880/4192956
[pid=2828] ppid=2826 vsize=915428 CPUtime=2400.07
/proc/2828/stat : 2828 (java) R 2826 2828 1928 0 -1 0 10692 0 1 0 239640 367 0 0 25 0 8 0 275912589 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2828/statm: 228857 10423 2534 14 0 215327 0
[pid=2828/tid=2830] ppid=2826 vsize=915428 CPUtime=0.03
/proc/2828/task/2830/stat : 2830 (java) S 2826 2828 1928 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275912593 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2831] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2831/stat : 2831 (java) S 2826 2828 1928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2832] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2832/stat : 2832 (java) S 2826 2828 1928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275912594 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2833] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2833/stat : 2833 (java) S 2826 2828 1928 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2834] ppid=2826 vsize=915428 CPUtime=0.29
/proc/2828/task/2834/stat : 2834 (java) S 2826 2828 1928 0 -1 64 418 0 0 0 28 1 0 0 16 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2828/tid=2835] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2835/stat : 2835 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2828/tid=2836] ppid=2826 vsize=915428 CPUtime=0
/proc/2828/task/2836/stat : 2836 (java) S 2826 2828 1928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275912597 937398272 10423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2407.2
CPU time (s): 2400.13
CPU user time (s): 2396.44
CPU system time (s): 3.68444
CPU usage (%): 99.7063
Max. virtual memory (cumulated for all children) (KiB): 915432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.44
system time used= 3.68444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10715
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= 49949
involuntary context switches= 97711
runsolver used 2.98055 s user time and 7.68183 s system time
The end
Begin job on node9 on Sat Jan 20 06:39:34 UTC 2007
IDJOB= 278092
IDBENCH= 8019
IDSOLVER= 68
FILE ID= node9/278092-1169275174
PBS_JOBID= 3607429
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1100-987621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-278092-1169275174 -o ROOT/results/node9/solver-278092-1169275174 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278092-1169275174/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c73e20d392eefb144e7205551263a842
RANDOM SEED= 220336005
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.231
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.231
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: 1271152 kB
Buffers: 59724 kB
Cached: 589680 kB
SwapCached: 268 kB
Active: 290184 kB
Inactive: 409776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1271152 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1744 kB
Writeback: 0 kB
Mapped: 63568 kB
Slab: 69696 kB
Committed_AS: 8360708 kB
PageTables: 2252 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node9 on Sat Jan 20 07:19:42 UTC 2007