0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15 c version CSP COMPETITION BUGFIX 3
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.21 c --- Begin Solver configuration ---
0.21 c Stops conflict analysis at the first Unique Implication Point
0.21 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.21 c Learn all clauses as in MiniSAT
0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.21 c VSIDS like heuristics from MiniSAT using a heap
0.21 c No reason simplification
0.21 c --- End Solver configuration ---
0.21 c solving /tmp/evaluation/252418-1168407450/unknown.xml
0.21 c reading problem ...
0.40 c reading problem named ?
0.40 c reading domains done.
0.40 c reading variables
c reading variables (14930) done.
3.18 c reading predicates
c reading relations (142) done.
3.73 c reading constraintsc starts : 0
1778.43 c conflicts : 0
1778.43 c decisions : 0
1778.43 c propagations : 0
1778.43 c inspects : 0
1778.43 c learnt literals : 0
1778.43 c learnt binary clauses : 0
1778.44 c learnt ternary clauses : 0
1778.44 c learnt clauses : 0
1778.44 c root simplifications : 0
1778.44 c removed literals (reason simplification) : 0
1778.44 c reason swapping (by a shorter reason) : 0
1778.44 c Calls to reduceDB : 0
1778.44 c speed (decisions/second) : 0.0
1778.44 c non guided choices 0
1778.44 s UNKNOWN
1778.44 c Total wall clock time (in seconds) : 1778.224
1778.44 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-252418-1168407450 -o ROOT/results/node48/solver-252418-1168407450 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252418-1168407450/sat4jCSP-bf3.jar /tmp/evaluation/252418-1168407450/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.93 1.99 1.98 2/68 26711
/proc/meminfo: memFree=1600608/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=292 CPUtime=0
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 189143770 299008 34 18446744073709551615 134512640 134570532 4294956656 18446744073709551615 3531613 0 0 4096 0 0 0 0 17 1 0 0
/proc/26710/statm: 73 35 27 14 0 5 0
[startup+0.102549 s]
/proc/loadavg: 1.93 1.99 1.98 2/68 26711
/proc/meminfo: memFree=1600608/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=901540 CPUtime=0.08
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 3352 0 1 0 7 1 0 0 24 0 12 0 189143770 923176960 3112 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26710/statm: 225385 3112 1566 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.514595 s]
/proc/loadavg: 1.93 1.99 1.98 2/68 26711
/proc/meminfo: memFree=1600608/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=906048 CPUtime=0.6
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 6101 0 1 0 56 4 0 0 19 0 12 0 189143770 927793152 5666 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26710/statm: 226512 5666 2298 14 0 212949 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 906048
[startup+1.33666 s]
/proc/loadavg: 1.93 1.99 1.98 5/84 26937
/proc/meminfo: memFree=1565344/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=906864 CPUtime=1.45
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 7412 0 1 0 140 5 0 0 23 0 12 0 189143770 928628736 6154 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054177016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 226716 6154 2309 14 0 213153 0
[pid=26710/tid=26712] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 189143773 928628736 6154 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26713] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 189143773 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 189143776 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26715] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 189143776 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26716] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 189143776 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26717] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 0 0 0 0 17 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=906864 CPUtime=0.29
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 751 0 0 0 29 0 0 0 16 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=906864 CPUtime=0.41
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 1257 0 0 0 41 0 0 0 16 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=906864 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 928628736 6155 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 906864
[startup+2.97382 s]
/proc/loadavg: 1.93 1.99 1.98 4/79 26948
/proc/meminfo: memFree=1578184/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912764 CPUtime=4.16
/proc/26710/stat : 26710 (java) S 26708 26710 26346 0 -1 0 33233 0 1 0 397 19 0 0 22 0 12 0 189143770 934670336 28854 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26710/statm: 228191 28856 2348 14 0 214628 0
[pid=26710/tid=26712] ppid=26708 vsize=912764 CPUtime=0.19
/proc/26710/task/26712/stat : 26712 (java) R 26708 26710 26346 0 -1 64 5854 0 0 0 17 2 0 0 18 0 12 0 189143773 934670336 28857 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154957982 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912764 CPUtime=0.19
/proc/26710/task/26713/stat : 26713 (java) R 26708 26710 26346 0 -1 64 3307 0 0 0 17 2 0 0 18 0 12 0 189143773 934670336 28858 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154955109 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 189143776 934670336 28859 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 189143776 934670336 28861 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 189143776 934670336 28862 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934670336 28863 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 189143780 934670336 28865 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912764 CPUtime=0.97
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 1849 0 0 0 96 1 0 0 17 0 12 0 189143780 934670336 28866 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912764 CPUtime=1.08
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 2508 0 0 0 108 0 0 0 16 0 12 0 189143780 934670336 28867 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934670336 28869 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912764 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934670336 28870 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 912764
[startup+6.1761 s]
/proc/loadavg: 1.86 1.97 1.98 3/80 27199
/proc/meminfo: memFree=1449856/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=8
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 43210 0 1 0 776 24 0 0 24 0 12 0 189143770 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054732152 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26710/statm: 228244 36737 2482 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=0.48
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 10393 0 0 0 44 4 0 0 17 0 12 0 189143773 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=0.48
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 6731 0 0 0 45 3 0 0 16 0 12 0 189143773 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 16 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.32
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2329 0 0 0 131 1 0 0 16 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.7
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3423 0 0 0 169 1 0 0 16 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 36737 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 912976
[startup+12.6747 s]
/proc/loadavg: 1.87 1.97 1.98 5/92 27225
/proc/meminfo: memFree=1400288/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=14.47
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 46382 0 1 0 1421 26 0 0 25 0 12 0 189143770 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054235737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 39894 2482 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=0.62
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 11498 0 0 0 57 5 0 0 16 0 12 0 189143773 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=0.61
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 8774 0 0 0 57 4 0 0 16 0 12 0 189143773 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.37
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2329 0 0 0 136 1 0 0 16 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.75
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3427 0 0 0 174 1 0 0 16 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 39894 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 912976
[startup+25.5219 s]
/proc/loadavg: 2.05 2.01 1.99 3/92 27225
/proc/meminfo: memFree=1320744/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=27.27
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 46728 0 1 0 2699 28 0 0 25 0 12 0 189143770 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054813641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 28426 2482 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=0.67
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 11657 0 0 0 62 5 0 0 16 0 12 0 189143773 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=0.66
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 8928 0 0 0 61 5 0 0 15 0 12 0 189143773 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 189143776 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.37
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2329 0 0 0 136 1 0 0 16 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.75
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3427 0 0 0 174 1 0 0 16 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 28426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.27
Current children cumulated vsize (KiB) 912976
[startup+51.1942 s]
/proc/loadavg: 2.82 2.18 2.05 3/92 27225
/proc/meminfo: memFree=844328/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=52.8
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 53289 0 1 0 5243 37 0 0 25 0 12 0 189143770 934887424 33733 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054813950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 33733 2482 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=0.76
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 12430 0 0 0 71 5 0 0 15 0 12 0 189143773 934887424 33733 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=0.77
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 9955 0 0 0 72 5 0 0 16 0 12 0 189143773 934887424 33733 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.03
################
# More data... #
################
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 87366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 87366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 87366 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1502.41
Current children cumulated vsize (KiB) 912976
[startup+1544.62 s]
/proc/loadavg: 1.05 1.02 1.22 2/76 27439
/proc/meminfo: memFree=1487688/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=1563.22
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 117648 0 1 0 156144 178 0 0 25 0 12 0 189143770 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054690320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 89382 2493 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=22.9
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 37931 0 0 0 2228 62 0 0 17 0 12 0 189143773 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=23.06
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 34804 0 0 0 2245 61 0 0 16 0 12 0 189143773 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.24
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 52 0 0 0 15 9 0 0 15 0 12 0 189143776 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.42
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2333 0 0 0 141 1 0 0 16 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 89382 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1563.22
Current children cumulated vsize (KiB) 912976
[startup+1604.71 s]
/proc/loadavg: 0.97 1.00 1.19 2/76 27439
/proc/meminfo: memFree=1473544/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=1624.13
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 121259 0 1 0 162228 185 0 0 18 0 12 0 189143770 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054235680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 92887 2493 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=24.37
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 39231 0 0 0 2371 66 0 0 16 0 12 0 189143773 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=24.49
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 37060 0 0 0 2385 64 0 0 17 0 12 0 189143773 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.26
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 52 0 0 0 16 10 0 0 16 0 12 0 189143776 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.42
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2333 0 0 0 141 1 0 0 16 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 92887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1624.13
Current children cumulated vsize (KiB) 912976
[startup+1664.81 s]
/proc/loadavg: 1.05 1.01 1.18 2/76 27439
/proc/meminfo: memFree=1467016/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=1684.95
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 122998 0 1 0 168303 192 0 0 18 0 12 0 189143770 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054814039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 94521 2493 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=25.84
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 40042 0 0 0 2515 69 0 0 17 0 12 0 189143773 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=25.89
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 37934 0 0 0 2523 66 0 0 16 0 12 0 189143773 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.26
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 52 0 0 0 16 10 0 0 15 0 12 0 189143776 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.42
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2333 0 0 0 141 1 0 0 16 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 94521 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1684.95
Current children cumulated vsize (KiB) 912976
[startup+1724.91 s]
/proc/loadavg: 1.02 1.01 1.17 2/76 27439
/proc/meminfo: memFree=1461384/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=1745.8
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 124485 0 1 0 174380 200 0 0 24 0 12 0 189143770 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054926311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 95929 2493 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=27.35
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 40587 0 0 0 2662 73 0 0 17 0 12 0 189143773 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=27.33
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 38821 0 0 0 2663 70 0 0 16 0 12 0 189143773 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.27
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 53 0 0 0 17 10 0 0 15 0 12 0 189143776 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.42
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2333 0 0 0 141 1 0 0 16 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 95929 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1745.8
Current children cumulated vsize (KiB) 912976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.43 s]
/proc/loadavg: 1.00 1.00 1.16 2/76 27439
/proc/meminfo: memFree=1452936/2055920 swapFree=4192812/4192956
[pid=26710] ppid=26708 vsize=912976 CPUtime=1800.04
/proc/26710/stat : 26710 (java) R 26708 26710 26346 0 -1 0 126729 0 1 0 179796 208 0 0 25 0 12 0 189143770 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054686197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26710/statm: 228244 98020 2493 14 0 214681 0
[pid=26710/tid=26712] ppid=26708 vsize=912976 CPUtime=28.71
/proc/26710/task/26712/stat : 26712 (java) S 26708 26710 26346 0 -1 64 41887 0 0 0 2794 77 0 0 16 0 12 0 189143773 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26713] ppid=26708 vsize=912976 CPUtime=28.67
/proc/26710/task/26713/stat : 26713 (java) S 26708 26710 26346 0 -1 64 39717 0 0 0 2793 74 0 0 16 0 12 0 189143773 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26714] ppid=26708 vsize=912976 CPUtime=0.27
/proc/26710/task/26714/stat : 26714 (java) S 26708 26710 26346 0 -1 64 53 0 0 0 17 10 0 0 15 0 12 0 189143776 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26715] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26715/stat : 26715 (java) S 26708 26710 26346 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26716] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26716/stat : 26716 (java) S 26708 26710 26346 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189143776 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26717] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26717/stat : 26717 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26718] ppid=26708 vsize=912976 CPUtime=0.01
/proc/26710/task/26718/stat : 26718 (java) S 26708 26710 26346 0 -1 64 24 0 0 0 1 0 0 0 17 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26710/tid=26719] ppid=26708 vsize=912976 CPUtime=1.42
/proc/26710/task/26719/stat : 26719 (java) S 26708 26710 26346 0 -1 64 2333 0 0 0 141 1 0 0 16 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26720] ppid=26708 vsize=912976 CPUtime=1.85
/proc/26710/task/26720/stat : 26720 (java) S 26708 26710 26346 0 -1 64 3435 0 0 0 184 1 0 0 16 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26721] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26721/stat : 26721 (java) S 26708 26710 26346 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26710/tid=26722] ppid=26708 vsize=912976 CPUtime=0
/proc/26710/task/26722/stat : 26722 (java) S 26708 26710 26346 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189143780 934887424 98020 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 912976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1778.55
CPU time (s): 1800.17
CPU user time (s): 1798.03
CPU system time (s): 2.14567
CPU usage (%): 101.216
Max. virtual memory (cumulated for all children) (KiB): 913504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.14567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126750
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= 61158
involuntary context switches= 50556
runsolver used 1.51477 s user time and 4.97124 s system time
The end
Begin job on node48 on Wed Jan 10 05:37:31 UTC 2007
IDJOB= 252418
IDBENCH= 12934
FILE ID= node48/252418-1168407450
PBS_JOBID= 3523389
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bmc/bmc-ibm-03-16.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252418-1168407450/sat4jCSP-bf3.jar /tmp/evaluation/252418-1168407450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-252418-1168407450 -o ROOT/results/node48/solver-252418-1168407450 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252418-1168407450/sat4jCSP-bf3.jar /tmp/evaluation/252418-1168407450/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= fb69a5b38671f27f173df738602f66d2
RANDOM SEED= 55669900
TIME LIMIT= 1800 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.218
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.218
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: 1601088 kB
Buffers: 51180 kB
Cached: 329076 kB
SwapCached: 0 kB
Active: 165076 kB
Inactive: 236316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1601088 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14300 kB
Writeback: 0 kB
Mapped: 31340 kB
Slab: 39196 kB
Committed_AS: 4658584 kB
PageTables: 1584 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= 66551 MiB
End job on node48 on Wed Jan 10 06:07:09 UTC 2007