runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13126 MiB free)
memory of node 1: 16384 MiB (15514 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399204-1568687579/watcher-4399204-1568687579 -o /tmp/evaluation-result-4399204-1568687579/solver-4399204-1568687579 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 480163030 HOME/instance-4399204-1568687579.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21898, runsolver pid=21895
Current StackSize limit: 8192 KiB
[startup+0.100445 s]*
/proc/loadavg: 8.21 8.37 8.47 7/234 21914
/proc/meminfo: memFree=29312788/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15144776 memory=27648 CPUtime=0.12 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 5902 0 0 0 12 0 0 0 20 0 15 0 445010923 15508250624 6912 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3786194 6912 3112 1 0 3748377 0
[pid=21900/tid=21901] ppid=21898 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) R 21898 21898 14983 0 -1 4202560 3750 0 0 0 9 0 0 0 20 0 15 0 445010923 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525796331216 140525428039419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010925 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445010926 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525259228704 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445010926 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525258175856 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) R 21898 21898 14983 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525256063040 140525775531729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525255018832 140525792106197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0.02 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) R 21898 21898 14983 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 445010928 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525253965936 140525784333118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010929 15508250624 6978 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29100 KiB
[startup+0.210822 s]*
/proc/loadavg: 8.21 8.37 8.47 6/234 21914
/proc/meminfo: memFree=29300228/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15144776 memory=39700 CPUtime=0.33 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 9682 0 0 0 31 2 0 0 20 0 15 0 445010923 15508250624 9925 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3786194 9925 3280 1 0 3748377 0
[pid=21900/tid=21901] ppid=21898 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) R 21898 21898 14983 0 -1 4202560 6685 0 0 0 18 1 0 0 20 0 15 0 445010923 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525796325712 140525792107926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15144776 memory=288370380889589376 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445010925 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445010926 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525259228704 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445010926 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525258175856 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) S 21898 21898 14983 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 445010928 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525256071536 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) S 21898 21898 14983 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 445010928 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525255018736 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15144776 memory=140004737877632 CPUtime=0.08 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) R 21898 21898 14983 0 -1 4202560 889 0 0 0 8 0 0 0 20 0 15 0 445010928 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525253965936 140525770771057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010929 15508250624 9925 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41152 KiB
[startup+0.311543 s]*
/proc/loadavg: 8.21 8.37 8.47 7/234 21914
/proc/meminfo: memFree=29292804/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15149032 memory=49172 CPUtime=0.53 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 11165 0 0 0 49 4 0 0 20 0 15 0 445010923 15512608768 12293 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3787258 12293 3362 1 0 3748377 0
[pid=21900/tid=21901] ppid=21898 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) R 21898 21898 14983 0 -1 4202560 7832 0 0 0 27 3 0 0 20 0 15 0 445010923 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525796323664 140525776176478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15149032 memory=288230376155155389 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010924 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445010925 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445010926 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525259228704 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445010926 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525258175856 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) S 21898 21898 14983 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 445010928 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525256071536 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 504 0 0 0 5 0 0 0 20 0 15 0 445010928 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525254999752 140525771352667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) S 21898 21898 14983 0 -1 1077944384 1075 0 0 0 12 0 0 0 20 0 15 0 445010928 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525253965936 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010929 15512608768 12293 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50624 KiB
[startup+0.700834 s]
/proc/loadavg: 8.21 8.37 8.47 8/234 21914
/proc/meminfo: memFree=29274784/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15151156 memory=110824 CPUtime=1.68 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 14759 0 0 0 163 5 0 0 20 0 15 0 445010923 15514783744 27706 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3787789 27706 3443 1 0 3748889 0
[pid=21900/tid=21901] ppid=21898 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) R 21898 21898 14983 0 -1 4202560 8404 0 0 0 64 4 0 0 20 0 15 0 445010923 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525796334464 140525430516406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010924 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445010924 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445010925 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445010926 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525259228704 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445010926 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525258175856 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15151156 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) R 21898 21898 14983 0 -1 4202560 1631 0 0 0 32 0 0 0 20 0 15 0 445010928 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525256057416 140525773640209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15151156 memory=111628 CPUtime=0.36 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 1624 0 0 0 36 0 0 0 20 0 15 0 445010928 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525255008528 140525771342543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15151156 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) S 21898 21898 14983 0 -1 1077944384 1792 0 0 0 29 0 0 0 20 0 15 0 445010928 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525253965936 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445010928 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445010929 15514783744 27706 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 112276 KiB
[startup+1.50082 s]
/proc/loadavg: 8.11 8.35 8.46 7/234 21914
/proc/meminfo: memFree=29188036/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15420488 memory=395048 CPUtime=10 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 34169 0 0 0 980 20 0 0 20 0 19 0 445010923 15790579712 98762 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3855122 98762 3517 1 0 3816222 0
[pid=21900/tid=21901] ppid=21898 vsize=15420488 memory=1452 CPUtime=2.44 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) S 21898 21898 14983 0 -1 1077944384 11122 0 0 0 237 7 0 0 20 0 19 0 445010923 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525796336768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15420488 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 380 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 185 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 610 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 335 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15420488 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 19 0 445010925 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15420488 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525259228768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525258175872 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15420488 memory=0 CPUtime=2.56 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) R 21898 21898 14983 0 -1 4202560 6258 0 0 0 254 2 0 0 20 0 19 0 445010928 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525256059504 140525769691008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15420488 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 7848 0 0 0 249 1 0 0 20 0 19 0 445010928 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525255006176 140525776980423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15420488 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) S 21898 21898 14983 0 -1 1077944384 5003 0 0 0 78 1 0 0 20 0 19 0 445010928 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525253965936 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445010929 15790579712 98762 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 396500 KiB
[startup+3.61 s]
/proc/loadavg: 8.11 8.35 8.46 8/238 21926
/proc/meminfo: memFree=28939492/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15420488 memory=395600 CPUtime=11.46 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 34334 0 0 0 1125 21 0 0 20 0 19 0 445010923 15790579712 98900 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3855122 98900 3535 1 0 3816222 0
[pid=21900/tid=21901] ppid=21898 vsize=15420488 memory=280009185256896 CPUtime=2.44 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) S 21898 21898 14983 0 -1 1077944384 11122 0 0 0 237 7 0 0 20 0 19 0 445010923 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525796336768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15420488 memory=2465 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 380 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15420488 memory=288230596084498767 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 185 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15420488 memory=288230376155252866 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 610 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 335 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 19 0 445010925 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525259228768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525258175872 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15420488 memory=0 CPUtime=2.84 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) R 21898 21898 14983 0 -1 4202560 6333 0 0 0 282 2 0 0 20 0 19 0 445010928 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525256071424 140525772461559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15420488 memory=0 CPUtime=2.68 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 7879 0 0 0 267 1 0 0 20 0 19 0 445010928 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525255007296 140525775581183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15420488 memory=7163354974217332825 CPUtime=0.82 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) R 21898 21898 14983 0 -1 4202560 5051 0 0 0 81 1 0 0 20 0 19 0 445010928 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525253965936 140525770876657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15420488 memory=7445698556795053905 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15420488 memory=7667777910994391657 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445010929 15790579712 98900 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 11.46 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 397052 KiB
[startup+3.8014 s]
/proc/loadavg: 8.11 8.35 8.46 8/238 21926
/proc/meminfo: memFree=28939492/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15420488 memory=396292 CPUtime=12.22 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 34530 0 0 0 1201 21 0 0 20 0 19 0 445010923 15790579712 99073 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3855122 99073 3540 1 0 3816222 0
[pid=21900/tid=21901] ppid=21898 vsize=15420488 memory=2512 CPUtime=2.44 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) S 21898 21898 14983 0 -1 1077944384 11122 0 0 0 237 7 0 0 20 0 19 0 445010923 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525796336768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15420488 memory=1436 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 380 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15420488 memory=812 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 185 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15420488 memory=1764 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 610 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15420488 memory=111628 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 335 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15420488 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 19 0 445010925 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15420488 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525259228768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15420488 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525258175872 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15420488 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15420488 memory=2668 CPUtime=2.93 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) R 21898 21898 14983 0 -1 4202560 6353 0 0 0 291 2 0 0 20 0 19 0 445010928 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525256058384 140525776493077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15420488 memory=2700 CPUtime=2.78 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 8027 0 0 0 277 1 0 0 20 0 19 0 445010928 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525255005584 140525776980423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15420488 memory=4100 CPUtime=0.85 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) R 21898 21898 14983 0 -1 1077944384 5079 0 0 0 83 2 0 0 20 0 19 0 445010928 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525253965936 140525792107138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15420488 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445010929 15790579712 99073 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 397744 KiB
[startup+3.90641 s]
/proc/loadavg: 8.11 8.35 8.46 8/238 21926
/proc/meminfo: memFree=28939492/32770624 swapFree=66997372/67108860
[pid=21898] ppid=21895 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21898/stat : 21898 (xcsp3-exec) S 21895 21898 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445010922 115843072 363 33554432000 4194304 5098028 140725924423120 140725924421224 139932885926524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33288192 140725924430715 140725924430957 140725924430957 140725924433866 0
/proc/21898/statm: 28282 363 304 221 0 87 0
[pid=21900] ppid=21898 vsize=15420488 memory=396524 CPUtime=12.63 cores=1,3,5,7
/proc/21900/stat : 21900 (java) S 21898 21898 14983 0 -1 1077944320 34586 0 0 0 1242 21 0 0 20 0 19 0 445010923 15790579712 99131 33554432000 4194304 4196468 140732527542144 140732527524688 140525792095991 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
/proc/21900/statm: 3855122 99131 3540 1 0 3816222 0
[pid=21900/tid=21901] ppid=21898 vsize=15420488 memory=0 CPUtime=2.44 cores=1,3,5,7
/proc/21900/task/21901/stat : 21901 (java) S 21898 21898 14983 0 -1 1077944384 11122 0 0 0 237 7 0 0 20 0 19 0 445010923 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525796336768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21902] ppid=21898 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21902/stat : 21902 (java) S 21898 21898 14983 0 -1 1077944384 380 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525761809040 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21903] ppid=21898 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21900/task/21903/stat : 21903 (java) S 21898 21898 14983 0 -1 1077944384 185 0 0 0 5 1 0 0 20 0 19 0 445010924 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525383059984 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21904] ppid=21898 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21904/stat : 21904 (java) S 21898 21898 14983 0 -1 1077944384 610 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525382007184 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21905] ppid=21898 vsize=15420488 memory=4121224342127470689 CPUtime=0.05 cores=1,3,5,7
/proc/21900/task/21905/stat : 21905 (java) S 21898 21898 14983 0 -1 1077944384 335 0 0 0 4 1 0 0 20 0 19 0 445010924 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525380954384 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21906] ppid=21898 vsize=15420488 memory=9319 CPUtime=0.01 cores=1,3,5,7
/proc/21900/task/21906/stat : 21906 (java) S 21898 21898 14983 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 19 0 445010925 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525260282736 140525792107138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21907] ppid=21898 vsize=15420488 memory=3525043 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21907/stat : 21907 (java) S 21898 21898 14983 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525259228768 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21908] ppid=21898 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21908/stat : 21908 (java) S 21898 21898 14983 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445010926 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525258175872 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21909] ppid=21898 vsize=15420488 memory=202276 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21909/stat : 21909 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525257124176 140525792114587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21910] ppid=21898 vsize=15420488 memory=140004592500646 CPUtime=2.97 cores=1,3,5,7
/proc/21900/task/21910/stat : 21910 (java) S 21898 21898 14983 0 -1 1077944384 6365 0 0 0 295 2 0 0 20 0 19 0 445010928 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525256071536 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21911] ppid=21898 vsize=15420488 memory=-9001733975035308135 CPUtime=2.86 cores=1,3,5,7
/proc/21900/task/21911/stat : 21911 (java) R 21898 21898 14983 0 -1 4202560 8039 0 0 0 285 1 0 0 20 0 19 0 445010928 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525255005280 140525784385440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21912] ppid=21898 vsize=15420488 memory=-7385037589438827369 CPUtime=0.87 cores=1,3,5,7
/proc/21900/task/21912/stat : 21912 (java) R 21898 21898 14983 0 -1 1077944384 5111 0 0 0 85 2 0 0 20 0 19 0 445010928 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525253965936 140525792107138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21913] ppid=21898 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21913/stat : 21913 (java) S 21898 21898 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445010928 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525252913376 140525792106197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
[pid=21900/tid=21914] ppid=21898 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21900/task/21914/stat : 21914 (java) S 21898 21898 14983 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445010929 15790579712 99131 33554432000 4194304 4196468 140732527542144 140525251861680 140525792107138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12226560 140732527543279 140732527543450 140732527543450 140732527546319 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 397976 KiB
Child status: 0
Real time (s): 4.00209
CPU time (s): 12.9492
CPU user time (s): 12.7258
CPU system time (s): 0.223447
CPU usage (%): 323.562
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 398668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7258
system time used= 0.223447
maximum resident set size= 398416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2722
involuntary context switches= 362
# summary of solver processes directly reported to runsolver:
# pid: 21898
# total CPU time (s): 12.9492
# total CPU user time (s): 12.7258
# total CPU system time (s): 0.223447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046725 second user time and 0.08309 second system time
The end