runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245485-1500686030/watcher-4245485-1500686030 -o /tmp/evaluation-result-4245485-1500686030/solver-4245485-1500686030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1368486076 HOME/instance-4245485-1500686030.xml
pid=23658
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.13 13.18 14.34 4/266 23661
/proc/meminfo: memFree=26268532/32770624 swapFree=5808/97348
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 9.13 13.18 14.34 4/266 23661
/proc/meminfo: memFree=26268532/32770624 swapFree=5808/97348
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200262 s]
/proc/loadavg: 9.13 13.18 14.34 4/266 23661
/proc/meminfo: memFree=26268532/32770624 swapFree=5808/97348
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300212 s]
/proc/loadavg: 9.13 13.18 14.34 4/266 23661
/proc/meminfo: memFree=26268532/32770624 swapFree=5808/97348
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700291 s]
/proc/loadavg: 9.13 13.18 14.34 4/266 23661
/proc/meminfo: memFree=26268532/32770624 swapFree=5808/97348
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50133 s]
/proc/loadavg: 9.13 13.18 14.34 3/287 23682
/proc/meminfo: memFree=25958112/32770624 swapFree=5808/97380
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[pid=23662] ppid=23661 vsize=13269256 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/23662/stat : 23662 (java) S 23661 23661 15196 0 -1 1077944320 12454 0 0 0 211 25 0 0 20 0 20 0 3868138 13587718144 143741 33554432000 4194304 4196468 140732908349088 140732908331632 139996122631927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
/proc/23662/statm: 3317314 143741 3219 1 0 3304547 0
[pid=23662/tid=23663] ppid=23661 vsize=13269256 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23663/stat : 23663 (java) R 23661 23661 15196 0 -1 4202560 6966 0 0 0 124 11 0 0 20 0 20 0 3868138 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996126869000 139995753888697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23665] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23665/stat : 23665 (java) S 23661 23661 15196 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996075252112 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23666] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23666/stat : 23666 (java) S 23661 23661 15196 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996074199312 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23667] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23667/stat : 23667 (java) S 23661 23661 15196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996073147024 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23668] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23668/stat : 23668 (java) S 23661 23661 15196 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996072094224 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23669] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23669/stat : 23669 (java) S 23661 23661 15196 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139996071041936 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23670] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23670/stat : 23670 (java) S 23661 23661 15196 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995716713232 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23671] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23671/stat : 23671 (java) S 23661 23661 15196 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995715660944 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23672] ppid=23661 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23672/stat : 23672 (java) S 23661 23661 15196 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 3868139 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995714608144 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23673] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23673/stat : 23673 (java) S 23661 23661 15196 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 20 0 3868142 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995249305712 139996122643074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23674] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3868142 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3868143 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23677] ppid=23661 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23677/stat : 23677 (java) S 23661 23661 15196 0 -1 1077944384 963 0 0 0 15 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995245095536 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23678] ppid=23661 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23678/stat : 23678 (java) S 23661 23661 15196 0 -1 1077944384 721 0 0 0 16 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995244042736 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23679] ppid=23661 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23679/stat : 23679 (java) S 23661 23661 15196 0 -1 1077944384 653 0 0 0 17 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995242990448 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23680] ppid=23661 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23680/stat : 23680 (java) S 23661 23661 15196 0 -1 1077944384 1233 0 0 0 25 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995241937648 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23681] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23681/stat : 23681 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995240884576 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23682] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23682/stat : 23682 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 143741 33554432000 4194304 4196468 140732908349088 139995239831856 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 13278768
[startup+3.10092 s]
/proc/loadavg: 8.72 13.03 14.28 3/287 23682
/proc/meminfo: memFree=25183460/32770624 swapFree=5808/97388
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[pid=23662] ppid=23661 vsize=13269256 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/23662/stat : 23662 (java) S 23661 23661 15196 0 -1 1077944320 13817 0 0 0 380 39 0 0 20 0 20 0 3868138 13587718144 276880 33554432000 4194304 4196468 140732908349088 140732908331632 139996122631927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
/proc/23662/statm: 3317314 276880 3225 1 0 3304547 0
[pid=23662/tid=23663] ppid=23661 vsize=13269256 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23663/stat : 23663 (java) R 23661 23661 15196 0 -1 4202560 7851 0 0 0 274 18 0 0 20 0 20 0 3868138 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996126869256 139995753947729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23665] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23665/stat : 23665 (java) S 23661 23661 15196 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996075252112 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23666] ppid=23661 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23666/stat : 23666 (java) S 23661 23661 15196 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996074199312 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23667] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23667/stat : 23667 (java) S 23661 23661 15196 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996073147024 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23668] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23668/stat : 23668 (java) S 23661 23661 15196 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996072094224 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23669] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23669/stat : 23669 (java) S 23661 23661 15196 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139996071041936 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23670] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23670/stat : 23670 (java) S 23661 23661 15196 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995716713232 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23671] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23671/stat : 23671 (java) S 23661 23661 15196 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995715660944 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23672] ppid=23661 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23672/stat : 23672 (java) S 23661 23661 15196 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 20 0 3868139 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995714608144 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23673] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23673/stat : 23673 (java) S 23661 23661 15196 0 -1 1077944384 753 0 0 0 0 0 0 0 20 0 20 0 3868142 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995249305712 139996122643074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23674] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3868142 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3868143 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23677] ppid=23661 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23677/stat : 23677 (java) S 23661 23661 15196 0 -1 1077944384 1017 0 0 0 17 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995245095536 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23678] ppid=23661 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23678/stat : 23678 (java) S 23661 23661 15196 0 -1 1077944384 725 0 0 0 17 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995244042736 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23679] ppid=23661 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23679/stat : 23679 (java) S 23661 23661 15196 0 -1 1077944384 688 0 0 0 21 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995242990448 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23680] ppid=23661 vsize=13269256 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23680/stat : 23680 (java) S 23661 23661 15196 0 -1 1077944384 1244 0 0 0 26 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995241937648 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23681] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23681/stat : 23681 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995240884576 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23682] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23682/stat : 23682 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 276880 33554432000 4194304 4196468 140732908349088 139995239831856 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13278768
[startup+6.30096 s]
/proc/loadavg: 8.72 13.03 14.28 3/287 23682
/proc/meminfo: memFree=23546308/32770624 swapFree=5808/97392
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[pid=23662] ppid=23661 vsize=13269256 CPUtime=7.65 cores=0,2,4,6,8,10,12,14
/proc/23662/stat : 23662 (java) S 23661 23661 15196 0 -1 1077944320 16032 0 0 0 690 75 0 0 20 0 20 0 3868138 13587718144 682212 33554432000 4194304 4196468 140732908349088 140732908331632 139996122631927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
/proc/23662/statm: 3317314 682212 3225 1 0 3304547 0
[pid=23662/tid=23663] ppid=23661 vsize=13269256 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23663/stat : 23663 (java) R 23661 23661 15196 0 -1 4202560 9074 0 0 0 567 42 0 0 20 0 20 0 3868138 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996126869816 139995753888722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23665] ppid=23661 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23665/stat : 23665 (java) S 23661 23661 15196 0 -1 1077944384 41 0 0 0 4 4 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996075252112 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23666] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23666/stat : 23666 (java) S 23661 23661 15196 0 -1 1077944384 45 0 0 0 4 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996074199312 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23667] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23667/stat : 23667 (java) S 23661 23661 15196 0 -1 1077944384 43 0 0 0 3 4 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996073147024 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23668] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23668/stat : 23668 (java) S 23661 23661 15196 0 -1 1077944384 43 0 0 0 4 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996072094224 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23669] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23669/stat : 23669 (java) S 23661 23661 15196 0 -1 1077944384 45 0 0 0 4 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139996071041936 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23670] ppid=23661 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23670/stat : 23670 (java) S 23661 23661 15196 0 -1 1077944384 33 0 0 0 3 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995716713232 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23671] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23671/stat : 23671 (java) S 23661 23661 15196 0 -1 1077944384 44 0 0 0 4 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995715660944 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23672] ppid=23661 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23672/stat : 23672 (java) S 23661 23661 15196 0 -1 1077944384 48 0 0 0 4 3 0 0 20 0 20 0 3868139 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995714608144 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23673] ppid=23661 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23673/stat : 23673 (java) S 23661 23661 15196 0 -1 1077944384 1606 0 0 0 1 0 0 0 20 0 20 0 3868142 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995249305712 139996122643074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23674] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3868142 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3868143 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3868147 13587718144 682212 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
################
# More data... #
################
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3868142 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 3868143 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23677] ppid=23661 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23677/stat : 23677 (java) R 23661 23661 15196 0 -1 4202560 4936 0 0 0 150 1 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995245081632 139996100997121 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23678] ppid=23661 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23678/stat : 23678 (java) R 23661 23661 15196 0 -1 4202560 5834 0 0 0 150 1 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995244028616 139996104151606 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23679] ppid=23661 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23679/stat : 23679 (java) R 23661 23661 15196 0 -1 4202560 5117 0 0 0 163 1 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995242976992 139996108654204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23680] ppid=23661 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23680/stat : 23680 (java) S 23661 23661 15196 0 -1 1077944384 7627 0 0 0 86 2 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995241937648 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23681] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23681/stat : 23681 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995240884576 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23682] ppid=23661 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23682/stat : 23682 (java) S 23661 23661 15196 0 -1 1077944384 260 0 0 0 1 2 0 0 20 0 28 0 3868147 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995239831856 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23683] ppid=23661 vsize=13801768 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23683/stat : 23683 (java) R 23661 23661 15196 0 -1 4202560 162 0 0 0 269 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995231816016 139995757376109 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23684] ppid=23661 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23684/stat : 23684 (java) R 23661 23661 15196 0 -1 4202560 247 0 0 0 239 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995230765320 139995757869994 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23685] ppid=23661 vsize=13801768 CPUtime=2.44 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23685/stat : 23685 (java) R 23661 23661 15196 0 -1 4202560 457 0 0 0 244 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995229712600 139995757374876 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23686] ppid=23661 vsize=13801768 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23686/stat : 23686 (java) R 23661 23661 15196 0 -1 4202560 313 0 0 0 247 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995228661808 139995757373161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23687] ppid=23661 vsize=13801768 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23687/stat : 23687 (java) R 23661 23661 15196 0 -1 4202560 146 0 0 0 241 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995227607432 139995757378044 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23688] ppid=23661 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23688/stat : 23688 (java) R 23661 23661 15196 0 -1 4202560 142 0 0 0 248 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995226554208 139995757375090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23689] ppid=23661 vsize=13801768 CPUtime=2.5 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23689/stat : 23689 (java) R 23661 23661 15196 0 -1 4202560 139 0 0 0 250 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995225501480 139995757373195 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23690] ppid=23661 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23690/stat : 23690 (java) R 23661 23661 15196 0 -1 4202560 242 0 0 0 248 0 0 0 20 0 28 0 3873676 14133010432 969022 33554432000 4194304 4196468 140732908349088 139995224448448 139995757373272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
Current children cumulated CPU time (s) 92.25
Current children cumulated vsize (KiB) 13811280
[startup+58.6014 s]
/proc/loadavg: 6.01 11.51 13.69 13/295 23690
/proc/meminfo: memFree=20345908/32770624 swapFree=5808/97432
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[pid=23662] ppid=23661 vsize=13801768 CPUtime=93.74 cores=0,2,4,6,8,10,12,14
/proc/23662/stat : 23662 (java) S 23661 23661 15196 0 -1 1077944320 61434 0 0 0 9148 226 0 0 20 0 28 0 3868138 14133010432 969148 33554432000 4194304 4196468 140732908349088 140732908331632 139996122631927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
/proc/23662/statm: 3450442 969148 3276 1 0 3437675 0
[pid=23662/tid=23663] ppid=23661 vsize=13801768 CPUtime=53.42 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23663/stat : 23663 (java) S 23661 23661 15196 0 -1 1077944384 22739 0 0 0 5288 54 0 0 20 0 28 0 3868138 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996126872704 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23665] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23665/stat : 23665 (java) S 23661 23661 15196 0 -1 1077944384 900 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996075252112 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23666] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23666/stat : 23666 (java) S 23661 23661 15196 0 -1 1077944384 385 0 0 0 146 19 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996074199312 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23667] ppid=23661 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23667/stat : 23667 (java) S 23661 23661 15196 0 -1 1077944384 1293 0 0 0 141 20 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996073147024 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23668] ppid=23661 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23668/stat : 23668 (java) S 23661 23661 15196 0 -1 1077944384 1013 0 0 0 148 19 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996072094224 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23669] ppid=23661 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23669/stat : 23669 (java) S 23661 23661 15196 0 -1 1077944384 640 0 0 0 143 20 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139996071041936 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23670] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23670/stat : 23670 (java) S 23661 23661 15196 0 -1 1077944384 653 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995716713232 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23671] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23671/stat : 23671 (java) S 23661 23661 15196 0 -1 1077944384 485 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995715660944 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23672] ppid=23661 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23672/stat : 23672 (java) S 23661 23661 15196 0 -1 1077944384 1037 0 0 0 144 19 0 0 20 0 28 0 3868139 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995714608144 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23673] ppid=23661 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23673/stat : 23673 (java) S 23661 23661 15196 0 -1 1077944384 5084 0 0 0 8 1 0 0 20 0 28 0 3868142 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995249305712 139996122643074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23674] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3868142 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 3868143 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23677] ppid=23661 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23677/stat : 23677 (java) R 23661 23661 15196 0 -1 4202560 4964 0 0 0 160 1 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995245088728 139996101864566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23678] ppid=23661 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23678/stat : 23678 (java) R 23661 23661 15196 0 -1 4202560 5871 0 0 0 160 1 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995244035928 139996107031676 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23679] ppid=23661 vsize=13801768 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23679/stat : 23679 (java) R 23661 23661 15196 0 -1 4202560 5143 0 0 0 172 1 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995242976816 139996106100035 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23680] ppid=23661 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23680/stat : 23680 (java) S 23661 23661 15196 0 -1 1077944384 7702 0 0 0 90 2 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995241937648 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23681] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23681/stat : 23681 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995240884576 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23682] ppid=23661 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23682/stat : 23682 (java) S 23661 23661 15196 0 -1 1077944384 260 0 0 0 1 2 0 0 20 0 28 0 3868147 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995239831856 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23683] ppid=23661 vsize=13801768 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23683/stat : 23683 (java) R 23661 23661 15196 0 -1 4202560 176 0 0 0 284 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995231816968 139995757375085 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23684] ppid=23661 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23684/stat : 23684 (java) R 23661 23661 15196 0 -1 4202560 247 0 0 0 251 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995230765096 139995757975248 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23685] ppid=23661 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23685/stat : 23685 (java) R 23661 23661 15196 0 -1 4202560 459 0 0 0 258 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995229713016 139995757373879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23686] ppid=23661 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23686/stat : 23686 (java) R 23661 23661 15196 0 -1 4202560 316 0 0 0 257 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995228660280 139995757373281 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23687] ppid=23661 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23687/stat : 23687 (java) R 23661 23661 15196 0 -1 4202560 148 0 0 0 256 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995227608440 139995757375085 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23688] ppid=23661 vsize=13801768 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23688/stat : 23688 (java) R 23661 23661 15196 0 -1 4202560 142 0 0 0 265 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995226555352 139995757373200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23689] ppid=23661 vsize=13801768 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23689/stat : 23689 (java) R 23661 23661 15196 0 -1 4202560 139 0 0 0 262 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995225501344 139995757373801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23690] ppid=23661 vsize=13801768 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23690/stat : 23690 (java) R 23661 23661 15196 0 -1 4202560 242 0 0 0 267 0 0 0 20 0 28 0 3873676 14133010432 969148 33554432000 4194304 4196468 140732908349088 139995224448448 139995757373293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
Current children cumulated CPU time (s) 93.74
Current children cumulated vsize (KiB) 13811280
[startup+58.7015 s]
/proc/loadavg: 6.01 11.51 13.69 13/295 23690
/proc/meminfo: memFree=20345908/32770624 swapFree=5808/97432
[pid=23661] ppid=23658 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23661/stat : 23661 (xcsp3-exec) S 23658 23661 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3868137 9740288 346 33554432000 4194304 5098028 140736913050224 140736913048328 140260672021116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33738752 140736913056910 140736913057120 140736913057120 140736913059819 0
/proc/23661/statm: 2378 346 289 221 0 87 0
[pid=23662] ppid=23661 vsize=13801768 CPUtime=94.54 cores=0,2,4,6,8,10,12,14
/proc/23662/stat : 23662 (java) S 23661 23661 15196 0 -1 1077944320 61503 0 0 0 9228 226 0 0 20 0 28 0 3868138 14133010432 969180 33554432000 4194304 4196468 140732908349088 140732908331632 139996122631927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
/proc/23662/statm: 3450442 969180 3276 1 0 3437675 0
[pid=23662/tid=23663] ppid=23661 vsize=13801768 CPUtime=53.42 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23663/stat : 23663 (java) S 23661 23661 15196 0 -1 1077944384 22739 0 0 0 5288 54 0 0 20 0 28 0 3868138 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996126872704 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23665] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23665/stat : 23665 (java) S 23661 23661 15196 0 -1 1077944384 900 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996075252112 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23666] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23666/stat : 23666 (java) S 23661 23661 15196 0 -1 1077944384 385 0 0 0 146 19 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996074199312 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23667] ppid=23661 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23667/stat : 23667 (java) S 23661 23661 15196 0 -1 1077944384 1293 0 0 0 141 20 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996073147024 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23668] ppid=23661 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23668/stat : 23668 (java) S 23661 23661 15196 0 -1 1077944384 1013 0 0 0 148 19 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996072094224 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23669] ppid=23661 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23669/stat : 23669 (java) S 23661 23661 15196 0 -1 1077944384 640 0 0 0 143 20 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139996071041936 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23670] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23670/stat : 23670 (java) S 23661 23661 15196 0 -1 1077944384 653 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995716713232 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23671] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23671/stat : 23671 (java) S 23661 23661 15196 0 -1 1077944384 485 0 0 0 145 20 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995715660944 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23672] ppid=23661 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23672/stat : 23672 (java) S 23661 23661 15196 0 -1 1077944384 1037 0 0 0 144 19 0 0 20 0 28 0 3868139 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995714608144 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23673] ppid=23661 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23673/stat : 23673 (java) S 23661 23661 15196 0 -1 1077944384 5084 0 0 0 8 1 0 0 20 0 28 0 3868142 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995249305712 139996122643074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23674] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23674/stat : 23674 (java) S 23661 23661 15196 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3868142 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995248251744 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23675] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23675/stat : 23675 (java) S 23661 23661 15196 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 3868143 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995247199360 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23676] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23676/stat : 23676 (java) S 23661 23661 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995246147664 139996122650523 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23677] ppid=23661 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23677/stat : 23677 (java) R 23661 23661 15196 0 -1 1077944384 4973 0 0 0 164 1 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995245095536 139996122643074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23678] ppid=23661 vsize=13801768 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23678/stat : 23678 (java) R 23661 23661 15196 0 -1 4202560 5889 0 0 0 167 1 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995244031664 139996103331482 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23679] ppid=23661 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23679/stat : 23679 (java) R 23661 23661 15196 0 -1 4202560 5151 0 0 0 177 1 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995242990448 139996106922165 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23680] ppid=23661 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23680/stat : 23680 (java) S 23661 23661 15196 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995241937648 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23681] ppid=23661 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23681/stat : 23681 (java) S 23661 23661 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995240884576 139996122642133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23682] ppid=23661 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23682/stat : 23682 (java) S 23661 23661 15196 0 -1 1077944384 260 0 0 0 1 2 0 0 20 0 28 0 3868147 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995239831856 139996122643074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23683] ppid=23661 vsize=13801768 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23683/stat : 23683 (java) R 23661 23661 15196 0 -1 4202560 177 0 0 0 294 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995231816832 139995751302295 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23684] ppid=23661 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23684/stat : 23684 (java) R 23661 23661 15196 0 -1 4202560 247 0 0 0 257 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995230765096 139995757726564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23685] ppid=23661 vsize=13801768 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23685/stat : 23685 (java) R 23661 23661 15196 0 -1 4202560 467 0 0 0 264 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995229712592 139995757504312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23686] ppid=23661 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23686/stat : 23686 (java) R 23661 23661 15196 0 -1 4202560 317 0 0 0 263 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995228661712 139995757373010 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23687] ppid=23661 vsize=13801768 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23687/stat : 23687 (java) R 23661 23661 15196 0 -1 4202560 157 0 0 0 266 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995227608504 139995757373200 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23688] ppid=23661 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23688/stat : 23688 (java) R 23661 23661 15196 0 -1 4202560 142 0 0 0 275 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995226555352 139995758554209 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23689] ppid=23661 vsize=13801768 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23689/stat : 23689 (java) R 23661 23661 15196 0 -1 4202560 140 0 0 0 267 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995225501144 139995757373200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
[pid=23662/tid=23690] ppid=23661 vsize=13801768 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/23662/task/23690/stat : 23690 (java) R 23661 23661 15196 0 -1 4202560 242 0 0 0 277 0 0 0 20 0 28 0 3873676 14133010432 969180 33554432000 4194304 4196468 140732908349088 139995224449208 139995757974985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26669056 140732908352700 140732908352876 140732908352876 140732908355535 0
Current children cumulated CPU time (s) 94.54
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 58.7953
CPU time (s): 95.0429
CPU user time (s): 92.7554
CPU system time (s): 2.28749
CPU usage (%): 161.651
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.7554
system time used= 2.28749
maximum resident set size= 3877224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7608
involuntary context switches= 6305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.439347 second user time and 0.501853 second system time
The end