0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2098491-1247415702.xml
0.28/0.37
0.28/0.37 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.37/0.40 nbVariables=25 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=125
0.37/0.40 => wckTime=0.153 cpuTime=0.1 mem=7M892
0.37/0.40
0.37/0.40 relations being loaded...
3.83/3.94
3.83/3.94 INFO : Contraction of relations, mem = 105M829
6.00/6.19
6.00/6.19 constraints being loaded...
9.57/9.78 nbConstraints=56 nbRelationTypes=56 nbGlobalConstraints=56 nbExtensionStructures=56
9.57/9.78 nbSharedExtensionStructures=0 nbConflictsStructures=56 nbSharedConflictsStructures=0
9.57/9.79 nbSharedBinaryRepresentations=0 minDegree=11 maxDegree=24 minArity=7 maxArity=7 nbGenerators=0 nbFusions=0
9.57/9.79 symmetryWckTime=0.082 symmetryCpuTime=0.02
9.57/9.79 => wckTime=9.538 cpuTime=8.11 mem=174M163
10.25/10.41
10.25/10.41 solver IterativeSystematicSolver being built...
10.25/10.48
10.25/10.48 INFO : Forward propagation technique limited
10.35/10.55 => wckTime=10.307 cpuTime=8.23 mem=180M574
10.65/10.87
10.65/10.87 preprocessing
10.65/10.87 nbConstraintChecks=0 nbValidityChecks=2239460 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0
10.65/10.87 nbRemovedValues=0 detectedInconsistency=no
10.65/10.87 => wckTime=0.319 cpuTime=0.31 mem=180M574
12.33/12.51
12.33/12.51 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M555)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098491-1247415702/watcher-2098491-1247415702 -o /tmp/evaluation-result-2098491-1247415702/solver-2098491-1247415702 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098491-1247415702.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 1.80 1.95 1.98 4/80 946
/proc/meminfo: memFree=1664560/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=18576 CPUtime=0
/proc/946/stat : 946 (runsolver) R 944 946 909 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28636809 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/946/statm: 4644 284 249 26 0 2626 0
[startup+0.070778 s]
/proc/loadavg: 1.80 1.95 1.98 4/80 946
/proc/meminfo: memFree=1664560/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=864024 CPUtime=0.05
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 2826 0 1 0 4 1 0 0 18 0 9 0 28636809 884760576 2360 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216006 2360 1118 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.102776 s]
/proc/loadavg: 1.80 1.95 1.98 4/80 946
/proc/meminfo: memFree=1664560/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=865984 CPUtime=0.09
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 3721 0 1 0 7 2 0 0 18 0 9 0 28636809 886767616 3189 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216496 3189 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.3028 s]
/proc/loadavg: 1.80 1.95 1.98 4/80 946
/proc/meminfo: memFree=1664560/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=866144 CPUtime=0.28
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 5660 0 1 0 25 3 0 0 18 0 9 0 28636809 886931456 5063 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216536 5063 1927 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866144
[startup+0.702849 s]
/proc/loadavg: 1.80 1.95 1.98 4/80 946
/proc/meminfo: memFree=1664560/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=866500 CPUtime=0.67
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 11744 0 1 0 60 7 0 0 18 0 9 0 28636809 887296000 11106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216625 11106 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866500
[startup+1.50193 s]
/proc/loadavg: 1.80 1.95 1.98 3/89 955
/proc/meminfo: memFree=1597288/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=866632 CPUtime=1.46
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 23142 0 1 0 133 13 0 0 18 0 9 0 28636809 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216658 22500 2012 9 0 211116 0
[pid=946/tid=948] ppid=944 vsize=866632 CPUtime=1.28
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 15708 0 1 0 119 9 0 0 25 0 9 0 28636811 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4126555735 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=866632 CPUtime=0.09
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 6401 0 0 0 7 2 0 0 16 0 9 0 28636813 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28636813 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28636813 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28636815 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=866632 CPUtime=0.06
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 331 0 0 0 6 0 0 0 16 0 9 0 28636815 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28636815 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28636815 887431168 22500 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866632
[startup+3.10111 s]
/proc/loadavg: 1.80 1.95 1.98 3/89 955
/proc/meminfo: memFree=1573608/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=866632 CPUtime=3.03
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 29611 0 1 0 287 16 0 0 18 0 9 0 28636809 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216658 28966 2012 9 0 211116 0
[pid=946/tid=948] ppid=944 vsize=866632 CPUtime=2.69
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 15711 0 1 0 259 10 0 0 25 0 9 0 28636811 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4126586892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=866632 CPUtime=0.23
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 12860 0 0 0 19 4 0 0 16 0 9 0 28636813 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28636813 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28636813 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28636815 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=866632 CPUtime=0.07
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 338 0 0 0 7 0 0 0 16 0 9 0 28636815 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28636815 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=866632 CPUtime=0
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28636815 887431168 28966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 866632
[startup+6.30246 s]
/proc/loadavg: 1.81 1.95 1.98 3/89 955
/proc/meminfo: memFree=1537192/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867164 CPUtime=6.21
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 35659 0 1 0 600 21 0 0 18 0 9 0 28636809 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216791 34348 2633 9 0 211249 0
[pid=946/tid=948] ppid=944 vsize=867164 CPUtime=5.4
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 15763 0 1 0 528 12 0 0 25 0 9 0 28636811 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4126727573 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=867164 CPUtime=0.66
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 18712 0 0 0 59 7 0 0 16 0 9 0 28636813 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=867164 CPUtime=0
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28636813 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867164 CPUtime=0
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28636813 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867164 CPUtime=0
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28636815 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867164 CPUtime=0.11
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 482 0 0 0 11 0 0 0 16 0 9 0 28636815 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867164 CPUtime=0
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28636815 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867164 CPUtime=0
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28636815 887975936 34348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867164
[startup+12.7012 s]
/proc/loadavg: 1.91 1.97 1.99 3/89 959
/proc/meminfo: memFree=1434728/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=12.53
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 94938 276 1 0 1210 41 0 2 18 0 9 0 28636809 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59950 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=10.51
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 21526 276 1 0 1035 14 0 2 25 0 9 0 28636811 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4126709837 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 17 0 9 0 28636813 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.26
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 665 276 0 0 24 0 0 2 15 0 9 0 28636815 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59950 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867576
[startup+25.5026 s]
/proc/loadavg: 1.93 1.97 1.99 3/89 959
/proc/meminfo: memFree=1434792/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=25.22
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 94983 276 1 0 2479 41 0 2 18 0 9 0 28636809 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59966 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=23.15
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 21551 276 1 0 2299 14 0 2 25 0 9 0 28636811 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4126874245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.3
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 685 276 0 0 28 0 0 2 16 0 9 0 28636815 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59966 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867576
[startup+51.1024 s]
/proc/loadavg: 1.95 1.97 1.99 3/89 959
/proc/meminfo: memFree=1434792/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=50.56
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 95028 276 1 0 5013 41 0 2 18 0 9 0 28636809 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59968 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=48.49
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 21592 276 1 0 4833 14 0 2 25 0 9 0 28636811 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4126874386 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 689 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59968 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.13
Current children cumulated vsize (KiB) 867576
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1504
/proc/meminfo: memFree=1516632/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1588.03
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97368 276 1 0 158750 51 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1585.95
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 23931 276 1 0 158569 24 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126874386 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.03
Current children cumulated vsize (KiB) 867576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 1543
/proc/meminfo: memFree=1516504/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1647.99
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97475 276 1 0 164746 51 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1645.93
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 24038 276 1 0 164566 25 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126874386 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.99
Current children cumulated vsize (KiB) 867576
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 1816
/proc/meminfo: memFree=1517328/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1707.89
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97578 276 1 0 170734 53 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1705.83
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 24141 276 1 0 170554 27 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126863497 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.89
Current children cumulated vsize (KiB) 867576
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/89 1861
/proc/meminfo: memFree=1516240/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1767.86
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97677 276 1 0 176730 54 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1765.78
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 24240 276 1 0 176549 27 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126874229 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.86
Current children cumulated vsize (KiB) 867576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 1861
/proc/meminfo: memFree=1516304/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1800.05
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97734 276 1 0 179948 55 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1797.98
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 24297 276 1 0 179768 28 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126874229 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 867576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 1861
/proc/meminfo: memFree=1516304/2055920 swapFree=4192812/4192956
[pid=946] ppid=944 vsize=867576 CPUtime=1800.05
/proc/946/stat : 946 (java) S 944 946 909 0 -1 0 97734 276 1 0 179948 55 0 2 18 0 9 0 28636809 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/946/statm: 216894 59969 2661 9 0 211330 0
[pid=946/tid=948] ppid=944 vsize=867576 CPUtime=1797.98
/proc/946/task/948/stat : 948 (java) R 944 946 909 0 -1 64 24297 276 1 0 179768 28 0 2 25 0 9 0 28636811 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4126874229 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=949] ppid=944 vsize=867576 CPUtime=1.75
/proc/946/task/949/stat : 949 (java) S 944 946 909 0 -1 64 71886 276 0 0 150 23 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=946/tid=950] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/950/stat : 950 (java) S 944 946 909 0 -1 64 22 276 0 0 0 0 0 2 17 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=951] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/951/stat : 951 (java) S 944 946 909 0 -1 64 14 276 0 0 0 0 0 2 16 0 9 0 28636813 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=952] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/952/stat : 952 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 18 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=953] ppid=944 vsize=867576 CPUtime=0.31
/proc/946/task/953/stat : 953 (java) S 944 946 909 0 -1 64 690 276 0 0 29 0 0 2 16 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=954] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/954/stat : 954 (java) S 944 946 909 0 -1 64 1 276 0 0 0 0 0 2 19 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=946/tid=955] ppid=944 vsize=867576 CPUtime=0.02
/proc/946/task/955/stat : 955 (java) S 944 946 909 0 -1 64 11 276 0 0 0 0 0 2 15 0 9 0 28636815 888397824 59969 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 867576
Child status: 143
Real time (s): 1814.6
CPU time (s): 1800.16
CPU user time (s): 1799.55
CPU system time (s): 0.612906
CPU usage (%): 99.2046
Max. virtual memory (cumulated for all children) (KiB): 868168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.612906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98044
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= 38067
involuntary context switches= 76264
runsolver used 2.57561 second user time and 5.69013 second system time
The end
Begin job on node35 at 2009-07-12 18:21:44
IDJOB=2098491
IDBENCH=58694
IDSOLVER=773
FILE ID=node35/2098491-1247415702
PBS_JOBID= 9510685
Free space on /tmp= 66276 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098491-1247415702/watcher-2098491-1247415702 -o /tmp/evaluation-result-2098491-1247415702/solver-2098491-1247415702 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098491-1247415702.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e314bdf1882217984545160cbeb01d02
RANDOM SEED=1278776110
node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.213
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.213
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: 1665040 kB
Buffers: 41448 kB
Cached: 161804 kB
SwapCached: 0 kB
Active: 252444 kB
Inactive: 83420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 32808 kB
Writeback: 0 kB
Mapped: 153076 kB
Slab: 40120 kB
Committed_AS: 1035532 kB
PageTables: 2040 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= 66272 MiB
End job on node35 at 2009-07-12 18:52:01