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-4247345-1500689783/watcher-4247345-1500689783 -o /tmp/evaluation-result-4247345-1500689783/solver-4247345-1500689783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1432818891 HOME/instance-4247345-1500689783.xml
pid=3883
running on 8 cores: 1,3,5,7,9,11,13,15
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.31 13.80 13.40 9/262 3886
/proc/meminfo: memFree=26159972/32770624 swapFree=5800/276416
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 9.31 13.80 13.40 9/262 3886
/proc/meminfo: memFree=26159972/32770624 swapFree=5800/276416
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 9.31 13.80 13.40 9/262 3886
/proc/meminfo: memFree=26159972/32770624 swapFree=5800/276416
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300251 s]
/proc/loadavg: 9.31 13.80 13.40 9/262 3886
/proc/meminfo: memFree=26159972/32770624 swapFree=5800/276416
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 9.31 13.80 13.40 9/262 3886
/proc/meminfo: memFree=26159972/32770624 swapFree=5800/276416
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50119 s]
/proc/loadavg: 9.31 13.80 13.40 13/283 3907
/proc/meminfo: memFree=25938080/32770624 swapFree=5800/276244
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 15167 0 0 0 481 38 0 0 20 0 20 0 4246068 13587718144 92684 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 92684 3233 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) R 3886 3886 7621 0 -1 4202560 6817 0 0 0 132 6 0 0 20 0 20 0 4246069 13587718144 92684 33554432000 4194304 4196468 140724976857552 140145099831992 140144737619521 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) S 3886 3886 7621 0 -1 1077944384 41 0 0 0 3 4 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144694458640 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) S 3886 3886 7621 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144693406096 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) S 3886 3886 7621 0 -1 1077944384 74 0 0 0 2 4 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144692353552 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) S 3886 3886 7621 0 -1 1077944384 69 0 0 0 4 2 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144691301008 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) S 3886 3886 7621 0 -1 1077944384 41 0 0 0 2 3 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144690248464 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) S 3886 3886 7621 0 -1 1077944384 51 0 0 0 3 3 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144689195920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) S 3886 3886 7621 0 -1 1077944384 44 0 0 0 3 4 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144688143376 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) S 3886 3886 7621 0 -1 1077944384 41 0 0 0 4 3 0 0 20 0 20 0 4246070 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144687090832 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 4246072 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144557836272 140145095604866 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3902] ppid=3886 vsize=13269256 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) S 3886 3886 7621 0 -1 1077944384 1562 0 0 0 82 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144553626096 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3903] ppid=3886 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3903/stat : 3903 (java) R 3886 3886 7621 0 -1 4202560 1708 0 0 0 102 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144552559576 140145080518066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3904] ppid=3886 vsize=13269256 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3904/stat : 3904 (java) S 3886 3886 7621 0 -1 1077944384 1292 0 0 0 87 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144551521008 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3905] ppid=3886 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3905/stat : 3905 (java) S 3886 3886 7621 0 -1 1077944384 1891 0 0 0 49 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144550468464 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3906] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3906/stat : 3906 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144549415136 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3907] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 92684 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13278768
[startup+3.10122 s]
/proc/loadavg: 9.31 13.80 13.40 3/283 3907
/proc/meminfo: memFree=25534072/32770624 swapFree=5800/276244
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=7.72 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 16715 0 0 0 687 85 0 0 20 0 20 0 4246068 13587718144 273060 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 273060 3244 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) R 3886 3886 7621 0 -1 4202560 7475 0 0 0 273 16 0 0 20 0 20 0 4246069 13587718144 273060 33554432000 4194304 4196468 140724976857552 140145099828040 140144737620528 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) S 3886 3886 7621 0 -1 1077944384 77 0 0 0 6 9 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144694458640 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) S 3886 3886 7621 0 -1 1077944384 67 0 0 0 6 5 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144693406096 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) S 3886 3886 7621 0 -1 1077944384 105 0 0 0 6 8 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144692353552 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) S 3886 3886 7621 0 -1 1077944384 117 0 0 0 6 7 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144691301008 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) S 3886 3886 7621 0 -1 1077944384 97 0 0 0 5 8 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144690248464 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) S 3886 3886 7621 0 -1 1077944384 80 0 0 0 6 8 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144689195920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) S 3886 3886 7621 0 -1 1077944384 135 0 0 0 6 8 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144688143376 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) S 3886 3886 7621 0 -1 1077944384 83 0 0 0 6 8 0 0 20 0 20 0 4246070 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144687090832 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 4246072 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144557836272 140145095604866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3902] ppid=3886 vsize=13269256 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) S 3886 3886 7621 0 -1 1077944384 1582 0 0 0 87 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144553626096 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3903] ppid=3886 vsize=13269256 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3903/stat : 3903 (java) S 3886 3886 7621 0 -1 1077944384 1756 0 0 0 119 1 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144552573552 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3904] ppid=3886 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3904/stat : 3904 (java) S 3886 3886 7621 0 -1 1077944384 1311 0 0 0 95 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144551521008 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3905] ppid=3886 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3905/stat : 3905 (java) S 3886 3886 7621 0 -1 1077944384 2064 0 0 0 59 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144550468464 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3906] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3906/stat : 3906 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144549415136 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3907] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 273060 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 13278768
[startup+6.30082 s]
/proc/loadavg: 8.65 13.59 13.33 10/283 3907
/proc/meminfo: memFree=23613792/32770624 swapFree=5800/276252
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=11.3 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 18348 0 0 0 1017 113 0 0 20 0 20 0 4246068 13587718144 542503 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 542503 3244 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=6.05 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) R 3886 3886 7621 0 -1 4202560 8325 0 0 0 574 31 0 0 20 0 20 0 4246069 13587718144 542503 33554432000 4194304 4196468 140724976857552 140145099827568 140144737610590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) S 3886 3886 7621 0 -1 1077944384 91 0 0 0 7 10 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144694458640 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) S 3886 3886 7621 0 -1 1077944384 92 0 0 0 8 6 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144693406096 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) S 3886 3886 7621 0 -1 1077944384 126 0 0 0 7 10 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144692353552 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) S 3886 3886 7621 0 -1 1077944384 132 0 0 0 8 9 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144691301008 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) S 3886 3886 7621 0 -1 1077944384 119 0 0 0 7 9 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144690248464 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) S 3886 3886 7621 0 -1 1077944384 99 0 0 0 8 9 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144689195920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) S 3886 3886 7621 0 -1 1077944384 160 0 0 0 8 9 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144688143376 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) S 3886 3886 7621 0 -1 1077944384 101 0 0 0 8 10 0 0 20 0 20 0 4246070 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144687090832 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 1072 0 0 0 1 0 0 0 20 0 20 0 4246072 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144557836272 140145095604866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 542503 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
################
# More data... #
################
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 207 0 0 0 5 7 0 0 20 0 20 0 4246077 13587718144 1345924 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 298.61
Current children cumulated vsize (KiB) 13278768
[startup+227.301 s]
/proc/loadavg: 8.50 10.45 12.06 9/284 3918
/proc/meminfo: memFree=16046760/32770624 swapFree=5800/276496
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=301.91 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 131097 0 0 0 28993 1198 0 0 20 0 20 0 4246068 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 1345670 3284 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=217.24 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) R 3886 3886 7621 0 -1 4202560 26921 0 0 0 21670 54 0 0 20 0 20 0 4246069 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140145099832016 140144737620669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) S 3886 3886 7621 0 -1 1077944384 5832 0 0 0 793 143 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144694458640 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) S 3886 3886 7621 0 -1 1077944384 7036 0 0 0 797 139 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144693406096 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=9.34 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) S 3886 3886 7621 0 -1 1077944384 6813 0 0 0 794 140 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144692353552 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) S 3886 3886 7621 0 -1 1077944384 6390 0 0 0 797 140 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144691301008 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) S 3886 3886 7621 0 -1 1077944384 7265 0 0 0 797 142 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144690248464 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) S 3886 3886 7621 0 -1 1077944384 8980 0 0 0 797 141 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144689195920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) S 3886 3886 7621 0 -1 1077944384 7105 0 0 0 799 139 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144688143376 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) S 3886 3886 7621 0 -1 1077944384 5655 0 0 0 805 141 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144687090832 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 10378 0 0 0 32 1 0 0 20 0 20 0 4246072 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144557836272 140145095604866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3902] ppid=3886 vsize=13269256 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) S 3886 3886 7621 0 -1 1077944384 9803 0 0 0 288 1 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144553626096 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3903] ppid=3886 vsize=13269256 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3903/stat : 3903 (java) S 3886 3886 7621 0 -1 1077944384 8632 0 0 0 253 2 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144552573552 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3904] ppid=3886 vsize=13269256 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3904/stat : 3904 (java) S 3886 3886 7621 0 -1 1077944384 11703 0 0 0 271 2 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144551521008 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3905] ppid=3886 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3905/stat : 3905 (java) S 3886 3886 7621 0 -1 1077944384 6927 0 0 0 85 1 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144550468464 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3906] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3906/stat : 3906 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144549415136 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3907] ppid=3886 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 207 0 0 0 5 7 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 301.91
Current children cumulated vsize (KiB) 13278768
[startup+228.901 s]
/proc/loadavg: 8.46 10.41 12.04 10/284 3918
/proc/meminfo: memFree=16046780/32770624 swapFree=5800/276500
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=303.52 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 131097 0 0 0 29153 1199 0 0 20 0 20 0 4246068 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 1345670 3284 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=218.84 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) R 3886 3886 7621 0 -1 4202560 26921 0 0 0 21830 54 0 0 20 0 20 0 4246069 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140145099832016 140144737619224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) S 3886 3886 7621 0 -1 1077944384 5832 0 0 0 793 143 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144694458640 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) S 3886 3886 7621 0 -1 1077944384 7036 0 0 0 797 139 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144693406096 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=9.34 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) S 3886 3886 7621 0 -1 1077944384 6813 0 0 0 794 140 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144692353552 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=9.37 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) S 3886 3886 7621 0 -1 1077944384 6390 0 0 0 797 140 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144691301008 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) S 3886 3886 7621 0 -1 1077944384 7265 0 0 0 797 142 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144690248464 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) S 3886 3886 7621 0 -1 1077944384 8980 0 0 0 797 141 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144689195920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) S 3886 3886 7621 0 -1 1077944384 7105 0 0 0 799 139 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144688143376 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) S 3886 3886 7621 0 -1 1077944384 5655 0 0 0 805 141 0 0 20 0 20 0 4246070 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144687090832 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 10378 0 0 0 32 1 0 0 20 0 20 0 4246072 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144557836272 140145095604866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3902] ppid=3886 vsize=13269256 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) S 3886 3886 7621 0 -1 1077944384 9803 0 0 0 288 1 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144553626096 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3903] ppid=3886 vsize=13269256 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3903/stat : 3903 (java) S 3886 3886 7621 0 -1 1077944384 8632 0 0 0 253 2 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144552573552 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3904] ppid=3886 vsize=13269256 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3904/stat : 3904 (java) S 3886 3886 7621 0 -1 1077944384 11703 0 0 0 271 2 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144551521008 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3905] ppid=3886 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3905/stat : 3905 (java) S 3886 3886 7621 0 -1 1077944384 6927 0 0 0 85 1 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144550468464 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3906] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3906/stat : 3906 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144549415136 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3907] ppid=3886 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 207 0 0 0 5 7 0 0 20 0 20 0 4246077 13587718144 1345670 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 303.52
Current children cumulated vsize (KiB) 13278768
[startup+229.701 s]
/proc/loadavg: 8.46 10.41 12.04 10/284 3918
/proc/meminfo: memFree=16046780/32770624 swapFree=5800/276500
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=13269256 CPUtime=304.68 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) S 3886 3886 7621 0 -1 1077944320 131445 0 0 0 29269 1199 0 0 20 0 20 0 4246068 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140724976840096 140145095593719 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
/proc/3887/statm: 3317314 1345679 3284 1 0 3304547 0
[pid=3887/tid=3888] ppid=3886 vsize=13269256 CPUtime=219.58 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3888/stat : 3888 (java) S 3886 3886 7621 0 -1 1077944384 26958 0 0 0 21904 54 0 0 20 0 20 0 4246069 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140145099832448 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3890] ppid=3886 vsize=13269256 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3890/stat : 3890 (java) R 3886 3886 7621 0 -1 4202560 5859 0 0 0 798 143 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144694458840 140145088693574 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3891] ppid=3886 vsize=13269256 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3891/stat : 3891 (java) R 3886 3886 7621 0 -1 4202560 7090 0 0 0 801 139 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144693405984 140145080621602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3892] ppid=3886 vsize=13269256 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3892/stat : 3892 (java) R 3886 3886 7621 0 -1 4202560 6853 0 0 0 800 140 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144692353752 140145080615840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3893] ppid=3886 vsize=13269256 CPUtime=9.42 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3893/stat : 3893 (java) R 3886 3886 7621 0 -1 4202560 6403 0 0 0 802 140 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144691301208 140145080621138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3894] ppid=3886 vsize=13269256 CPUtime=9.44 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3894/stat : 3894 (java) R 3886 3886 7621 0 -1 4202560 7299 0 0 0 802 142 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144690248664 140145088693588 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3895] ppid=3886 vsize=13269256 CPUtime=9.43 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3895/stat : 3895 (java) R 3886 3886 7621 0 -1 4202560 8995 0 0 0 802 141 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144689196120 140145080621896 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3896] ppid=3886 vsize=13269256 CPUtime=9.44 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3896/stat : 3896 (java) R 3886 3886 7621 0 -1 4202560 7201 0 0 0 805 139 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144688143576 140145080621593 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3897] ppid=3886 vsize=13269256 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3897/stat : 3897 (java) R 3886 3886 7621 0 -1 4202560 5688 0 0 0 811 141 0 0 20 0 20 0 4246070 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144687091032 140145080617774 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3898] ppid=3886 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3898/stat : 3898 (java) S 3886 3886 7621 0 -1 1077944384 10378 0 0 0 32 1 0 0 20 0 20 0 4246072 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144557834784 140145095603925 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3899] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3899/stat : 3899 (java) S 3886 3886 7621 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144556782560 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3900] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3900/stat : 3900 (java) S 3886 3886 7621 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 4246073 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144555729920 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3901] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3901/stat : 3901 (java) S 3886 3886 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144554678480 140145095612315 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3902] ppid=3886 vsize=13269256 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) S 3886 3886 7621 0 -1 1077944384 9803 0 0 0 288 1 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144553626096 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3903] ppid=3886 vsize=13269256 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3903/stat : 3903 (java) S 3886 3886 7621 0 -1 1077944384 8632 0 0 0 253 2 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144552573552 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3904] ppid=3886 vsize=13269256 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3904/stat : 3904 (java) S 3886 3886 7621 0 -1 1077944384 11703 0 0 0 271 2 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144551521008 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3905] ppid=3886 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3905/stat : 3905 (java) S 3886 3886 7621 0 -1 1077944384 6927 0 0 0 85 1 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144550468464 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3906] ppid=3886 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3906/stat : 3906 (java) S 3886 3886 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144549415136 140145095603925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
[pid=3887/tid=3907] ppid=3886 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3907/stat : 3907 (java) S 3886 3886 7621 0 -1 1077944384 207 0 0 0 5 7 0 0 20 0 20 0 4246077 13587718144 1345679 33554432000 4194304 4196468 140724976857552 140144548362672 140145095604866 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28495872 140724976862396 140724976862572 140724976862572 140724976865231 0
Current children cumulated CPU time (s) 304.68
Current children cumulated vsize (KiB) 13278768
[startup+230.117 s]
/proc/loadavg: 8.46 10.41 12.04 18/292 3926
/proc/meminfo: memFree=16046780/32770624 swapFree=5800/276500
[pid=3886] ppid=3883 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3886/stat : 3886 (xcsp3-exec) S 3883 3886 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4246068 9740288 346 33554432000 4194304 5098028 140731189432976 140731189431080 139625156092540 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33411072 140731189437582 140731189437792 140731189437792 140731189440491 0
/proc/3886/statm: 2378 346 289 221 0 87 0
[pid=3887] ppid=3886 vsize=0 CPUtime=306.57 cores=1,3,5,7,9,11,13,15
/proc/3887/stat : 3887 (java) Z 3886 3886 7621 0 -1 4227084 138192 0 0 0 29455 1202 0 0 20 0 2 0 4246068 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3887/statm: 0 0 0 0 0 0 0
[pid=3887/tid=3902] ppid=3886 vsize=0 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/3887/task/3902/stat : 3902 (java) R 3886 3886 7621 0 -1 4203588 10929 0 0 0 299 4 0 0 20 0 2 0 4246077 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 306.57
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 230.121
CPU time (s): 306.587
CPU user time (s): 294.556
CPU system time (s): 12.0309
CPU usage (%): 133.229
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 294.556
system time used= 12.0309
maximum resident set size= 5428308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14288
involuntary context switches= 18379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54961 second user time and 2.01676 second system time
The end