0.09/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.12 c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.12 c See www.sat4j.org for details.
0.09/0.12 c That software uses the Rhino library from the Mozilla project.
0.09/0.14 c version 2.1.1.v20090622
0.09/0.14 c sun.arch.data.model 32
0.09/0.14 c java.version 1.6.0_12
0.09/0.14 c os.name Linux
0.09/0.14 c os.version 2.6.9-22.EL.rootsmp
0.09/0.14 c os.arch i386
0.09/0.14 c Free memory 671000808
0.09/0.14 c Max memory 672137216
0.09/0.14 c Total memory 672137216
0.09/0.14 c Number of processors 2
0.19/0.22 c c --- Begin Solver configuration ---
0.19/0.22 c Stops conflict analysis at the first Unique Implication Point
0.19/0.22 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.19/0.22 c Learn all clauses as in MiniSAT
0.19/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.19/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.19/0.22 c Expensive reason simplification
0.19/0.22 c MiniSAT restarts strategy
0.19/0.22 c Memory based learned constraints deletion strategy
0.19/0.22 c timeout=2147483s
0.19/0.22 c DB Simplification allowed=false
0.19/0.22 c --- End Solver configuration ---
0.19/0.22 c solving HOME/instance-2082724-1247375503.xml
0.19/0.22 c reading problem ...
0.39/0.46 c reading problem named null
0.39/0.46 c reading domains done.
0.39/0.48 c reading variables done.
0.69/0.76 c reading predicates done.
0.89/0.97 c reading constraints
26.99/27.08 c done with constraints.
26.99/27.08 c ... done. Wall clock time 26.859s.
26.99/27.08 c #vars 11260
26.99/27.08 c #constraints 190494
26.99/27.08 c constraints type
26.99/27.08 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 190154
26.99/27.08 c org.sat4j.minisat.constraints.card.AtLeast => 100
26.99/27.08 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240
41.28/41.38 c starts : 4
41.28/41.38 c conflicts : 803
41.28/41.38 c decisions : 5159
41.28/41.38 c propagations : 225264
41.28/41.38 c inspects : 7838628
41.28/41.38 c learnt literals : 0
41.28/41.38 c learnt binary clauses : 0
41.28/41.38 c learnt ternary clauses : 0
41.28/41.38 c learnt clauses : 803
41.28/41.38 c ignored clauses : 0
41.28/41.38 c root simplifications : 0
41.28/41.38 c removed literals (reason simplification) : 39243
41.28/41.38 c reason swapping (by a shorter reason) : 0
41.28/41.38 c Calls to reduceDB : 0
41.28/41.38 c speed (assignments/second) : 15752.727272727272
41.28/41.38 c non guided choices 2228
41.28/41.39 c learnt constraints type
41.28/41.39 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 803
41.28/41.39 c constraints type
41.28/41.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 190154
41.28/41.39 c org.sat4j.minisat.constraints.card.AtLeast => 100
41.28/41.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240
41.28/41.39 s SATISFIABLE
41.28/41.39 v 0 1 7 6 11 12 64 87 136 140 13 15 24 31 53 54 72 87 110 124 7 10 14 33 63 62 84 72 95 93 103 104 113 112 124 125 140 141 144 143 35 17 53 52 93 96 121 120 136 128 8 7 25 31 41 40 72 96 116 91 24 28 50 45 72 77 121 122 129 128 0 2 17 18 32 33 54 69 81 64 3 2 7 6 22 21 79 73 106 98 84 51 103 96 112 110 124 125 137 138
41.28/41.39 c Total wall clock time (in seconds) : 41.16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082724-1247375503/watcher-2082724-1247375503 -o /tmp/evaluation-result-2082724-1247375503/solver-2082724-1247375503 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2082724-1247375503.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: 2.00 2.01 2.00 4/81 25496
/proc/meminfo: memFree=1721544/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=152 CPUtime=0
/proc/25496/stat : 25496 (java) R 25494 25496 20729 0 -1 0 204 0 0 0 0 0 0 0 18 0 1 0 24616965 155648 26 996147200 134512640 134550932 4294956016 18446744073709551615 7860523 0 0 4096 0 0 0 0 17 0 0 0
/proc/25496/statm: 38 26 19 9 0 4 0
[startup+0.09839 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 25496
/proc/meminfo: memFree=1721544/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=804560 CPUtime=0.09
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 3063 0 1 0 7 2 0 0 18 0 12 0 24616965 823869440 2806 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 201140 2806 1083 9 0 198474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560
[startup+0.101392 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 25496
/proc/meminfo: memFree=1721544/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=804560 CPUtime=0.09
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 3075 0 1 0 7 2 0 0 18 0 12 0 24616965 823869440 2818 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 201140 2818 1083 9 0 198474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560
[startup+0.301411 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 25496
/proc/meminfo: memFree=1721544/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=805992 CPUtime=0.29
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 4452 0 1 0 26 3 0 0 18 0 12 0 24616965 825335808 4156 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 201498 4156 1365 9 0 198825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 805992
[startup+0.701449 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 25496
/proc/meminfo: memFree=1721544/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=807176 CPUtime=0.69
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 6258 0 1 0 64 5 0 0 18 0 12 0 24616965 826548224 5415 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 201794 5415 1385 9 0 199121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 807176
[startup+1.50253 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 25508
/proc/meminfo: memFree=1701096/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=810276 CPUtime=1.48
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 9583 0 1 0 141 7 0 0 18 0 12 0 24616965 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 202569 7593 1416 9 0 199896 0
[pid=25496/tid=25498] ppid=25494 vsize=810276 CPUtime=0.71
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 5523 0 1 0 66 5 0 0 25 0 12 0 24616966 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 24616967 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 24616967 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 24616969 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 24616969 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 24616969 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=810276 CPUtime=0.04
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 264 0 0 0 4 0 0 0 18 0 12 0 24616973 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=810276 CPUtime=0.71
/proc/25496/task/25506/stat : 25506 (java) R 25494 25496 20729 0 -1 64 3055 0 0 0 70 1 0 0 17 0 12 0 24616973 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 104139299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24616973 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=810276 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24616974 829722624 7593 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 810276
[startup+3.10268 s]
/proc/loadavg: 2.00 2.01 2.00 4/93 25508
/proc/meminfo: memFree=1688936/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815088 CPUtime=3.09
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 25039 0 1 0 294 15 0 0 18 0 12 0 24616965 834650112 20030 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203772 20031 1423 9 0 201099 0
[pid=25496/tid=25498] ppid=25494 vsize=815088 CPUtime=1.56
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 16688 0 1 0 145 11 0 0 25 0 12 0 24616966 834650112 20032 996147200 134512640 134550932 4294956016 18446744073709551615 4109777176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 24616967 834650112 20033 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 24616967 834650112 20034 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 3 0 0 0 0 0 0 0 17 0 12 0 24616969 834650112 20035 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 24616969 834650112 20037 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 24616969 834650112 20038 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 834650112 20039 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815088 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 12 0 24616973 834650112 20040 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815088 CPUtime=1.27
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6183 0 0 0 125 2 0 0 18 0 12 0 24616973 834650112 20042 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24616973 834650112 20043 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815088 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24616974 834650112 20044 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 815088
[startup+6.30199 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 25508
/proc/meminfo: memFree=1626408/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815056 CPUtime=6.3
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 31410 0 1 0 613 17 0 0 18 0 12 0 24616965 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203764 26369 1435 9 0 201091 0
[pid=25496/tid=25498] ppid=25494 vsize=815056 CPUtime=4.46
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17388 0 1 0 435 11 0 0 25 0 12 0 24616966 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4109524365 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815056 CPUtime=0.09
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 2956 0 0 0 9 0 0 0 17 0 12 0 24616967 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815056 CPUtime=0.07
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 2675 0 0 0 7 0 0 0 16 0 12 0 24616967 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815056 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 12 0 24616973 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815056 CPUtime=1.39
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6195 0 0 0 137 2 0 0 16 0 12 0 24616973 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24616973 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24616974 834617344 26369 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 815056
[startup+12.7026 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 25508
/proc/meminfo: memFree=1592232/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815056 CPUtime=12.7
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 39096 0 1 0 1250 20 0 0 18 0 12 0 24616965 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203764 34041 1435 9 0 201091 0
[pid=25496/tid=25498] ppid=25494 vsize=815056 CPUtime=10.6
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17406 0 1 0 1049 11 0 0 25 0 12 0 24616966 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4109610567 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815056 CPUtime=0.2
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 7516 0 0 0 19 1 0 0 16 0 12 0 24616967 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815056 CPUtime=0.14
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 5781 0 0 0 12 2 0 0 16 0 12 0 24616967 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815056 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 12 0 24616973 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815056 CPUtime=1.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6197 0 0 0 144 2 0 0 16 0 12 0 24616973 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24616973 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24616974 834617344 34041 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 815056
[startup+25.5028 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 25508
/proc/meminfo: memFree=1546216/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815056 CPUtime=25.49
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 50720 0 1 0 2523 26 0 0 18 0 12 0 24616965 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203764 45642 1436 9 0 201091 0
[pid=25496/tid=25498] ppid=25494 vsize=815056 CPUtime=22.86
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17436 0 1 0 2275 11 0 0 25 0 12 0 24616966 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4109753937 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815056 CPUtime=0.34
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 13669 0 0 0 30 4 0 0 16 0 12 0 24616967 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815056 CPUtime=0.27
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 11221 0 0 0 23 4 0 0 16 0 12 0 24616967 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 24616969 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24616969 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815056 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 834617344 45642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815056 CPUtime=0.23
################
# More data... #
################
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 24616974 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25509] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25509/stat : 25509 (java) S 25494 25496 20729 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 24619685 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 815380
[startup+39.9012 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 25509
/proc/meminfo: memFree=1520032/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815380 CPUtime=39.88
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 56686 0 1 0 3959 29 0 0 18 0 13 0 24616965 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203845 51600 1441 9 0 201172 0
[pid=25496/tid=25498] ppid=25494 vsize=815380 CPUtime=36.41
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17456 0 1 0 3629 12 0 0 25 0 13 0 24616966 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4110037197 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815380 CPUtime=0.39
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 16072 0 0 0 34 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815380 CPUtime=0.32
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 14736 0 0 0 27 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815380 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815380 CPUtime=2.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6221 0 0 0 243 3 0 0 15 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 24616974 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25509] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25509/stat : 25509 (java) S 25494 25496 20729 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 24619685 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (KiB) 815380
[startup+40.7063 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25509
/proc/meminfo: memFree=1520032/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815380 CPUtime=40.69
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 56686 0 1 0 4040 29 0 0 18 0 13 0 24616965 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203845 51600 1441 9 0 201172 0
[pid=25496/tid=25498] ppid=25494 vsize=815380 CPUtime=37.21
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17456 0 1 0 3709 12 0 0 25 0 13 0 24616966 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4110037672 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815380 CPUtime=0.39
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 16072 0 0 0 34 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815380 CPUtime=0.32
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 14736 0 0 0 27 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815380 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815380 CPUtime=2.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6221 0 0 0 243 3 0 0 15 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 24616974 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25509] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25509/stat : 25509 (java) S 25494 25496 20729 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 24619685 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.69
Current children cumulated vsize (KiB) 815380
[startup+41.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25509
/proc/meminfo: memFree=1520032/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815380 CPUtime=41.08
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 56686 0 1 0 4079 29 0 0 18 0 13 0 24616965 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203845 51600 1441 9 0 201172 0
[pid=25496/tid=25498] ppid=25494 vsize=815380 CPUtime=37.61
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17456 0 1 0 3749 12 0 0 25 0 13 0 24616966 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4109895647 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815380 CPUtime=0.39
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 16072 0 0 0 34 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815380 CPUtime=0.32
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 14736 0 0 0 27 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815380 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815380 CPUtime=2.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6221 0 0 0 243 3 0 0 15 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 24616974 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25509] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25509/stat : 25509 (java) S 25494 25496 20729 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 24619685 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.08
Current children cumulated vsize (KiB) 815380
[startup+41.3013 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25509
/proc/meminfo: memFree=1520032/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815380 CPUtime=41.28
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 56686 0 1 0 4099 29 0 0 18 0 13 0 24616965 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203845 51600 1441 9 0 201172 0
[pid=25496/tid=25498] ppid=25494 vsize=815380 CPUtime=37.81
/proc/25496/task/25498/stat : 25498 (java) R 25494 25496 20729 0 -1 64 17456 0 1 0 3769 12 0 0 25 0 13 0 24616966 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4109895736 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815380 CPUtime=0.39
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 16072 0 0 0 34 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815380 CPUtime=0.32
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 14736 0 0 0 27 5 0 0 17 0 13 0 24616967 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 24616969 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815380 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815380 CPUtime=2.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6221 0 0 0 243 3 0 0 15 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 24616973 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 24616974 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25509] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25509/stat : 25509 (java) S 25494 25496 20729 0 -1 64 5 0 0 0 0 0 0 0 23 0 13 0 24619685 834949120 51600 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.28
Current children cumulated vsize (KiB) 815380
[startup+41.4014 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 25509
/proc/meminfo: memFree=1520032/2055920 swapFree=4192812/4192956
[pid=25496] ppid=25494 vsize=815380 CPUtime=41.37
/proc/25496/stat : 25496 (java) S 25494 25496 20729 0 -1 0 56694 0 1 0 4108 29 0 0 18 0 12 0 24616965 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25496/statm: 203845 51607 1442 9 0 201172 0
[pid=25496/tid=25498] ppid=25494 vsize=815380 CPUtime=37.89
/proc/25496/task/25498/stat : 25498 (java) S 25494 25496 20729 0 -1 64 17460 0 1 0 3777 12 0 0 25 0 12 0 24616966 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25499] ppid=25494 vsize=815380 CPUtime=0.39
/proc/25496/task/25499/stat : 25499 (java) S 25494 25496 20729 0 -1 64 16072 0 0 0 34 5 0 0 17 0 12 0 24616967 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25500] ppid=25494 vsize=815380 CPUtime=0.32
/proc/25496/task/25500/stat : 25500 (java) S 25494 25496 20729 0 -1 64 14736 0 0 0 27 5 0 0 17 0 12 0 24616967 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25501] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25501/stat : 25501 (java) S 25494 25496 20729 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 24616969 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25502] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25502/stat : 25502 (java) S 25494 25496 20729 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 24616969 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25503] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25503/stat : 25503 (java) S 25494 25496 20729 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 24616969 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25504] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25504/stat : 25504 (java) S 25494 25496 20729 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 24616973 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25505] ppid=25494 vsize=815380 CPUtime=0.23
/proc/25496/task/25505/stat : 25505 (java) S 25494 25496 20729 0 -1 64 1429 0 0 0 23 0 0 0 16 0 12 0 24616973 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25506] ppid=25494 vsize=815380 CPUtime=2.46
/proc/25496/task/25506/stat : 25506 (java) S 25494 25496 20729 0 -1 64 6221 0 0 0 243 3 0 0 15 0 12 0 24616973 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25507] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25507/stat : 25507 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 24616973 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25496/tid=25508] ppid=25494 vsize=815380 CPUtime=0
/proc/25496/task/25508/stat : 25508 (java) S 25494 25496 20729 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 24616974 834949120 51607 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.37
Current children cumulated vsize (KiB) 815380
Child status: 0
Real time (s): 41.4395
CPU time (s): 41.4117
CPU user time (s): 41.0868
CPU system time (s): 0.32495
CPU usage (%): 99.933
Max. virtual memory (cumulated for all children) (KiB): 817224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.0868
system time used= 0.32495
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56697
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= 2457
involuntary context switches= 2489
runsolver used 0.043993 second user time and 0.155976 second system time
The end
Begin job on node18 at 2009-07-12 07:11:43
IDJOB=2082724
IDBENCH=57627
IDSOLVER=731
FILE ID=node18/2082724-1247375503
PBS_JOBID= 9507042
Free space on /tmp= 66308 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-10.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082724-1247375503/watcher-2082724-1247375503 -o /tmp/evaluation-result-2082724-1247375503/solver-2082724-1247375503 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2082724-1247375503.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 849189d0fe44cbb9e5489df72ee9e464
RANDOM SEED=1633728296
node18.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.243
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.243
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: 1722024 kB
Buffers: 45864 kB
Cached: 186764 kB
SwapCached: 0 kB
Active: 170600 kB
Inactive: 99448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1480 kB
Writeback: 0 kB
Mapped: 57880 kB
Slab: 49000 kB
Committed_AS: 229228 kB
PageTables: 1848 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= 66308 MiB
End job on node18 at 2009-07-12 07:12:25