0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1081392-1215216823.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.39/0.42 nbVariables=105 nbDomainTypes=2 minDomainSize=100 maxDomainSize=10000 nbTotalValues=60000
0.39/0.42 => wckTime=0.181 cpuTime=0.13 mem=8M934
0.39/0.42
0.39/0.42 predicates being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
20.51/20.75
20.51/20.75 INFO : Stopping converting binary constraints (cpu=20.06, mem = 45M550)
21.19/21.43 nbConstraints=5464 nbGlobalConstraints=4 nbConvertedConstraints=4375 nbConvertConstraintsChecks=59400000
21.19/21.43 nbExtensionStructures=157 nbSharedExtensionStructures=4218 nbConflictsStructures=198
21.19/21.43 nbSharedConflictsStructures=5038 nbUnbuiltConflictsStructures=45 nbSharedBinaryRepresentations=593916
21.19/21.43 nbEvaluationManagers=88 nbSharedEvaluationManagers=997 minDegree=105 maxDegree=107 minArity=2 avgArity=2.02
21.19/21.43 maxArity=100 nbGenerators=2 nbFusions=2 symmetryWckTime=0.491 symmetryCpuTime=0.26 nbCliques=2
21.19/21.43 => wckTime=21.195 cpuTime=20.44 mem=23M176
21.29/21.56
21.29/21.56 solver IterativeSystematicSolver being built...
21.40/21.67
21.40/21.67 INFO : Forward propagation technique limited
21.49/21.74 => wckTime=21.504 cpuTime=20.6 mem=57M93
280.08/281.66
280.08/281.66 preprocessing
280.08/281.67 nbConstraintChecks=302605886 nbValidityChecks=105648 nbPropagations=107 nbRevisions=623 nbUselessRevisions=619
280.08/281.67 nbRemovedValues=302 detectedInconsistency=no
280.08/281.67 => wckTime=259.919 cpuTime=258.59 mem=58M87
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081392-1215216823/watcher-1081392-1215216823 -o /tmp/evaluation-result-1081392-1215216823/solver-1081392-1215216823 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081392-1215216823.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 2015
/proc/meminfo: memFree=1721440/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=1616 CPUtime=0
/proc/2015/stat : 2015 (java) D 2013 2015 31598 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1551358509 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/2015/statm: 404 145 119 9 0 46 0
[startup+0.0940839 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 2015
/proc/meminfo: memFree=1721440/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=865884 CPUtime=0.08
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 3671 0 1 0 6 2 0 0 18 0 9 0 1551358509 886665216 3146 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216471 3146 1676 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.102086 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 2015
/proc/meminfo: memFree=1721440/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=865884 CPUtime=0.08
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 3746 0 1 0 6 2 0 0 18 0 9 0 1551358509 886665216 3204 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216471 3204 1699 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.302128 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 2015
/proc/meminfo: memFree=1721440/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=866196 CPUtime=0.28
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 5622 0 1 0 25 3 0 0 18 0 9 0 1551358509 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.702204 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 2015
/proc/meminfo: memFree=1721440/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=867684 CPUtime=0.68
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 8618 0 1 0 62 6 0 0 18 0 9 0 1551358509 888508416 7978 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216921 7978 2010 9 0 211427 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867684
[startup+1.50136 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2024
/proc/meminfo: memFree=1679712/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=867684 CPUtime=1.47
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 14109 0 1 0 137 10 0 0 18 0 9 0 1551358509 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216921 13466 2014 9 0 211427 0
[pid=2015/tid=2017] ppid=2013 vsize=867684 CPUtime=1.26
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 12726 0 1 0 118 8 0 0 25 0 9 0 1551358511 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 104688905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1551358512 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1551358512 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1551358512 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1551358514 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=867684 CPUtime=0.19
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 686 0 0 0 19 0 0 0 16 0 9 0 1551358514 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1551358514 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1551358514 888508416 13466 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867684
[startup+3.10167 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2024
/proc/meminfo: memFree=1674080/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=867684 CPUtime=3.06
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 15152 0 1 0 294 12 0 0 18 0 9 0 1551358509 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216921 14507 2014 9 0 211427 0
[pid=2015/tid=2017] ppid=2013 vsize=867684 CPUtime=2.82
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 13749 0 1 0 272 10 0 0 25 0 9 0 1551358511 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1551358512 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1551358512 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1551358512 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1551358514 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=867684 CPUtime=0.22
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 706 0 0 0 21 1 0 0 15 0 9 0 1551358514 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1551358514 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=867684 CPUtime=0
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1551358514 888508416 14507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867684
[startup+6.30127 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2024
/proc/meminfo: memFree=1664224/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=867596 CPUtime=6.24
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 19597 0 1 0 606 18 0 0 18 0 9 0 1551358509 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216899 18927 2005 9 0 211427 0
[pid=2015/tid=2017] ppid=2013 vsize=867596 CPUtime=5.91
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 15769 0 1 0 576 15 0 0 25 0 9 0 1551358511 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4126881076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=867596 CPUtime=0.07
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 2424 0 0 0 6 1 0 0 16 0 9 0 1551358512 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1551358512 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1551358512 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1551358514 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=867596 CPUtime=0.22
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 708 0 0 0 21 1 0 0 15 0 9 0 1551358514 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1551358514 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1551358514 888418304 18927 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867596
[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2024
/proc/meminfo: memFree=1652704/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=867596 CPUtime=12.57
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 19622 0 1 0 1234 23 0 0 18 0 9 0 1551358509 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 216899 18951 2005 9 0 211427 0
[pid=2015/tid=2017] ppid=2013 vsize=867596 CPUtime=12.23
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 15779 0 1 0 1203 20 0 0 25 0 9 0 1551358511 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 104096257 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=867596 CPUtime=0.07
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 2424 0 0 0 6 1 0 0 16 0 9 0 1551358512 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1551358512 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1551358512 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1551358514 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=867596 CPUtime=0.25
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 723 0 0 0 24 1 0 0 16 0 9 0 1551358514 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1551358514 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=867596 CPUtime=0
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1551358514 888418304 18951 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867596
[startup+25.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2029
/proc/meminfo: memFree=1627552/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=25.26
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40681 591 1 0 2482 37 6 1 18 0 9 0 1551358509 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25894 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=24.59
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25379 591 1 0 2423 29 6 1 25 0 9 0 1551358511 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 104689862 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.41
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 937 591 0 0 33 1 6 1 16 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868008
[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 2029
/proc/meminfo: memFree=1627424/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=50.71
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40681 591 1 0 5027 37 6 1 18 0 9 0 1551358509 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25894 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=50.04
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25379 591 1 0 4968 29 6 1 25 0 9 0 1551358511 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 104689591 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.41
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 937 591 0 0 33 1 6 1 16 0 9 0 1551358514 888840192 25894 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
################
# More data... #
################
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.43
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 962 591 0 0 35 1 6 1 17 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.13
Current children cumulated vsize (KiB) 868008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 2135
/proc/meminfo: memFree=1430544/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1598.07
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 159757 43 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1597.38
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 159695 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4126877767 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.07
Current children cumulated vsize (KiB) 868008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 2135
/proc/meminfo: memFree=1430544/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1658.01
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 165751 43 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1657.32
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 165689 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4127077035 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.01
Current children cumulated vsize (KiB) 868008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 2135
/proc/meminfo: memFree=1430544/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1717.97
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 171746 44 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1717.27
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 171684 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4126873092 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.97
Current children cumulated vsize (KiB) 868008
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 2135
/proc/meminfo: memFree=1430416/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1777.91
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 177740 44 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1777.21
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 177678 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4126874104 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.91
Current children cumulated vsize (KiB) 868008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 2135
/proc/meminfo: memFree=1430416/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1800.1
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 179959 44 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1799.4
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 179897 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4127136624 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 868008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 2135
/proc/meminfo: memFree=1430416/2055920 swapFree=4114104/4192956
[pid=2015] ppid=2013 vsize=868008 CPUtime=1800.1
/proc/2015/stat : 2015 (java) S 2013 2015 31598 0 -1 0 40718 591 1 0 179959 44 6 1 18 0 9 0 1551358509 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2015/statm: 217002 25910 2638 9 0 211508 0
[pid=2015/tid=2017] ppid=2013 vsize=868008 CPUtime=1799.4
/proc/2015/task/2017/stat : 2017 (java) R 2013 2015 31598 0 -1 64 25389 591 1 0 179897 36 6 1 25 0 9 0 1551358511 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4127136624 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2018] ppid=2013 vsize=868008 CPUtime=0.36
/proc/2015/task/2018/stat : 2018 (java) S 2013 2015 31598 0 -1 64 13512 591 0 0 25 4 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2019] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2019/stat : 2019 (java) S 2013 2015 31598 0 -1 64 17 591 0 0 0 0 6 1 16 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2020] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2020/stat : 2020 (java) S 2013 2015 31598 0 -1 64 16 591 0 0 0 0 6 1 15 0 9 0 1551358512 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2021] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2021/stat : 2021 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 18 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2022] ppid=2013 vsize=868008 CPUtime=0.44
/proc/2015/task/2022/stat : 2022 (java) S 2013 2015 31598 0 -1 64 964 591 0 0 36 1 6 1 16 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2015/tid=2023] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2023/stat : 2023 (java) S 2013 2015 31598 0 -1 64 1 591 0 0 0 0 6 1 19 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2015/tid=2024] ppid=2013 vsize=868008 CPUtime=0.07
/proc/2015/task/2024/stat : 2024 (java) S 2013 2015 31598 0 -1 64 7 591 0 0 0 0 6 1 15 0 9 0 1551358514 888840192 25910 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 868008
Child status: 143
Real time (s): 1804.58
CPU time (s): 1800.19
CPU user time (s): 1799.71
CPU system time (s): 0.475927
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 868008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41341
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= 38168
involuntary context switches= 25978
runsolver used 2.30365 second user time and 5.9141 second system time
The end
Begin job on node9 at 2008-07-05 02:13:43
IDJOB=1081392
IDBENCH=57095
IDSOLVER=364
FILE ID=node9/1081392-1215216823
PBS_JOBID= 7881686
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-100-5-mul.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081392-1215216823/watcher-1081392-1215216823 -o /tmp/evaluation-result-1081392-1215216823/solver-1081392-1215216823 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1081392-1215216823.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 368c4b39c2d9adff7fe3e26447d96356
RANDOM SEED=407157978
node9.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.265
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 : 5931.00
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.265
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: 1721920 kB
Buffers: 27756 kB
Cached: 145800 kB
SwapCached: 73012 kB
Active: 207764 kB
Inactive: 72464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1721920 kB
SwapTotal: 4192956 kB
SwapFree: 4114104 kB
Dirty: 2700 kB
Writeback: 0 kB
Mapped: 113748 kB
Slab: 38952 kB
Committed_AS: 3020972 kB
PageTables: 1968 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= 66544 MiB
End job on node9 at 2008-07-05 02:43:49