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-4249960-1500695927/watcher-4249960-1500695927 -o /tmp/evaluation-result-4249960-1500695927/solver-4249960-1500695927 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1137496839 HOME/instance-4249960-1500695927.xml
pid=14574
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.52 11.42 13.51 10/270 14577
/proc/meminfo: memFree=26098328/32770624 swapFree=5800/288596
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[startup+0.100181 s]
/proc/loadavg: 9.52 11.42 13.51 10/270 14577
/proc/meminfo: memFree=26098328/32770624 swapFree=5800/288596
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200365 s]
/proc/loadavg: 9.52 11.42 13.51 10/270 14577
/proc/meminfo: memFree=26098328/32770624 swapFree=5800/288596
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30029 s]
/proc/loadavg: 9.52 11.42 13.51 10/270 14577
/proc/meminfo: memFree=26098328/32770624 swapFree=5800/288596
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 9.52 11.42 13.51 10/270 14577
/proc/meminfo: memFree=26098328/32770624 swapFree=5800/288596
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50104 s]
/proc/loadavg: 9.56 11.39 13.49 10/291 14598
/proc/meminfo: memFree=25788776/32770624 swapFree=5800/288968
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13269256 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 15298 0 0 0 332 47 0 0 20 0 20 0 4860435 13587718144 93850 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3317314 93850 3232 1 0 3304547 0
[pid=14578/tid=14579] ppid=14577 vsize=13269256 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) R 14577 14577 7621 0 -1 4202560 6825 0 0 0 131 7 0 0 20 0 20 0 4860435 13587718144 93850 33554432000 4194304 4196468 140729233726640 139724285550584 139723896974994 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) S 14577 14577 7621 0 -1 1077944384 68 0 0 0 4 3 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139724213451664 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) S 14577 14577 7621 0 -1 1077944384 75 0 0 0 4 4 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723879189264 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723878136976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) S 14577 14577 7621 0 -1 1077944384 67 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723877084176 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) S 14577 14577 7621 0 -1 1077944384 76 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723876030864 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) S 14577 14577 7621 0 -1 1077944384 65 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723874978064 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723873925776 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) S 14577 14577 7621 0 -1 1077944384 74 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723872872976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) S 14577 14577 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4860438 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723810703984 139724281326210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14593] ppid=14577 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14593/stat : 14593 (java) S 14577 14577 7621 0 -1 1077944384 1930 0 0 0 43 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723738691696 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14594] ppid=14577 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14594/stat : 14594 (java) S 14577 14577 7621 0 -1 1077944384 1352 0 0 0 45 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723737638896 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14595] ppid=14577 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 1613 0 0 0 42 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 1504 0 0 0 37 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723735533808 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4860443 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4860444 13587718144 93850 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13278768
[startup+3.10093 s]
/proc/loadavg: 9.56 11.39 13.49 10/291 14598
/proc/meminfo: memFree=25735956/32770624 swapFree=5800/288968
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13269256 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 15601 0 0 0 492 47 0 0 20 0 20 0 4860435 13587718144 93858 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3317314 93858 3232 1 0 3304547 0
[pid=14578/tid=14579] ppid=14577 vsize=13269256 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) R 14577 14577 7621 0 -1 4202560 7095 0 0 0 290 7 0 0 20 0 20 0 4860435 13587718144 93858 33554432000 4194304 4196468 140729233726640 139724285550160 139723896974957 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) S 14577 14577 7621 0 -1 1077944384 68 0 0 0 4 3 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139724213451664 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) S 14577 14577 7621 0 -1 1077944384 75 0 0 0 4 4 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723879189264 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723878136976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) S 14577 14577 7621 0 -1 1077944384 67 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723877084176 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) S 14577 14577 7621 0 -1 1077944384 76 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723876030864 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) S 14577 14577 7621 0 -1 1077944384 65 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723874978064 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723873925776 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) S 14577 14577 7621 0 -1 1077944384 74 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723872872976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) S 14577 14577 7621 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4860438 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723810703984 139724281326210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14593] ppid=14577 vsize=13269256 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14593/stat : 14593 (java) S 14577 14577 7621 0 -1 1077944384 1930 0 0 0 43 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723738691696 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14594] ppid=14577 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14594/stat : 14594 (java) S 14577 14577 7621 0 -1 1077944384 1352 0 0 0 45 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723737638896 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14595] ppid=14577 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 1613 0 0 0 42 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 1504 0 0 0 37 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723735533808 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4860443 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4860444 13587718144 93858 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 13278768
[startup+6.30096 s]
/proc/loadavg: 9.51 11.35 13.47 10/291 14598
/proc/meminfo: memFree=25735112/32770624 swapFree=5800/288968
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13269256 CPUtime=8.59 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 16594 0 0 0 812 47 0 0 20 0 20 0 4860435 13587718144 93920 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3317314 93920 3232 1 0 3304547 0
[pid=14578/tid=14579] ppid=14577 vsize=13269256 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) R 14577 14577 7621 0 -1 4202560 7201 0 0 0 610 7 0 0 20 0 20 0 4860435 13587718144 93920 33554432000 4194304 4196468 140729233726640 139724285550160 139723896974945 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) S 14577 14577 7621 0 -1 1077944384 68 0 0 0 4 3 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139724213451664 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) S 14577 14577 7621 0 -1 1077944384 75 0 0 0 4 4 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723879189264 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723878136976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) S 14577 14577 7621 0 -1 1077944384 67 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723877084176 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) S 14577 14577 7621 0 -1 1077944384 76 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723876030864 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) S 14577 14577 7621 0 -1 1077944384 65 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723874978064 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) S 14577 14577 7621 0 -1 1077944384 71 0 0 0 3 5 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723873925776 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) S 14577 14577 7621 0 -1 1077944384 74 0 0 0 3 4 0 0 20 0 20 0 4860436 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723872872976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) S 14577 14577 7621 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 20 0 4860438 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723810703984 139724281326210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4860439 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4860443 13587718144 93920 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
################
# More data... #
################
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 2776 0 0 0 45 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13335820 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 5431 0 0 0 42 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723735533376 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13335820 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 1036 0 0 0 18 13 0 0 20 0 21 0 4860444 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14933] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14933/stat : 14933 (java) S 14577 14577 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4914076 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723725918144 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 910.67
Current children cumulated vsize (KiB) 13345332
[startup+538.403 s]
/proc/loadavg: 11.50 10.10 11.77 17/293 14933
/proc/meminfo: memFree=17484956/32770624 swapFree=5800/289800
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13335820 CPUtime=917.04 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 221720 0 0 0 88414 3290 0 0 20 0 21 0 4860435 13655879680 2676738 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3333955 2676738 3258 1 0 3321188 0
[pid=14578/tid=14579] ppid=14577 vsize=13335820 CPUtime=474.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) S 14577 14577 7621 0 -1 1077944384 26584 0 0 0 47420 23 0 0 20 0 21 0 4860435 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139724285555744 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13335820 CPUtime=53.6 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) R 14577 14577 7621 0 -1 4202560 17294 0 0 0 4963 397 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139724213451784 139724274418042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13335820 CPUtime=53.98 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) R 14577 14577 7621 0 -1 4202560 16737 0 0 0 4964 434 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723879189384 139724266304708 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13335820 CPUtime=53.93 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) R 14577 14577 7621 0 -1 4202560 12510 0 0 0 5023 370 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723878137096 139724274418705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13335820 CPUtime=54.07 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) R 14577 14577 7621 0 -1 4202560 17536 0 0 0 5009 398 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723877084296 139724266304528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13335820 CPUtime=53.98 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) R 14577 14577 7621 0 -1 4202560 12433 0 0 0 4964 434 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723876030984 139724274418705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13335820 CPUtime=53.76 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) R 14577 14577 7621 0 -1 4202560 16672 0 0 0 4961 415 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723874978184 139724266313008 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13335820 CPUtime=53.73 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) R 14577 14577 7621 0 -1 4202560 15872 0 0 0 4947 426 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723873925896 139724274411456 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13335820 CPUtime=54.12 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) R 14577 14577 7621 0 -1 4202560 17463 0 0 0 5046 366 0 0 20 0 21 0 4860436 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723872873096 139724274418049 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13335820 CPUtime=9.02 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) S 14577 14577 7621 0 -1 1077944384 51199 0 0 0 897 5 0 0 20 0 21 0 4860438 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723810702528 139724281325269 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14593] ppid=14577 vsize=13335820 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14593/stat : 14593 (java) S 14577 14577 7621 0 -1 1077944384 3266 0 0 0 49 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723738691696 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14594] ppid=14577 vsize=13335820 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14594/stat : 14594 (java) S 14577 14577 7621 0 -1 1077944384 3571 0 0 0 55 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723737638896 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14595] ppid=14577 vsize=13335820 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 2776 0 0 0 45 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13335820 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 5431 0 0 0 42 1 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723735533376 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13335820 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 1036 0 0 0 18 13 0 0 20 0 21 0 4860444 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14933] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14933/stat : 14933 (java) S 14577 14577 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4914076 13655879680 2676738 33554432000 4194304 4196468 140729233726640 139723725918144 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 917.04
Current children cumulated vsize (KiB) 13345332
[startup+538.805 s]
/proc/loadavg: 11.50 10.10 11.77 17/293 14933
/proc/meminfo: memFree=17484956/32770624 swapFree=5800/289800
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13335820 CPUtime=920.25 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 221760 0 0 0 88734 3291 0 0 20 0 21 0 4860435 13655879680 2676764 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3333955 2676764 3258 1 0 3321188 0
[pid=14578/tid=14579] ppid=14577 vsize=13335820 CPUtime=474.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) S 14577 14577 7621 0 -1 1077944384 26584 0 0 0 47420 23 0 0 20 0 21 0 4860435 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139724285555744 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13335820 CPUtime=54.01 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) R 14577 14577 7621 0 -1 4202560 17294 0 0 0 5003 398 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139724213451784 139724274418042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13335820 CPUtime=54.38 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) R 14577 14577 7621 0 -1 4202560 16737 0 0 0 5004 434 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723879189384 139724274418042 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13335820 CPUtime=54.33 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) R 14577 14577 7621 0 -1 4202560 12510 0 0 0 5063 370 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723878137096 139724266015107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13335820 CPUtime=54.48 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) R 14577 14577 7621 0 -1 4202560 17536 0 0 0 5049 399 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723877084296 139724274418049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13335820 CPUtime=54.38 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) R 14577 14577 7621 0 -1 4202560 12433 0 0 0 5004 434 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723876030984 139724274418049 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13335820 CPUtime=54.16 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) R 14577 14577 7621 0 -1 4202560 16672 0 0 0 5001 415 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723874978184 139724274418035 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13335820 CPUtime=54.13 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) R 14577 14577 7621 0 -1 4202560 15872 0 0 0 4987 426 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723873925896 139724273943271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13335820 CPUtime=54.52 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) R 14577 14577 7621 0 -1 4202560 17503 0 0 0 5086 366 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723872873096 139724274418049 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13335820 CPUtime=9.02 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) S 14577 14577 7621 0 -1 1077944384 51199 0 0 0 897 5 0 0 20 0 21 0 4860438 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723810702528 139724281325269 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14593] ppid=14577 vsize=13335820 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14593/stat : 14593 (java) S 14577 14577 7621 0 -1 1077944384 3266 0 0 0 49 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723738691696 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14594] ppid=14577 vsize=13335820 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14594/stat : 14594 (java) S 14577 14577 7621 0 -1 1077944384 3571 0 0 0 55 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723737638896 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14595] ppid=14577 vsize=13335820 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 2776 0 0 0 45 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13335820 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 5431 0 0 0 42 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723735533376 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13335820 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 1036 0 0 0 18 13 0 0 20 0 21 0 4860444 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14933] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14933/stat : 14933 (java) S 14577 14577 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4914076 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723725918144 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 920.25
Current children cumulated vsize (KiB) 13345332
[startup+539.201 s]
/proc/loadavg: 11.50 10.10 11.77 10/293 14933
/proc/meminfo: memFree=17484832/32770624 swapFree=5800/289800
[pid=14577] ppid=14574 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14577/stat : 14577 (xcsp3-exec) S 14574 14577 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4860434 9740288 346 33554432000 4194304 5098028 140736881790624 140736881788728 140110620091004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13815808 140736881796238 140736881796448 140736881796448 140736881799147 0
/proc/14577/statm: 2378 346 289 221 0 87 0
[pid=14578] ppid=14577 vsize=13335820 CPUtime=921.61 cores=0,2,4,6,8,10,12,14
/proc/14578/stat : 14578 (java) S 14577 14577 7621 0 -1 1077944320 221888 0 0 0 88870 3291 0 0 20 0 21 0 4860435 13655879680 2676764 33554432000 4194304 4196468 140729233726640 140729233709184 139724281315063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
/proc/14578/statm: 3333955 2676764 3258 1 0 3321188 0
[pid=14578/tid=14579] ppid=14577 vsize=13335820 CPUtime=474.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14579/stat : 14579 (java) S 14577 14577 7621 0 -1 1077944384 26584 0 0 0 47420 23 0 0 20 0 21 0 4860435 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139724285555744 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14581] ppid=14577 vsize=13335820 CPUtime=54.15 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14581/stat : 14581 (java) S 14577 14577 7621 0 -1 1077944384 17294 0 0 0 5017 398 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139724213451664 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14582] ppid=14577 vsize=13335820 CPUtime=54.52 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14582/stat : 14582 (java) S 14577 14577 7621 0 -1 1077944384 16737 0 0 0 5018 434 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723879189264 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14583] ppid=14577 vsize=13335820 CPUtime=54.47 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14583/stat : 14583 (java) S 14577 14577 7621 0 -1 1077944384 12510 0 0 0 5077 370 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723878136976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14584] ppid=14577 vsize=13335820 CPUtime=54.62 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14584/stat : 14584 (java) S 14577 14577 7621 0 -1 1077944384 17536 0 0 0 5063 399 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723877084176 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14585] ppid=14577 vsize=13335820 CPUtime=54.52 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14585/stat : 14585 (java) S 14577 14577 7621 0 -1 1077944384 12433 0 0 0 5018 434 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723876030864 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14586] ppid=14577 vsize=13335820 CPUtime=54.3 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14586/stat : 14586 (java) S 14577 14577 7621 0 -1 1077944384 16672 0 0 0 5015 415 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723874978064 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14587] ppid=14577 vsize=13335820 CPUtime=54.27 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14587/stat : 14587 (java) S 14577 14577 7621 0 -1 1077944384 15872 0 0 0 5001 426 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723873925776 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14588] ppid=14577 vsize=13335820 CPUtime=54.66 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14588/stat : 14588 (java) S 14577 14577 7621 0 -1 1077944384 17503 0 0 0 5100 366 0 0 20 0 21 0 4860436 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723872872976 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14589] ppid=14577 vsize=13335820 CPUtime=9.28 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14589/stat : 14589 (java) R 14577 14577 7621 0 -1 4202560 51327 0 0 0 923 5 0 0 20 0 21 0 4860438 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723810702416 139724259685243 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14590] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14590/stat : 14590 (java) S 14577 14577 7621 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723741848928 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14591] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14591/stat : 14591 (java) S 14577 14577 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4860439 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723740796544 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14592] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14592/stat : 14592 (java) S 14577 14577 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723739744848 139724281333659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14593] ppid=14577 vsize=13335820 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14593/stat : 14593 (java) S 14577 14577 7621 0 -1 1077944384 3266 0 0 0 49 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723738691696 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14594] ppid=14577 vsize=13335820 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14594/stat : 14594 (java) S 14577 14577 7621 0 -1 1077944384 3571 0 0 0 55 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723737638896 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14595] ppid=14577 vsize=13335820 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14595/stat : 14595 (java) S 14577 14577 7621 0 -1 1077944384 2776 0 0 0 45 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723736586608 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14596] ppid=14577 vsize=13335820 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14596/stat : 14596 (java) S 14577 14577 7621 0 -1 1077944384 5431 0 0 0 42 1 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723735533376 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14597] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14597/stat : 14597 (java) S 14577 14577 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4860443 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723734481760 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14598] ppid=14577 vsize=13335820 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14598/stat : 14598 (java) S 14577 14577 7621 0 -1 1077944384 1036 0 0 0 18 13 0 0 20 0 21 0 4860444 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723733429040 139724281326210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
[pid=14578/tid=14933] ppid=14577 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14578/task/14933/stat : 14933 (java) S 14577 14577 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4914076 13655879680 2676764 33554432000 4194304 4196468 140729233726640 139723725918144 139724281325269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30748672 140729233728700 140729233728876 140729233728876 140729233731535 0
Current children cumulated CPU time (s) 921.61
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 539.281
CPU time (s): 921.691
CPU user time (s): 888.727
CPU system time (s): 32.9639
CPU usage (%): 170.911
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 888.727
system time used= 32.9639
maximum resident set size= 10707420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22732
involuntary context switches= 58452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20119 second user time and 5.6143 second system time
The end