0.28/0.31 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.28/0.31 c This is free software under the dual EPL/GNU LGPL licenses.
0.28/0.31 c See www.sat4j.org for details.
0.28/0.31 c That software uses the Rhino library from the Mozilla project.
0.28/0.36 c version 9.9.9.token
0.28/0.37 c sun.arch.data.model 32
0.28/0.37 c java.version 1.6.0_06
0.28/0.37 c os.name Linux
0.28/0.37 c os.version 2.6.9-22.EL.rootsmp
0.28/0.37 c os.arch i386
0.28/0.37 c Free memory 669864272
0.28/0.37 c Max memory 672137216
0.28/0.37 c Total memory 672137216
0.28/0.37 c Number of processors 2
0.38/0.41 c c --- Begin Solver configuration ---
0.38/0.41 c Stops conflict analysis at the first Unique Implication Point
0.38/0.41 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.38/0.41 c Learn all clauses as in MiniSAT
0.38/0.41 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.38/0.41 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.38/0.41 c Expensive reason simplification
0.38/0.41 c MiniSAT restarts strategy
0.38/0.41 c timeout=2147483s
0.38/0.41 c DB Simplification allowed=false
0.38/0.41 c --- End Solver configuration ---
0.38/0.41 c solving HOME/instance-1062466-1215135188.xml
0.38/0.41 c reading problem ...
0.58/0.69 c reading problem named null
0.58/0.69 c reading domains done.
0.58/0.69 c reading variables done.
0.78/0.81 c reading predicates done.
0.97/1.00 c reading constraints
9.90/10.04 c done with constraints.
9.90/10.04 c ... done. Wall clock time 9.631s.
9.90/10.04 c #vars 588
9.90/10.04 c #constraints 231644
9.90/10.05 c constraints type
9.90/10.05 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 231350
9.90/10.05 c org.sat4j.minisat.constraints.card.AtLeast => 294
786.04/793.83 c starts : 19
786.04/793.83 c conflicts : 436498
786.04/793.83 c decisions : 470218
786.04/793.83 c propagations : 13628232
786.04/793.83 c inspects : 2575602940
786.04/793.83 c learnt literals : 0
786.04/793.83 c learnt binary clauses : 376
786.04/793.83 c learnt ternary clauses : 1166
786.04/793.83 c learnt clauses : 436498
786.04/793.83 c ignored clauses : 0
786.04/793.83 c root simplifications : 0
786.04/793.83 c removed literals (reason simplification) : 5243685
786.04/793.83 c reason swapping (by a shorter reason) : 0
786.04/793.83 c Calls to reduceDB : 0
786.04/793.83 c speed (assignments/second) : 17387.783848059793
786.04/793.83 c non guided choices 3561
786.04/793.83 s SATISFIABLE
786.04/793.83 v 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0
786.04/793.83 c Total wall clock time (in seconds) : 793.028
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062466-1215135188/watcher-1062466-1215135188 -o /tmp/evaluation-result-1062466-1215135188/solver-1062466-1215135188 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1062466-1215135188.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.15 2.05 4/84 4562
/proc/meminfo: memFree=1498632/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=1804 CPUtime=0
/proc/4562/stat : 4562 (java6) D 4560 4562 3150 0 -1 0 186 0 0 0 0 0 0 0 18 0 1 0 1992491065 1847296 158 996147200 134512640 134550740 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099785718 0 0 17 0 0 0
/proc/4562/statm: 451 158 114 9 0 93 0
[startup+0.0903391 s]
/proc/loadavg: 2.24 2.15 2.05 4/84 4562
/proc/meminfo: memFree=1498632/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=802236 CPUtime=0.08
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 2877 0 1 0 6 2 0 0 18 0 7 0 1992491065 821489664 2612 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 200559 2612 1014 9 0 197942 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 802236
[startup+0.101339 s]
/proc/loadavg: 2.24 2.15 2.05 4/84 4562
/proc/meminfo: memFree=1498632/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=804612 CPUtime=0.09
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 2998 0 1 0 7 2 0 0 18 0 12 0 1992491065 823922688 2731 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 201153 2731 1048 9 0 198522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804612
[startup+0.301377 s]
/proc/loadavg: 2.24 2.15 2.05 4/84 4562
/proc/meminfo: memFree=1498632/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=808244 CPUtime=0.28
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 4924 0 1 0 25 3 0 0 18 0 12 0 1992491065 827641856 4251 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 202061 4251 1297 9 0 199430 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 808244
[startup+0.701449 s]
/proc/loadavg: 2.24 2.15 2.05 4/84 4562
/proc/meminfo: memFree=1498632/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=808272 CPUtime=0.68
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 6343 0 1 0 63 5 0 0 18 0 12 0 1992491065 827670528 5471 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 202068 5471 1335 9 0 199430 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 808272
[startup+1.5026 s]
/proc/loadavg: 2.24 2.15 2.05 3/96 4574
/proc/meminfo: memFree=1478432/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=815508 CPUtime=1.47
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 10494 0 1 0 140 7 0 0 18 0 12 0 1992491065 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 203877 8173 1350 9 0 201239 0
[pid=4562/tid=4564] ppid=4560 vsize=815508 CPUtime=0.77
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 4801 0 1 0 73 4 0 0 19 0 12 0 1992491066 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4109211756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4565] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1992491067 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4566] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 1992491067 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4567] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 16 0 12 0 1992491069 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4568] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 1992491069 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 1992491069 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1992491074 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=815508 CPUtime=0.47
/proc/4562/task/4571/stat : 4571 (java) R 4560 4562 3150 0 -1 64 3764 0 0 0 46 1 0 0 18 0 12 0 1992491074 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 105840003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4572] ppid=4560 vsize=815508 CPUtime=0.2
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1167 0 0 0 20 0 0 0 16 0 12 0 1992491074 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4573] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1992491074 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=815508 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1992491074 835080192 8173 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 815508
[startup+3.10291 s]
/proc/loadavg: 2.24 2.15 2.05 4/96 4574
/proc/meminfo: memFree=1468000/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=814812 CPUtime=3.06
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 17687 0 1 0 295 11 0 0 18 0 12 0 1992491065 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 203703 14677 1382 9 0 201065 0
[pid=4562/tid=4564] ppid=4560 vsize=814812 CPUtime=1.51
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 11248 0 1 0 144 7 0 0 25 0 12 0 1992491066 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4565] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1992491067 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4566] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 1992491067 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4567] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 1992491069 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4568] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 1992491069 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 1992491069 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1992491074 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=814812 CPUtime=0.82
/proc/4562/task/4571/stat : 4571 (java) R 4560 4562 3150 0 -1 64 4281 0 0 0 81 1 0 0 16 0 12 0 1992491074 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 106080089 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4572] ppid=4560 vsize=814812 CPUtime=0.68
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1395 0 0 0 68 0 0 0 16 0 12 0 1992491074 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4573] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1992491074 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=814812 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1992491074 834367488 14677 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 814812
[startup+6.3015 s]
/proc/loadavg: 2.30 2.17 2.06 3/96 4574
/proc/meminfo: memFree=1412384/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=819748 CPUtime=6.23
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 29900 0 1 0 605 18 0 0 18 0 12 0 1992491065 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 204937 24779 1389 9 0 202299 0
[pid=4562/tid=4564] ppid=4560 vsize=819748 CPUtime=3.49
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17277 0 1 0 339 10 0 0 25 0 12 0 1992491066 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4109897708 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4565] ppid=4560 vsize=819748 CPUtime=0.04
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 1384 0 0 0 4 0 0 0 16 0 12 0 1992491067 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4566] ppid=4560 vsize=819748 CPUtime=0.03
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 1367 0 0 0 3 0 0 0 16 0 12 0 1992491067 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4567] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 55 0 0 0 0 0 0 0 16 0 12 0 1992491069 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4568] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 1992491069 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 1992491069 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 1992491074 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=819748 CPUtime=1.8
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7601 0 0 0 177 3 0 0 21 0 12 0 1992491074 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4572] ppid=4560 vsize=819748 CPUtime=0.79
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1454 0 0 0 79 0 0 0 16 0 12 0 1992491074 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4573] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 1992491074 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=819748 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1992491074 839421952 24779 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 819748
[startup+12.7027 s]
/proc/loadavg: 2.27 2.16 2.06 3/97 4575
/proc/meminfo: memFree=1368480/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=12.6
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 38812 0 1 0 1238 22 0 0 18 0 13 0 1992491065 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 33681 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=8.76
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17301 0 1 0 865 11 0 0 25 0 13 0 1992491066 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=0.34
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 6015 0 0 0 32 2 0 0 16 0 13 0 1992491067 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=0.32
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 5560 0 0 0 30 2 0 0 17 0 13 0 1992491067 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 0 0 0 0 17 0 13 0 1992491069 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.03
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 200 3 0 0 16 0 13 0 1992491074 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4572/stat : 4572 (java) R 4560 4562 3150 0 -1 64 1477 0 0 0 108 0 0 0 16 0 13 0 1992491074 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 105835860 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4575] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4575/stat : 4575 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 1992492070 839753728 33681 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 820072
[startup+25.5011 s]
/proc/loadavg: 2.21 2.16 2.05 3/97 4575
/proc/meminfo: memFree=1365408/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=25.38
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 39584 0 1 0 2516 22 0 0 18 0 13 0 1992491065 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 34452 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=21.43
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17302 0 1 0 2132 11 0 0 25 0 13 0 1992491066 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4110043679 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=0.39
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 6747 0 0 0 36 3 0 0 17 0 13 0 1992491067 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=0.36
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 5599 0 0 0 34 2 0 0 17 0 13 0 1992491067 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 34452 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/loadavg: 2.18 2.18 2.07 3/87 4696
/proc/meminfo: memFree=160824/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=779.35
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 62591 0 1 0 77883 52 0 0 18 0 13 0 1992491065 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 56555 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=774
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17306 0 1 0 77370 30 0 0 25 0 13 0 1992491066 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4110055328 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 17086 0 0 0 101 7 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=1.05
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 18263 0 0 0 97 8 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0.01
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 1 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.04
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 201 3 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.09
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1477 0 0 0 109 0 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4575] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4575/stat : 4575 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 1992492070 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 779.35
Current children cumulated vsize (KiB) 820072
[startup+790.303 s]
/proc/loadavg: 2.17 2.17 2.07 3/87 4696
/proc/meminfo: memFree=148280/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=782.55
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 62591 0 1 0 78203 52 0 0 18 0 13 0 1992491065 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 56555 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=777.2
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17306 0 1 0 77690 30 0 0 25 0 13 0 1992491066 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4110043679 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 17086 0 0 0 101 7 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=1.05
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 18263 0 0 0 97 8 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0.01
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 1 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.04
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 201 3 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.09
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1477 0 0 0 109 0 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4575] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4575/stat : 4575 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 1992492070 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 782.55
Current children cumulated vsize (KiB) 820072
[startup+791.901 s]
/proc/loadavg: 2.17 2.17 2.07 3/87 4696
/proc/meminfo: memFree=139960/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=784.15
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 62591 0 1 0 78363 52 0 0 18 0 13 0 1992491065 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 56555 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=778.8
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17306 0 1 0 77850 30 0 0 25 0 13 0 1992491066 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4110043679 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 17086 0 0 0 101 7 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=1.05
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 18263 0 0 0 97 8 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0.01
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 1 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.04
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 201 3 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.09
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1477 0 0 0 109 0 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4575] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4575/stat : 4575 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 1992492070 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 784.15
Current children cumulated vsize (KiB) 820072
[startup+792.701 s]
/proc/loadavg: 2.17 2.17 2.07 3/87 4696
/proc/meminfo: memFree=139960/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=784.94
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 62591 0 1 0 78442 52 0 0 18 0 13 0 1992491065 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 56555 1396 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=779.6
/proc/4562/task/4564/stat : 4564 (java) R 4560 4562 3150 0 -1 64 17306 0 1 0 77930 30 0 0 25 0 13 0 1992491066 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4110055168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4565/stat : 4565 (java) S 4560 4562 3150 0 -1 64 17086 0 0 0 101 7 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=1.05
/proc/4562/task/4566/stat : 4566 (java) S 4560 4562 3150 0 -1 64 18263 0 0 0 97 8 0 0 18 0 13 0 1992491067 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0.01
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 1 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.04
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 201 3 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.09
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1477 0 0 0 109 0 0 0 16 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4575] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4575/stat : 4575 (java) S 4560 4562 3150 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 1992492070 839753728 56555 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 784.94
Current children cumulated vsize (KiB) 820072
[startup+793.501 s]
/proc/loadavg: 2.17 2.17 2.07 3/87 4696
/proc/meminfo: memFree=135672/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=820072 CPUtime=785.74
/proc/4562/stat : 4562 (java) S 4560 4562 3150 0 -1 0 62596 0 1 0 78522 52 0 0 18 0 13 0 1992491065 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4562/statm: 205018 56558 1397 9 0 202380 0
[pid=4562/tid=4564] ppid=4560 vsize=820072 CPUtime=780.34
/proc/4562/task/4564/stat : 4564 (java) S 4560 4562 3150 0 -1 64 17307 0 1 0 78004 30 0 0 25 0 13 0 1992491066 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4565] ppid=4560 vsize=820072 CPUtime=1.11
/proc/4562/task/4565/stat : 4565 (java) R 4560 4562 3150 0 -1 64 17086 0 0 0 104 7 0 0 16 0 13 0 1992491067 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 104145927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4566] ppid=4560 vsize=820072 CPUtime=1.08
/proc/4562/task/4566/stat : 4566 (java) R 4560 4562 3150 0 -1 64 18263 0 0 0 100 8 0 0 17 0 13 0 1992491067 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 104145927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4567] ppid=4560 vsize=820072 CPUtime=0.01
/proc/4562/task/4567/stat : 4567 (java) S 4560 4562 3150 0 -1 64 82 0 0 0 1 0 0 0 15 0 13 0 1992491069 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4568] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4568/stat : 4568 (java) S 4560 4562 3150 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4569] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4569/stat : 4569 (java) S 4560 4562 3150 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 1992491069 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4570] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4570/stat : 4570 (java) S 4560 4562 3150 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 1992491074 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4571] ppid=4560 vsize=820072 CPUtime=2.04
/proc/4562/task/4571/stat : 4571 (java) S 4560 4562 3150 0 -1 64 7611 0 0 0 201 3 0 0 16 0 13 0 1992491074 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4572] ppid=4560 vsize=820072 CPUtime=1.09
/proc/4562/task/4572/stat : 4572 (java) S 4560 4562 3150 0 -1 64 1477 0 0 0 109 0 0 0 16 0 13 0 1992491074 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4562/tid=4573] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4573/stat : 4573 (java) S 4560 4562 3150 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 1992491074 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4562/tid=4574] ppid=4560 vsize=820072 CPUtime=0
/proc/4562/task/4574/stat : 4574 (java) S 4560 4562 3150 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 1992491074 839753728 56558 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 785.74
Current children cumulated vsize (KiB) 820072
[startup+793.901 s]
/proc/loadavg: 2.17 2.17 2.07 3/87 4696
/proc/meminfo: memFree=135672/2055920 swapFree=4117684/4192956
[pid=4562] ppid=4560 vsize=0 CPUtime=786.08
/proc/4562/stat : 4562 (java) Z 4560 4562 3150 0 -1 12 68831 0 1 0 78554 54 0 0 16 0 2 0 1992491065 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4562/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 786.08
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 793.929
CPU time (s): 786.124
CPU user time (s): 785.547
CPU system time (s): 0.576912
CPU usage (%): 99.0169
Max. virtual memory (cumulated for all children) (KiB): 822636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.547
system time used= 0.576912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68831
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= 16989
involuntary context switches= 30967
runsolver used 0.954854 second user time and 2.71759 second system time
The end
Begin job on node47 at 2008-07-04 03:33:08
IDJOB=1062466
IDBENCH=54643
IDSOLVER=344
FILE ID=node47/1062466-1215135188
PBS_JOBID= 7877236
Free space on /tmp= 66516 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/pseudo/fpga/normalized-fpga-14-14.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062466-1215135188/watcher-1062466-1215135188 -o /tmp/evaluation-result-1062466-1215135188/solver-1062466-1215135188 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1062466-1215135188.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 23f020b74ee3bba6e33c4fdd4fa0c1f7
RANDOM SEED=1332545551
node47.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.281
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.281
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: 1499112 kB
Buffers: 44156 kB
Cached: 306244 kB
SwapCached: 69092 kB
Active: 295084 kB
Inactive: 207152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1499112 kB
SwapTotal: 4192956 kB
SwapFree: 4117684 kB
Dirty: 1256 kB
Writeback: 0 kB
Mapped: 169084 kB
Slab: 39392 kB
Committed_AS: 4065468 kB
PageTables: 2280 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= 65736 MiB
End job on node47 at 2008-07-04 03:46:22