0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278083-1169274440/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.09 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.63 nbConstraints=1825 nbRelationTypes=43 nbExtensionStructures=43 nbSharedExtensionStructures=1782
0.64 nbConflictsStructures=43 nbSharedConflictsStructures=1782 nbSharedBinaryRepresentations=0 maxDegree=164
0.64 maxArity=3
0.64 => wckTime=0.332 cpuTime=0.23 mem=12M754
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.421 cpuTime=0.27 mem=6M330
0.73
0.73 s SATISFIABLE
0.73 o 1591
0.73 c 234
0.73 o 1600
0.73 c 225
0.73 o 1608
0.73 c 217
0.73 o 1616
0.73 c 209
0.73 o 1622
0.73 c 203
0.73 o 1628
0.73 c 197
0.74 o 1632
0.74 c 193
0.74 o 1637
0.74 c 188
0.74 o 1639
0.74 c 186
0.74 o 1640
0.74 c 185
0.81 o 1644
0.81 c 181
0.99 o 1645
0.99 c 180
0.99 o 1649
0.99 c 176
0.99 o 1651
0.99 c 174
0.99 o 1652
0.99 c 173
1.93 o 1654
1.93 c 171
4.03 o 1659
4.03 c 166
7.73
7.73 search
7.73 run=0 nbConstraintChecks=42781288 nbAssignments=10000
7.73 => wckTime=7.01 cpuTime=7.0 mem=6M330
14.83
14.83 search
14.83 run=1 nbConstraintChecks=86703777 nbAssignments=20000
14.83 => wckTime=14.111 cpuTime=14.09 mem=6M330
21.71
21.71 search
21.71 run=2 nbConstraintChecks=129495643 nbAssignments=30000
21.71 => wckTime=20.985 cpuTime=20.96 mem=6M330
28.76
28.76 search
28.76 run=3 nbConstraintChecks=173504498 nbAssignments=40000
28.76 => wckTime=28.044 cpuTime=28.02 mem=6M330
34.05
34.05 search
34.05 run=4 nbConstraintChecks=206175113 nbAssignments=47683
34.05 => wckTime=33.334 cpuTime=33.31 mem=6M330
34.06
34.06 global
34.06 nbConstraintChecks=206175113 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.06 solvingWckTime=33.333 solvingCpuTime=33.31 expiredTime=no totalExploration=no nbFoundSolutions=0
34.06 globalCpuTime=33.62
34.06 => wckTime=33.756 cpuTime=33.58 mem=6M330
34.06
34.06 solver IterativeSystematicSolver being built...
34.24 => wckTime=33.942 cpuTime=33.73 mem=27M186
34.37
34.37 preprocessing
34.37 nbConstraintChecks=16458 nbValidityChecks=40647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.37 nbRemovedValues=0 detectedInconsistency=no
34.37 => wckTime=0.124 cpuTime=0.1 mem=27M186
34.48
34.48 search
34.48 run=0 nbConstraintChecks=37545 nbValidityChecks=93803 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.48 nbAssignments=43 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
34.48 => wckTime=0.238 cpuTime=0.21 mem=27M186
34.62
34.62 search
34.62 run=1 nbConstraintChecks=92145 nbValidityChecks=226134 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.62 nbAssignments=97 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=144 nbRestartNogoods=2
34.62 => wckTime=0.381 cpuTime=0.34 mem=27M186
34.79
34.79 search
34.79 run=2 nbConstraintChecks=152942 nbValidityChecks=401177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.79 nbAssignments=156 nbFailedAssignments=38 nbBacktracks=47 nbVisitedNodes=241 nbRestartNogoods=4
34.79 => wckTime=0.544 cpuTime=0.5 mem=27M186
35.02
35.02 search
35.02 run=3 nbConstraintChecks=247374 nbValidityChecks=665802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.02 nbAssignments=238 nbFailedAssignments=66 nbBacktracks=80 nbVisitedNodes=381 nbRestartNogoods=5
35.02 => wckTime=0.775 cpuTime=0.73 mem=27M186
35.37
35.37 search
35.37 run=4 nbConstraintChecks=375957 nbValidityChecks=1052697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.37 nbAssignments=348 nbFailedAssignments=104 nbBacktracks=131 nbVisitedNodes=578 nbRestartNogoods=6
35.37 => wckTime=1.122 cpuTime=1.08 mem=27M186
35.85
35.85 search
35.85 run=5 nbConstraintChecks=570466 nbValidityChecks=1607988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.85 nbAssignments=501 nbFailedAssignments=160 nbBacktracks=206 nbVisitedNodes=859 nbRestartNogoods=9
35.85 => wckTime=1.608 cpuTime=1.56 mem=27M186
36.57
36.57 search
36.57 run=6 nbConstraintChecks=855086 nbValidityChecks=2489740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.57 nbAssignments=722 nbFailedAssignments=247 nbBacktracks=319 nbVisitedNodes=1278 nbRestartNogoods=12
36.57 => wckTime=2.328 cpuTime=2.28 mem=27M186
37.62
37.62 search
37.62 run=7 nbConstraintChecks=1280325 nbValidityChecks=3757038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.62 nbAssignments=1038 nbFailedAssignments=371 nbBacktracks=490 nbVisitedNodes=1884 nbRestartNogoods=17
37.62 => wckTime=3.376 cpuTime=3.32 mem=27M186
39.29
39.29 search
39.29 run=8 nbConstraintChecks=1925148 nbValidityChecks=5766782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.29 nbAssignments=1528 nbFailedAssignments=582 nbBacktracks=746 nbVisitedNodes=2824 nbRestartNogoods=22
39.29 => wckTime=5.051 cpuTime=4.98 mem=27M186
41.70
41.70 search
41.70 run=9 nbConstraintChecks=2836788 nbValidityChecks=8717971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.70 nbAssignments=2239 nbFailedAssignments=889 nbBacktracks=1130 nbVisitedNodes=4212 nbRestartNogoods=25
41.70 => wckTime=7.456 cpuTime=7.38 mem=27M186
45.05
45.05 search
45.05 run=10 nbConstraintChecks=4211525 nbValidityChecks=12964431 nbPropagations=0 nbRevisions=0
45.05 nbUselessRevisions=0 nbAssignments=3246 nbFailedAssignments=1303 nbBacktracks=1706 nbVisitedNodes=6186
45.05 nbRestartNogoods=31
45.05 => wckTime=10.805 cpuTime=10.72 mem=27M186
50.20
50.20 search
50.20 run=11 nbConstraintChecks=6319796 nbValidityChecks=19585320 nbPropagations=0 nbRevisions=0
50.20 nbUselessRevisions=0 nbAssignments=4779 nbFailedAssignments=1950 nbBacktracks=2570 nbVisitedNodes=9198
50.20 nbRestartNogoods=32
50.20 => wckTime=15.961 cpuTime=15.88 mem=27M186
58.34
58.34 search
58.34 run=12 nbConstraintChecks=9351999 nbValidityChecks=29823614 nbPropagations=0 nbRevisions=0
58.34 nbUselessRevisions=0 nbAssignments=7063 nbFailedAssignments=2916 nbBacktracks=3867 nbVisitedNodes=13702
58.34 nbRestartNogoods=37
58.34 => wckTime=24.098 cpuTime=24.01 mem=27M186
71.19
71.19 search
71.19 run=13 nbConstraintChecks=13725663 nbValidityChecks=45292698 nbPropagations=0 nbRevisions=0
71.19 nbUselessRevisions=0 nbAssignments=10572 nbFailedAssignments=4460 nbBacktracks=5813 nbVisitedNodes=20635
71.19 nbRestartNogoods=41
71.19 => wckTime=36.95 cpuTime=36.86 mem=27M186
89.62
89.62 search
89.62 run=14 nbConstraintChecks=20197720 nbValidityChecks=68373896 nbPropagations=0 nbRevisions=0
89.62 nbUselessRevisions=0 nbAssignments=15727 nbFailedAssignments=6677 nbBacktracks=8732 nbVisitedNodes=30800
89.62 nbRestartNogoods=45
89.62 => wckTime=55.38 cpuTime=55.28 mem=27M186
118.17
118.17 search
118.17 run=15 nbConstraintChecks=29963598 nbValidityChecks=103375952 nbPropagations=0 nbRevisions=0
118.17 nbUselessRevisions=0 nbAssignments=23584 nbFailedAssignments=10138 nbBacktracks=13110 nbVisitedNodes=46333
118.17 nbRestartNogoods=49
118.17 => wckTime=83.93 cpuTime=83.83 mem=27M186
163.52
163.52 search
163.52 run=16 nbConstraintChecks=43786255 nbValidityChecks=157047305 nbPropagations=0 nbRevisions=0
163.52 nbUselessRevisions=0 nbAssignments=35558 nbFailedAssignments=15527 nbBacktracks=19678 nbVisitedNodes=69926
163.52 nbRestartNogoods=55
163.52 => wckTime=129.281 cpuTime=129.17 mem=27M186
230.38
230.38 search
230.38 run=17 nbConstraintChecks=64242642 nbValidityChecks=235194750 nbPropagations=0 nbRevisions=0
230.38 nbUselessRevisions=0 nbAssignments=53104 nbFailedAssignments=23206 nbBacktracks=29531 nbVisitedNodes=104590
230.38 nbRestartNogoods=62
230.38 => wckTime=196.139 cpuTime=196.01 mem=27M186
328.74
328.74 search
328.74 run=18 nbConstraintChecks=95391772 nbValidityChecks=355737625 nbPropagations=0 nbRevisions=0
328.74 nbUselessRevisions=0 nbAssignments=79341 nbFailedAssignments=34648 nbBacktracks=44309 nbVisitedNodes=156343
328.74 nbRestartNogoods=72
328.74 => wckTime=294.499 cpuTime=294.34 mem=27M186
481.05
481.05 search
481.05 run=19 nbConstraintChecks=142434588 nbValidityChecks=539214494 nbPropagations=0 nbRevisions=0
481.05 nbUselessRevisions=0 nbAssignments=119119 nbFailedAssignments=52242 nbBacktracks=66478 nbVisitedNodes=234942
481.05 nbRestartNogoods=79
481.05 => wckTime=446.809 cpuTime=446.61 mem=27M186
704.51
704.51 search
704.51 run=20 nbConstraintChecks=212838664 nbValidityChecks=813479669 nbPropagations=0 nbRevisions=0
704.51 nbUselessRevisions=0 nbAssignments=177389 nbFailedAssignments=77240 nbBacktracks=99730 nbVisitedNodes=350055
704.51 nbRestartNogoods=89
704.51 => wckTime=670.272 cpuTime=670.02 mem=27M186
1040.66
1040.66 search
1040.66 run=21 nbConstraintChecks=318285896 nbValidityChecks=1216415606 nbPropagations=0 nbRevisions=0
1040.66 nbUselessRevisions=0 nbAssignments=265572 nbFailedAssignments=115525 nbBacktracks=149608 nbVisitedNodes=524058
1040.66 nbRestartNogoods=94
1040.66 => wckTime=1006.416 cpuTime=1006.08 mem=27M186
1549.85
1549.85 search
1549.85 run=22 nbConstraintChecks=474384080 nbValidityChecks=1801747697 nbPropagations=0 nbRevisions=0
1549.85 nbUselessRevisions=0 nbAssignments=399112 nbFailedAssignments=174230 nbBacktracks=224426 nbVisitedNodes=786685
1549.85 nbRestartNogoods=101
1549.85 => wckTime=1515.608 cpuTime=1515.14 mem=27M186
2258.09
2258.09 search
2258.09 run=23 nbConstraintChecks=722548476 nbValidityChecks=2650384626 nbPropagations=0 nbRevisions=0
2258.09 nbUselessRevisions=0 nbAssignments=595021 nbFailedAssignments=257891 nbBacktracks=336654 nbVisitedNodes=1171667
2258.09 nbRestartNogoods=110
2258.09 => wckTime=2223.849 cpuTime=2223.1 mem=27M186
2400.82 v 0 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-278083-1169274440 -o ROOT/results/node67/solver-278083-1169274440 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278083-1169274440/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.00 1.05 1.37 4/65 2604
/proc/meminfo: memFree=1442840/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=216 CPUtime=0
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 74941040 221184 25 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6852780 0 0 4096 0 0 0 0 17 1 0 0
/proc/2603/statm: 55 30 25 14 0 3 0
[startup+0.106563 s]
/proc/loadavg: 1.00 1.05 1.37 4/65 2604
/proc/meminfo: memFree=1442840/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=914988 CPUtime=0.09
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 3041 0 1 0 8 1 0 0 16 0 8 0 74941040 936947712 2787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228747 2789 1444 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514604 s]
/proc/loadavg: 1.00 1.05 1.37 4/65 2604
/proc/meminfo: memFree=1442840/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915332 CPUtime=0.5
/proc/2603/stat : 2603 (java) S 2601 2603 1478 0 -1 0 6493 0 1 0 46 4 0 0 16 0 8 0 74941040 937299968 6232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228833 6232 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33469 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2611
/proc/meminfo: memFree=1420576/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=1.31
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 8248 0 1 0 122 9 0 0 17 0 8 0 74941040 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 7986 2476 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.15
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 367 0 0 0 15 0 0 0 15 0 8 0 74941047 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 7986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97086 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2611
/proc/meminfo: memFree=1420576/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2.95
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 8255 0 1 0 276 19 0 0 17 0 8 0 74941040 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 7992 2478 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915448 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937418752 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.15
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 373 0 0 0 15 0 0 0 15 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.2532 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2611
/proc/meminfo: memFree=1420448/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=6.23
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 8255 0 1 0 586 37 0 0 24 0 8 0 74941040 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 7992 2478 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.15
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 373 0 0 0 15 0 0 0 15 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 7992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915444
[startup+12.7269 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2611
/proc/meminfo: memFree=1420448/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=12.71
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 8258 0 1 0 1196 75 0 0 16 0 8 0 74941040 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 7995 2478 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.16
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 376 0 0 0 16 0 0 0 16 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915444
[startup+25.5782 s]
/proc/loadavg: 1.00 1.05 1.36 2/72 2611
/proc/meminfo: memFree=1420448/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=25.55
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 8258 0 1 0 2409 146 0 0 25 0 8 0 74941040 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 7995 2478 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 358 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.16
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 376 0 0 0 16 0 0 0 16 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 7995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444
[startup+51.2569 s]
/proc/loadavg: 1.00 1.04 1.34 2/72 2611
/proc/meminfo: memFree=1406816/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=51.22
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11766 0 1 0 4920 202 0 0 25 0 8 0 74941040 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11495 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 439 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915444
[startup+102.509 s]
/proc/loadavg: 1.00 1.03 1.32 2/72 2611
/proc/meminfo: memFree=1406752/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=102.45
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11774 0 1 0 10043 202 0 0 25 0 8 0 74941040 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11503 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915444
[startup+162.588 s]
/proc/loadavg: 1.00 1.02 1.30 2/72 2611
/proc/meminfo: memFree=1406688/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=162.52
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11777 0 1 0 16050 202 0 0 25 0 8 0 74941040 937414656 11506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.52
Current children cumulated vsize (KiB) 915444
[startup+2085.09 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 2783
/proc/meminfo: memFree=1405296/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2084.45
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11796 0 1 0 208242 203 0 0 25 0 8 0 74941040 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073909057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11525 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) R 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.45
Current children cumulated vsize (KiB) 915444
[startup+2145.18 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 2809
/proc/meminfo: memFree=1406304/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2144.51
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11796 0 1 0 214248 203 0 0 25 0 8 0 74941040 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11525 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.51
Current children cumulated vsize (KiB) 915444
[startup+2205.26 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 2809
/proc/meminfo: memFree=1406304/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2204.58
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11796 0 1 0 220255 203 0 0 25 0 8 0 74941040 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073909060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11525 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11525 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.58
Current children cumulated vsize (KiB) 915444
[startup+2265.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2809
/proc/meminfo: memFree=1406368/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2264.65
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11798 0 1 0 226262 203 0 0 25 0 8 0 74941040 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11527 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.65
Current children cumulated vsize (KiB) 915444
[startup+2325.43 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2809
/proc/meminfo: memFree=1406368/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2324.72
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11798 0 1 0 232269 203 0 0 25 0 8 0 74941040 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11527 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.72
Current children cumulated vsize (KiB) 915444
[startup+2385.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2809
/proc/meminfo: memFree=1406432/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2384.78
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11798 0 1 0 238275 203 0 0 25 0 8 0 74941040 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11527 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.78
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 2809
/proc/meminfo: memFree=1406432/2055920 swapFree=4192956/4192956
[pid=2603] ppid=2601 vsize=915444 CPUtime=2400.08
/proc/2603/stat : 2603 (java) R 2601 2603 1478 0 -1 0 11798 0 1 0 239805 203 0 0 25 0 8 0 74941040 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2603/statm: 228861 11527 2534 14 0 215331 0
[pid=2603/tid=2605] ppid=2601 vsize=915444 CPUtime=0.03
/proc/2603/task/2605/stat : 2605 (java) S 2601 2603 1478 0 -1 64 359 0 0 0 3 0 0 0 16 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2606] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2606/stat : 2606 (java) S 2601 2603 1478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2607] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2607/stat : 2607 (java) S 2601 2603 1478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74941044 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2608] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2608/stat : 2608 (java) S 2601 2603 1478 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2609] ppid=2601 vsize=915444 CPUtime=0.26
/proc/2603/task/2609/stat : 2609 (java) S 2601 2603 1478 0 -1 64 441 0 0 0 25 1 0 0 16 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2610] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2610/stat : 2610 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2603/tid=2611] ppid=2601 vsize=915444 CPUtime=0
/proc/2603/task/2611/stat : 2611 (java) S 2601 2603 1478 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74941047 937414656 11527 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.86
CPU time (s): 2400.13
CPU user time (s): 2398.09
CPU system time (s): 2.04669
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.09
system time used= 2.04669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11821
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= 49550
involuntary context switches= 4362
runsolver used 2.47462 s user time and 6.04708 s system time
The end
Begin job on node67 on Sat Jan 20 06:27:20 UTC 2007
IDJOB= 278083
IDBENCH= 8018
IDSOLVER= 68
FILE ID= node67/278083-1169274440
PBS_JOBID= 3607310
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-2000-518921_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278083-1169274440/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-278083-1169274440 -o ROOT/results/node67/solver-278083-1169274440 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278083-1169274440/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7088cbc9c8ea42636efbbf0a2dab5415
RANDOM SEED= 774933644
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.236
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.236
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: 1443320 kB
Buffers: 48900 kB
Cached: 478440 kB
SwapCached: 0 kB
Active: 100652 kB
Inactive: 442648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1443320 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1776 kB
Writeback: 0 kB
Mapped: 26144 kB
Slab: 55268 kB
Committed_AS: 634424 kB
PageTables: 1456 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 node67 on Sat Jan 20 07:07:21 UTC 2007