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-4255007-1501620447/watcher-4255007-1501620447 -o /tmp/evaluation-result-4255007-1501620447/solver-4255007-1501620447 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 832389539 HOME/instance-4255007-1501620447.xml
pid=11879
running on 4 cores: 1,3,5,7
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.87 1.85 1.81 3/195 11882
/proc/meminfo: memFree=31449508/32770624 swapFree=0/191956
[pid=11882] ppid=11879 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (runsolver) D 11879 11882 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10665000 24240128 106 18446744073709551615 4194304 4338465 140725781080784 140725781078424 140434719458007 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9998336 140725781082206 140725781082694 140725781082694 140725781086154 0
/proc/11882/statm: 5918 106 53 36 0 2156 0
[startup+0.10014 s]
/proc/loadavg: 1.87 1.85 1.81 3/195 11882
/proc/meminfo: memFree=31449508/32770624 swapFree=0/191956
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 1.87 1.85 1.81 3/195 11882
/proc/meminfo: memFree=31449508/32770624 swapFree=0/191956
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.305546 s]
/proc/loadavg: 1.87 1.85 1.81 3/195 11882
/proc/meminfo: memFree=31449508/32770624 swapFree=0/191956
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700365 s]
/proc/loadavg: 1.87 1.85 1.81 3/195 11882
/proc/meminfo: memFree=31449508/32770624 swapFree=0/191956
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.87 1.85 1.81 5/211 11898
/proc/meminfo: memFree=31357532/32770624 swapFree=0/191992
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 36820 0 0 0 371 8 0 0 20 0 15 0 10665006 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 30700 3184 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 8870 0 0 0 133 4 0 0 20 0 15 0 10665007 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728809595656 139728451784475 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) R 11882 11882 5131 0 -1 4202560 9213 0 0 0 97 1 0 0 20 0 15 0 10665012 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728279732560 139728786878671 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) R 11882 11882 5131 0 -1 4202560 13604 0 0 0 98 1 0 0 20 0 15 0 10665012 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728278684248 139728786880758 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 3824 0 0 0 42 0 0 0 20 0 15 0 10665012 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 30700 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.05 1.89 1.82 5/211 11898
/proc/meminfo: memFree=31331076/32770624 swapFree=0/191960
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=8.24 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 39078 0 0 0 815 9 0 0 20 0 15 0 10665006 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 41479 3192 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 9633 0 0 0 292 5 0 0 20 0 15 0 10665007 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728809593792 139728452619180 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=2.4 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) R 11882 11882 5131 0 -1 4202560 9633 0 0 0 239 1 0 0 20 0 15 0 10665012 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728784605199 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=2.3 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) R 11882 11882 5131 0 -1 4202560 14310 0 0 0 229 1 0 0 20 0 15 0 10665012 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728278689056 139728790470009 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 4151 0 0 0 53 1 0 0 20 0 15 0 10665012 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 41479 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 13990244
[startup+6.30061 s]
/proc/loadavg: 2.05 1.89 1.82 3/211 11898
/proc/meminfo: memFree=31249564/32770624 swapFree=0/191972
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=13.01 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 47856 0 0 0 1290 11 0 0 20 0 15 0 10665006 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 55708 3213 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 10071 0 0 0 610 5 0 0 20 0 15 0 10665007 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728809596224 139728452669590 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=3.29 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) S 11882 11882 5131 0 -1 1077944384 12416 0 0 0 328 1 0 0 20 0 15 0 10665012 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) S 11882 11882 5131 0 -1 1077944384 17498 0 0 0 289 1 0 0 20 0 15 0 10665012 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728278698224 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 5234 0 0 0 58 1 0 0 20 0 15 0 10665012 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 526 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 55708 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 13.01
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.12 1.91 1.82 2/190 11946
/proc/meminfo: memFree=31752476/32770624 swapFree=0/191992
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=20.03 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 50720 0 0 0 1991 12 0 0 20 0 15 0 10665006 14316269568 56873 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 56873 3231 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 10806 0 0 0 1249 5 0 0 20 0 15 0 10665007 14316269568 56873 18446744073709551615 4194304 4196468 140724965711776 139728809596280 139728452318839 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 600 0 0 0 0 0 0 0 20 0 15 0 10665007 14316269568 56873 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 10665007 14316269568 56873 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
################
# More data... #
################
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 6395 0 0 0 61 1 0 0 20 0 15 0 10665012 14316269568 55045 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 55045 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 667 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 55045 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 33.26
Current children cumulated vsize (KiB) 13990244
[startup+27.2006 s]
/proc/loadavg: 2.02 1.90 1.82 3/211 11977
/proc/meminfo: memFree=31531512/32770624 swapFree=0/192028
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=34.93 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 59837 0 0 0 3479 14 0 0 20 0 15 0 10665006 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 56851 3232 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=27.02 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 12228 0 0 0 2696 6 0 0 20 0 15 0 10665007 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728809598672 139728452957421 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 10665007 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 786 0 0 0 1 0 0 0 20 0 15 0 10665009 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=3.69 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) S 11882 11882 5131 0 -1 1077944384 15778 0 0 0 368 1 0 0 20 0 15 0 10665012 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=3.4 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) S 11882 11882 5131 0 -1 1077944384 20796 0 0 0 339 1 0 0 20 0 15 0 10665012 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728278698224 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 6395 0 0 0 61 1 0 0 20 0 15 0 10665012 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 667 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 56851 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 34.93
Current children cumulated vsize (KiB) 13990244
[startup+28.8007 s]
/proc/loadavg: 2.02 1.90 1.82 3/211 11977
/proc/meminfo: memFree=31520100/32770624 swapFree=0/192032
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=36.61 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 60543 0 0 0 3647 14 0 0 20 0 15 0 10665006 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 56863 3232 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=28.62 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 12593 0 0 0 2856 6 0 0 20 0 15 0 10665007 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728809596600 139728452669990 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 10665007 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 786 0 0 0 1 0 0 0 20 0 15 0 10665009 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=3.76 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) S 11882 11882 5131 0 -1 1077944384 15961 0 0 0 375 1 0 0 20 0 15 0 10665012 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=3.4 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) S 11882 11882 5131 0 -1 1077944384 20814 0 0 0 339 1 0 0 20 0 15 0 10665012 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728278698224 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 6521 0 0 0 62 1 0 0 20 0 15 0 10665012 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 681 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 56863 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 36.61
Current children cumulated vsize (KiB) 13990244
[startup+29.6006 s]
/proc/loadavg: 2.02 1.90 1.82 3/211 11977
/proc/meminfo: memFree=31520100/32770624 swapFree=0/192032
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=37.44 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 61111 0 0 0 3730 14 0 0 20 0 15 0 10665006 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 56864 3232 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=29.42 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 12639 0 0 0 2936 6 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728809596600 139728452956731 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 787 0 0 0 1 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=3.76 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) S 11882 11882 5131 0 -1 1077944384 15962 0 0 0 375 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=3.43 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) S 11882 11882 5131 0 -1 1077944384 21334 0 0 0 342 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728278698224 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 6521 0 0 0 62 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 681 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 37.44
Current children cumulated vsize (KiB) 13990244
[startup+29.8064 s]
/proc/loadavg: 2.02 1.90 1.82 3/211 11977
/proc/meminfo: memFree=31519976/32770624 swapFree=0/192032
[pid=11882] ppid=11879 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11882/stat : 11882 (xcsp3-exec) S 11879 11882 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10665000 9740288 344 18446744073709551615 4194304 5098028 140736291978352 140736291976456 140263939576444 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 30011392 140736291983772 140736291983975 140736291983975 140736291987435 0
/proc/11882/statm: 2378 344 289 221 0 87 0
[pid=11884] ppid=11882 vsize=13980732 CPUtime=37.64 cores=1,3,5,7
/proc/11884/stat : 11884 (java) S 11882 11882 5131 0 -1 1077944320 61111 0 0 0 3750 14 0 0 20 0 15 0 10665006 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 140724965694320 139728805359351 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
/proc/11884/statm: 3495183 56864 3232 1 0 3483484 0
[pid=11884/tid=11885] ppid=11882 vsize=13980732 CPUtime=29.62 cores=1,3,5,7
/proc/11884/task/11885/stat : 11885 (java) R 11882 11882 5131 0 -1 4202560 12639 0 0 0 2956 6 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728809596600 139728451784828 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11886] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11886/stat : 11886 (java) S 11882 11882 5131 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728405949072 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11887] ppid=11882 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11884/task/11887/stat : 11887 (java) S 11882 11882 5131 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728404896272 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11888] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11888/stat : 11888 (java) S 11882 11882 5131 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728403843472 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11889] ppid=11882 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11884/task/11889/stat : 11889 (java) S 11882 11882 5131 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 10665007 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728402790672 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11890] ppid=11882 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11884/task/11890/stat : 11890 (java) S 11882 11882 5131 0 -1 1077944384 787 0 0 0 1 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728283962224 139728805370498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11891] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11891/stat : 11891 (java) S 11882 11882 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728282908192 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11892] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11892/stat : 11892 (java) S 11882 11882 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10665009 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728281855344 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11893] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11893/stat : 11893 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728280803664 139728805377947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11894] ppid=11882 vsize=13980732 CPUtime=3.76 cores=1,3,5,7
/proc/11884/task/11894/stat : 11894 (java) S 11882 11882 5131 0 -1 1077944384 15962 0 0 0 375 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728279751024 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11895] ppid=11882 vsize=13980732 CPUtime=3.43 cores=1,3,5,7
/proc/11884/task/11895/stat : 11895 (java) S 11882 11882 5131 0 -1 1077944384 21334 0 0 0 342 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728278698224 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11896] ppid=11882 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/11884/task/11896/stat : 11896 (java) S 11882 11882 5131 0 -1 1077944384 6521 0 0 0 62 1 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728277645424 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11897] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11897/stat : 11897 (java) S 11882 11882 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10665012 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728276592864 139728805369557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
[pid=11884/tid=11898] ppid=11882 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11884/task/11898/stat : 11898 (java) S 11882 11882 5131 0 -1 1077944384 681 0 0 0 0 0 0 0 20 0 15 0 10665017 14316269568 56864 18446744073709551615 4194304 4196468 140724965711776 139728275541168 139728805370498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23760896 140724965720532 140724965720707 140724965720707 140724965724111 0
Current children cumulated CPU time (s) 37.64
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 29.8685
CPU time (s): 37.7079
CPU user time (s): 37.5612
CPU system time (s): 0.146712
CPU usage (%): 126.247
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.5612
system time used= 0.146712
maximum resident set size= 233372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62024
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= 3510
involuntary context switches= 52
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.143009 second user time and 0.178761 second system time
The end