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-4254992-1501623406/watcher-4254992-1501623406 -o /tmp/evaluation-result-4254992-1501623406/solver-4254992-1501623406 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1954130870 HOME/instance-4254992-1501623406.xml
pid=17258
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.77 1.58 1.65 5/199 17261
/proc/meminfo: memFree=23441072/32770624 swapFree=0/173840
[pid=17261] ppid=17258 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (runsolver) D 17258 17261 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4251182 24240128 106 18446744073709551615 4194304 4338465 140721424643840 140721424641480 140333828698839 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 8835072 140721424650334 140721424650823 140721424650823 140721424654282 0
/proc/17261/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.77 1.58 1.65 5/199 17261
/proc/meminfo: memFree=23441072/32770624 swapFree=0/173840
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.210525 s]
/proc/loadavg: 1.77 1.58 1.65 5/199 17261
/proc/meminfo: memFree=23441072/32770624 swapFree=0/173840
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300637 s]
/proc/loadavg: 1.77 1.58 1.65 5/199 17261
/proc/meminfo: memFree=23441072/32770624 swapFree=0/173840
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700504 s]
/proc/loadavg: 1.77 1.58 1.65 5/199 17261
/proc/meminfo: memFree=23441072/32770624 swapFree=0/173840
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.77 1.58 1.65 7/215 17277
/proc/meminfo: memFree=23094188/32770624 swapFree=0/173844
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=3.98 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 30650 0 0 0 390 8 0 0 20 0 15 0 4251189 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 42165 3175 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 8648 0 0 0 132 4 0 0 20 0 15 0 4251189 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868652933416 139868249328165 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 4251191 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) R 17261 17261 3187 0 -1 4202560 8786 0 0 0 100 1 0 0 20 0 15 0 4251194 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868122845480 139868633820078 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) R 17261 17261 3187 0 -1 4202560 7931 0 0 0 101 0 0 0 20 0 15 0 4251194 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868121793144 139868630218762 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 3978 0 0 0 55 1 0 0 20 0 15 0 4251195 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251199 14316269568 42165 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.78 1.59 1.66 6/215 17277
/proc/meminfo: memFree=23000328/32770624 swapFree=0/173844
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=8.21 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 35161 0 0 0 806 15 0 0 20 0 15 0 4251189 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 65724 3211 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 9387 0 0 0 287 5 0 0 20 0 15 0 4251189 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868652933800 139868251880319 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 362 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 514 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 4251191 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=2.22 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) S 17261 17261 3187 0 -1 1077944384 9713 0 0 0 221 1 0 0 20 0 15 0 4251194 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=2.22 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) S 17261 17261 3187 0 -1 1077944384 8646 0 0 0 221 1 0 0 20 0 15 0 4251194 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 4817 0 0 0 70 1 0 0 20 0 15 0 4251195 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 4251199 14316269568 65724 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 13990244
[startup+6.30065 s]
/proc/loadavg: 1.78 1.59 1.66 3/215 17277
/proc/meminfo: memFree=22971868/32770624 swapFree=0/173856
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=12.06 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 35540 0 0 0 1191 15 0 0 20 0 15 0 4251189 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 64893 3213 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 9450 0 0 0 607 5 0 0 20 0 15 0 4251189 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868652933424 139868248165859 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 362 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 4251190 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 514 0 0 0 1 1 0 0 20 0 15 0 4251190 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 4251191 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=2.49 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) R 17261 17261 3187 0 -1 4202560 9774 0 0 0 248 1 0 0 20 0 15 0 4251194 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868628359818 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=2.55 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) R 17261 17261 3187 0 -1 4202560 8837 0 0 0 254 1 0 0 20 0 15 0 4251194 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868627916232 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 4857 0 0 0 73 1 0 0 20 0 15 0 4251195 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 4251199 14316269568 64893 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.06 1.65 1.68 4/215 17277
/proc/meminfo: memFree=20885760/32770624 swapFree=0/173864
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=20.57 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 54576 0 0 0 2035 22 0 0 20 0 15 0 4251189 14316269568 81141 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 81141 3222 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=12.5 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 10488 0 0 0 1244 6 0 0 20 0 15 0 4251189 14316269568 81141 18446744073709551615 4194304 4196468 140728157963888 139868652934504 139868251253237 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 423 0 0 0 3 2 0 0 20 0 15 0 4251190 14316269568 81141 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 1029 0 0 0 2 2 0 0 20 0 15 0 4251190 14316269568 81141 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
################
# More data... #
################
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 8822 0 0 0 85 2 0 0 20 0 15 0 4251195 14316269568 141452 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 141452 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 438 0 0 0 2 3 0 0 20 0 15 0 4251199 14316269568 141452 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 155.76
Current children cumulated vsize (KiB) 13990244
[startup+145.601 s]
/proc/loadavg: 1.65 1.69 1.69 3/215 17516
/proc/meminfo: memFree=31277312/32770624 swapFree=0/176200
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=157.42 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 88100 0 0 0 15672 70 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 141453 3229 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=144.76 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 16106 0 0 0 14468 8 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868652937216 139868248165223 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 1006 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 1971 0 0 0 50 11 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 944 0 0 0 50 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 2772 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 1361 0 0 0 2 0 0 0 20 0 15 0 4251191 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) S 17261 17261 3187 0 -1 1077944384 23349 0 0 0 412 3 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=4.97 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) S 17261 17261 3187 0 -1 1077944384 29986 0 0 0 495 2 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 8822 0 0 0 85 2 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 438 0 0 0 2 3 0 0 20 0 15 0 4251199 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 157.42
Current children cumulated vsize (KiB) 13990244
[startup+146.407 s]
/proc/loadavg: 1.65 1.69 1.69 3/215 17516
/proc/meminfo: memFree=31277412/32770624 swapFree=0/176200
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=158.22 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 88100 0 0 0 15752 70 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 141453 3229 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=145.56 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 16106 0 0 0 14548 8 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868652937104 139868251253616 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 1006 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 1971 0 0 0 50 11 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 944 0 0 0 50 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 2772 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 1361 0 0 0 2 0 0 0 20 0 15 0 4251191 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) S 17261 17261 3187 0 -1 1077944384 23349 0 0 0 412 3 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=4.97 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) S 17261 17261 3187 0 -1 1077944384 29986 0 0 0 495 2 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 8822 0 0 0 85 2 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 438 0 0 0 2 3 0 0 20 0 15 0 4251199 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 158.22
Current children cumulated vsize (KiB) 13990244
[startup+146.801 s]
/proc/loadavg: 1.65 1.69 1.69 3/215 17516
/proc/meminfo: memFree=31277412/32770624 swapFree=0/176200
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=158.62 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 88100 0 0 0 15792 70 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 141453 3229 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=145.96 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 16106 0 0 0 14588 8 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868652937104 139868249989310 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 1006 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 1971 0 0 0 50 11 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 944 0 0 0 50 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 2772 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 1361 0 0 0 2 0 0 0 20 0 15 0 4251191 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) S 17261 17261 3187 0 -1 1077944384 23349 0 0 0 412 3 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=4.97 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) S 17261 17261 3187 0 -1 1077944384 29986 0 0 0 495 2 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 8822 0 0 0 85 2 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 438 0 0 0 2 3 0 0 20 0 15 0 4251199 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 158.62
Current children cumulated vsize (KiB) 13990244
[startup+146.901 s]
/proc/loadavg: 1.65 1.69 1.69 3/215 17516
/proc/meminfo: memFree=31277412/32770624 swapFree=0/176200
[pid=17261] ppid=17258 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (xcsp3-exec) S 17258 17261 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4251182 9740288 345 18446744073709551615 4194304 5098028 140732889034400 140732889032504 140069756981884 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 33292288 140732889043356 140732889043560 140732889043560 140732889047019 0
/proc/17261/statm: 2378 345 289 221 0 87 0
[pid=17263] ppid=17261 vsize=13980732 CPUtime=158.72 cores=0,2,4,6
/proc/17263/stat : 17263 (java) S 17261 17261 3187 0 -1 1077944320 88100 0 0 0 15802 70 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 140728157946432 139868648697591 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
/proc/17263/statm: 3495183 141453 3229 1 0 3483484 0
[pid=17263/tid=17264] ppid=17261 vsize=13980732 CPUtime=146.06 cores=0,2,4,6
/proc/17263/task/17264/stat : 17264 (java) R 17261 17261 3187 0 -1 4202560 16106 0 0 0 14598 8 0 0 20 0 15 0 4251189 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868652937104 139868250129515 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17265] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17265/stat : 17265 (java) S 17261 17261 3187 0 -1 1077944384 1006 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868568111376 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17266] ppid=17261 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/17263/task/17266/stat : 17266 (java) S 17261 17261 3187 0 -1 1077944384 1971 0 0 0 50 11 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868567058832 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17267] ppid=17261 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/17263/task/17267/stat : 17267 (java) S 17261 17261 3187 0 -1 1077944384 944 0 0 0 50 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868566006288 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17268] ppid=17261 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/17263/task/17268/stat : 17268 (java) S 17261 17261 3187 0 -1 1077944384 2772 0 0 0 51 12 0 0 20 0 15 0 4251190 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868564953744 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17269] ppid=17261 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/17263/task/17269/stat : 17269 (java) S 17261 17261 3187 0 -1 1077944384 1361 0 0 0 2 0 0 0 20 0 15 0 4251191 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868127070704 139868648708738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17270] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17270/stat : 17270 (java) S 17261 17261 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868126016928 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17271] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17271/stat : 17271 (java) S 17261 17261 3187 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 4251192 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868124964336 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17272] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17272/stat : 17272 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868123912912 139868648716187 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17273] ppid=17261 vsize=13980732 CPUtime=4.15 cores=0,2,4,6
/proc/17263/task/17273/stat : 17273 (java) S 17261 17261 3187 0 -1 1077944384 23349 0 0 0 412 3 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868122859504 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17274] ppid=17261 vsize=13980732 CPUtime=4.97 cores=0,2,4,6
/proc/17263/task/17274/stat : 17274 (java) S 17261 17261 3187 0 -1 1077944384 29986 0 0 0 495 2 0 0 20 0 15 0 4251194 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868121806960 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17275] ppid=17261 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/17263/task/17275/stat : 17275 (java) S 17261 17261 3187 0 -1 1077944384 8822 0 0 0 85 2 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868120754416 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17276] ppid=17261 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17263/task/17276/stat : 17276 (java) S 17261 17261 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4251195 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868119702112 139868648707797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
[pid=17263/tid=17277] ppid=17261 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/17263/task/17277/stat : 17277 (java) S 17261 17261 3187 0 -1 1077944384 438 0 0 0 2 3 0 0 20 0 15 0 4251199 14316269568 141453 18446744073709551615 4194304 4196468 140728157963888 139868118649648 139868648708738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26185728 140728157970901 140728157971076 140728157971076 140728157974479 0
Current children cumulated CPU time (s) 158.72
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 146.996
CPU time (s): 158.829
CPU user time (s): 158.113
CPU system time (s): 0.716698
CPU usage (%): 108.05
Max. virtual memory (cumulated for all children) (KiB): 13994452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.112
system time used= 0.716698
maximum resident set size= 593332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6812
involuntary context switches= 282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.678834 second user time and 0.914619 second system time
The end