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 (14421 MiB free)
memory of node 1: 16384 MiB (15024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399353-1568699238/watcher-4399353-1568699238 -o /tmp/evaluation-result-4399353-1568699238/solver-4399353-1568699238 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25964 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1937699134 HOME/instance-4399353-1568699238.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=29380, runsolver pid=29377
[startup+0.100319 s]*
/proc/loadavg: 8.70 8.74 8.62 7/232 29396
/proc/meminfo: memFree=30134612/32770624 swapFree=67000032/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15144776 memory=29376 CPUtime=0.13 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 5820 0 0 0 12 1 0 0 20 0 15 0 446178253 15508250624 7344 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3786194 7344 3123 1 0 3748377 0
[pid=29382/tid=29383] ppid=29380 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) R 29380 29380 25933 0 -1 4202560 3739 0 0 0 8 1 0 0 20 0 15 0 446178253 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065581294384 140065569295166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15144776 memory=4050063308327184032 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446178255 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446178256 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065044628768 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446178256 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065043576432 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178258 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) R 29380 29380 25933 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 15 0 446178258 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065041471600 140065556283151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) R 29380 29380 25933 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 446178258 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15144776 memory=140641802348160 CPUtime=0.02 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) R 29380 29380 25933 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 446178258 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065039366512 140065556018069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178259 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178259 15508250624 7344 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30828 KiB
[startup+0.213102 s]*
/proc/loadavg: 8.70 8.74 8.62 6/232 29396
/proc/meminfo: memFree=30122316/32770624 swapFree=67000032/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15144776 memory=40968 CPUtime=0.34 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 446178253 15508250624 10242 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3786194 10242 3296 1 0 3748377 0
[pid=29382/tid=29383] ppid=29380 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) R 29380 29380 25933 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 446178253 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065581293024 140065577069974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15144776 memory=140641805511973 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446178254 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15144776 memory=140641802348160 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446178255 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446178256 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065044628768 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446178256 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065043576432 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178258 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) S 29380 29380 25933 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 15 0 446178258 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065041471600 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) S 29380 29380 25933 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 15 0 446178258 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15144776 memory=140641802348160 CPUtime=0.08 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) R 29380 29380 25933 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 446178258 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065039366512 140065561138526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178259 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178259 15508250624 10242 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42420 KiB
[startup+0.310458 s]*
/proc/loadavg: 8.70 8.74 8.62 6/232 29396
/proc/meminfo: memFree=30117780/32770624 swapFree=67000032/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15149032 memory=50312 CPUtime=0.53 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 10911 0 0 0 49 4 0 0 20 0 15 0 446178253 15512608768 12578 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3787258 12578 3340 1 0 3748377 0
[pid=29382/tid=29383] ppid=29380 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) R 29380 29380 25933 0 -1 4202560 7845 0 0 0 27 3 0 0 20 0 15 0 446178253 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065581289152 140065561138526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178254 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446178254 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446178255 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446178256 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065044628768 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446178256 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065043576432 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178258 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) S 29380 29380 25933 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 15 0 446178258 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065041471600 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) S 29380 29380 25933 0 -1 1077944384 517 0 0 0 5 0 0 0 20 0 15 0 446178258 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) S 29380 29380 25933 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 15 0 446178258 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065039366512 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446178259 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446178259 15512608768 12578 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51764 KiB
[startup+0.705316 s]
/proc/loadavg: 8.70 8.74 8.62 9/232 29396
/proc/meminfo: memFree=30100848/32770624 swapFree=67000032/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15417412 memory=79608 CPUtime=1.72 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 14832 0 0 0 166 6 0 0 20 0 19 0 446178253 15787429888 19902 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3854353 19902 3448 1 0 3815453 0
[pid=29382/tid=29383] ppid=29380 vsize=15417412 memory=-3704326594973231466 CPUtime=0.52 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) S 29380 29380 25933 0 -1 1077944384 9188 0 0 0 48 4 0 0 20 0 19 0 446178253 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065581298816 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446178254 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446178254 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446178254 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15417412 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446178254 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15417412 memory=948 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446178255 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065044628768 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15417412 memory=9492 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065043576432 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178258 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15417412 memory=628 CPUtime=0.2 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) R 29380 29380 25933 0 -1 4202560 1180 0 0 0 20 0 0 0 20 0 19 0 446178258 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065041457624 140065560442965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15417412 memory=1056 CPUtime=0.22 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) R 29380 29380 25933 0 -1 4202560 1109 0 0 0 22 0 0 0 20 0 19 0 446178258 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065040399816 140065554652816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15417412 memory=1724 CPUtime=0.32 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) R 29380 29380 25933 0 -1 1077944384 1841 0 0 0 32 0 0 0 20 0 19 0 446178258 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065039366512 140065577069186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15417412 memory=6056 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178259 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15417412 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446178259 15787429888 19902 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 81060 KiB
[startup+1.50332 s]
/proc/loadavg: 8.70 8.74 8.62 12/236 29400
/proc/meminfo: memFree=30083164/32770624 swapFree=67000032/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 59722 0 0 0 231548 43 0 0 20 0 19 0 446178253 15787429888 100326 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3854353 100326 3522 1 0 3815453 0
[pid=29382/tid=29383] ppid=29380 vsize=15417412 memory=401304 CPUtime=0.52 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) S 29380 29380 25933 0 -1 1077944384 9188 0 0 0 48 4 0 0 20 0 19 0 446178253 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065581298816 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.41 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 2041 0 0 0 36 5 0 0 20 0 19 0 446178254 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15417412 memory=401304 CPUtime=0.42 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 2561 0 0 0 37 5 0 0 20 0 19 0 446178254 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15417412 memory=401304 CPUtime=0.41 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 2221 0 0 0 37 4 0 0 20 0 19 0 446178254 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15417412 memory=401304 CPUtime=0.41 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 1497 0 0 0 36 5 0 0 20 0 19 0 446178254 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.34 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 2879 0 0 0 20 14 0 0 20 0 19 0 446178255 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15417412 memory=323480 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065044628832 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15417412 memory=401304 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065043576448 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15417412 memory=401304 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178258 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15417412 memory=401304 CPUtime=2.02 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) S 29380 29380 25933 0 -1 1077944384 10932 0 0 0 201 1 0 0 20 0 19 0 446178258 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065041471600 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15417412 memory=401304 CPUtime=2.21 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) S 29380 29380 25933 0 -1 1077944384 13154 0 0 0 220 1 0 0 20 0 19 0 446178258 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.49 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) S 29380 29380 25933 0 -1 1077944384 5893 0 0 0 49 0 0 0 20 0 19 0 446178258 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065039366512 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178259 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15417412 memory=401304 CPUtime=0.1 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 780 0 0 0 0 10 0 0 20 0 19 0 446178259 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29397] ppid=29380 vsize=15417412 memory=386968 CPUtime=576.99 cores=0,2,4,6
/proc/29382/task/29397/stat : 29397 (java) R 29380 29380 25933 0 -1 4202560 870 0 0 0 57699 0 0 0 20 0 19 0 446178307 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065028041880 140065213076195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29398] ppid=29380 vsize=15417412 memory=2024 CPUtime=576.26 cores=0,2,4,6
/proc/29382/task/29398/stat : 29398 (java) R 29380 29380 25933 0 -1 4202560 3567 0 0 0 57624 2 0 0 20 0 19 0 446178308 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065026993424 140065215002876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29399] ppid=29380 vsize=15417412 memory=1380 CPUtime=576.9 cores=0,2,4,6
/proc/29382/task/29399/stat : 29399 (java) R 29380 29380 25933 0 -1 4202560 893 0 0 0 57690 0 0 0 20 0 19 0 446178308 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065025937664 140065213070026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29400] ppid=29380 vsize=15417412 memory=1452 CPUtime=578.29 cores=0,2,4,6
/proc/29382/task/29400/stat : 29400 (java) R 29380 29380 25933 0 -1 4202560 1824 0 0 0 57829 0 0 0 20 0 19 0 446178308 15787429888 100326 33554432000 4194304 4196468 140735155554976 140065024884376 140065213761076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 2315.91 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 402756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.701 s]
/proc/loadavg: 8.37 8.45 8.53 10/236 29575
/proc/meminfo: memFree=28403768/32770624 swapFree=67000036/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15417412 memory=298888 CPUtime=2520.3 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 64280 0 0 0 251982 48 0 0 20 0 19 0 446178253 15787429888 74722 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3854353 74722 3536 1 0 3815453 0
[pid=29382/tid=29383] ppid=29380 vsize=15417412 memory=297172 CPUtime=0.52 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) S 29380 29380 25933 0 -1 1077944384 9188 0 0 0 48 4 0 0 20 0 19 0 446178253 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065581298816 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15417412 memory=296272 CPUtime=0.5 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 2433 0 0 0 45 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15417412 memory=298888 CPUtime=0.5 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 2708 0 0 0 45 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 2453 0 0 0 46 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15417412 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 1619 0 0 0 45 6 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15417412 memory=296784 CPUtime=0.4 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 6346 0 0 0 23 17 0 0 20 0 19 0 446178255 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065044628832 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15417412 memory=401304 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065043576448 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15417412 memory=35864 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15417412 memory=984 CPUtime=2.02 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) S 29380 29380 25933 0 -1 1077944384 10932 0 0 0 201 1 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065041471600 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15417412 memory=297172 CPUtime=2.21 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) S 29380 29380 25933 0 -1 1077944384 13154 0 0 0 220 1 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.49 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) S 29380 29380 25933 0 -1 1077944384 5893 0 0 0 49 0 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065039366512 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15417412 memory=61828 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178259 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15417412 memory=61970 CPUtime=0.11 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 789 0 0 0 0 11 0 0 20 0 19 0 446178259 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29397] ppid=29380 vsize=15417412 memory=1452 CPUtime=627.84 cores=0,2,4,6
/proc/29382/task/29397/stat : 29397 (java) R 29380 29380 25933 0 -1 4202560 893 0 0 0 62784 0 0 0 20 0 19 0 446178307 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065028041520 140065213763391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29398] ppid=29380 vsize=15417412 memory=296272 CPUtime=627.29 cores=0,2,4,6
/proc/29382/task/29398/stat : 29398 (java) R 29380 29380 25933 0 -1 4202560 3659 0 0 0 62727 2 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065026993264 140065213760926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29399] ppid=29380 vsize=15417412 memory=1452 CPUtime=627.94 cores=0,2,4,6
/proc/29382/task/29399/stat : 29399 (java) R 29380 29380 25933 0 -1 4202560 915 0 0 0 62794 0 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065025937912 140065213760932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29400] ppid=29380 vsize=15417412 memory=3624 CPUtime=629.32 cores=0,2,4,6
/proc/29382/task/29400/stat : 29400 (java) R 29380 29380 25933 0 -1 4202560 1876 0 0 0 62932 0 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065024884680 140065213763746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 300340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.734 s]
# the end of solver process 29380 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001077 s, system=0.001077 s
[startup+633.764 s]
# the end of solver process 29382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.06 s, system=0.485266 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.701 s]
/proc/loadavg: 8.37 8.45 8.53 10/236 29575
/proc/meminfo: memFree=28403768/32770624 swapFree=67000036/67108860
[pid=29380] ppid=29377 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29380/stat : 29380 (xcsp3-exec) S 29377 29380 25933 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446178253 115843072 363 33554432000 4194304 5098028 140723091314256 140723091312360 139987349602940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40091648 140723091321722 140723091321965 140723091321965 140723091324874 0
/proc/29380/statm: 28282 363 304 221 0 87 0
[pid=29382] ppid=29380 vsize=15417412 memory=298888 CPUtime=2520.3 cores=0,2,4,6
/proc/29382/stat : 29382 (java) S 29380 29380 25933 0 -1 1077944320 64280 0 0 0 251982 48 0 0 20 0 19 0 446178253 15787429888 74722 33554432000 4194304 4196468 140735155554976 140735155537520 140065577058039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
/proc/29382/statm: 3854353 74722 3536 1 0 3815453 0
[pid=29382/tid=29383] ppid=29380 vsize=15417412 memory=297172 CPUtime=0.52 cores=0,2,4,6
/proc/29382/task/29383/stat : 29383 (java) S 29380 29380 25933 0 -1 1077944384 9188 0 0 0 48 4 0 0 20 0 19 0 446178253 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065581298816 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29384] ppid=29380 vsize=15417412 memory=296272 CPUtime=0.5 cores=0,2,4,6
/proc/29382/task/29384/stat : 29384 (java) S 29380 29380 25933 0 -1 1077944384 2433 0 0 0 45 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065529678224 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29385] ppid=29380 vsize=15417412 memory=298888 CPUtime=0.5 cores=0,2,4,6
/proc/29382/task/29385/stat : 29385 (java) S 29380 29380 25933 0 -1 1077944384 2708 0 0 0 45 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065528625424 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29386] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.51 cores=0,2,4,6
/proc/29382/task/29386/stat : 29386 (java) S 29380 29380 25933 0 -1 1077944384 2453 0 0 0 46 5 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065167563408 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29387] ppid=29380 vsize=15417412 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/29382/task/29387/stat : 29387 (java) S 29380 29380 25933 0 -1 1077944384 1619 0 0 0 45 6 0 0 20 0 19 0 446178254 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065166510608 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29388] ppid=29380 vsize=15417412 memory=296784 CPUtime=0.4 cores=0,2,4,6
/proc/29382/task/29388/stat : 29388 (java) S 29380 29380 25933 0 -1 1077944384 6346 0 0 0 23 17 0 0 20 0 19 0 446178255 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065045682800 140065577069186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29389] ppid=29380 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29389/stat : 29389 (java) S 29380 29380 25933 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065044628832 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29390] ppid=29380 vsize=15417412 memory=401304 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29390/stat : 29390 (java) S 29380 29380 25933 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 446178256 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065043576448 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29391] ppid=29380 vsize=15417412 memory=35864 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29391/stat : 29391 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065042524752 140065577076635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29392] ppid=29380 vsize=15417412 memory=984 CPUtime=2.02 cores=0,2,4,6
/proc/29382/task/29392/stat : 29392 (java) S 29380 29380 25933 0 -1 1077944384 10932 0 0 0 201 1 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065041471600 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29393] ppid=29380 vsize=15417412 memory=297172 CPUtime=2.21 cores=0,2,4,6
/proc/29382/task/29393/stat : 29393 (java) S 29380 29380 25933 0 -1 1077944384 13154 0 0 0 220 1 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065040418800 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29394] ppid=29380 vsize=15417412 memory=1452 CPUtime=0.49 cores=0,2,4,6
/proc/29382/task/29394/stat : 29394 (java) S 29380 29380 25933 0 -1 1077944384 5893 0 0 0 49 0 0 0 20 0 19 0 446178258 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065039366512 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29395] ppid=29380 vsize=15417412 memory=61828 CPUtime=0 cores=0,2,4,6
/proc/29382/task/29395/stat : 29395 (java) S 29380 29380 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446178259 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065038313952 140065577068245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29396] ppid=29380 vsize=15417412 memory=61970 CPUtime=0.11 cores=0,2,4,6
/proc/29382/task/29396/stat : 29396 (java) S 29380 29380 25933 0 -1 1077944384 789 0 0 0 0 11 0 0 20 0 19 0 446178259 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065037261744 140065577069186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29397] ppid=29380 vsize=15417412 memory=1452 CPUtime=627.84 cores=0,2,4,6
/proc/29382/task/29397/stat : 29397 (java) R 29380 29380 25933 0 -1 4202560 893 0 0 0 62784 0 0 0 20 0 19 0 446178307 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065028041520 140065213763391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29398] ppid=29380 vsize=15417412 memory=296272 CPUtime=627.29 cores=0,2,4,6
/proc/29382/task/29398/stat : 29398 (java) R 29380 29380 25933 0 -1 4202560 3659 0 0 0 62727 2 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065026993264 140065213760926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29399] ppid=29380 vsize=15417412 memory=1452 CPUtime=627.94 cores=0,2,4,6
/proc/29382/task/29399/stat : 29399 (java) R 29380 29380 25933 0 -1 4202560 915 0 0 0 62794 0 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065025937912 140065213760932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
[pid=29382/tid=29400] ppid=29380 vsize=15417412 memory=3624 CPUtime=629.32 cores=0,2,4,6
/proc/29382/task/29400/stat : 29400 (java) R 29380 29380 25933 0 -1 4202560 1876 0 0 0 62932 0 0 0 20 0 19 0 446178308 15787429888 74722 33554432000 4194304 4196468 140735155554976 140065024884680 140065213763746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140735155561455 140735155561626 140735155561626 140735155564495 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 300340 KiB
Child status: 143
Real time (s): 633.765
CPU time (s): 2520.55
CPU user time (s): 2520.06
CPU system time (s): 0.485266
CPU usage (%): 397.71
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 435632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.485266
maximum resident set size= 462116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22960
involuntary context switches= 42521
# summary of solver processes directly reported to runsolver:
# pid: 29380,29382
# total CPU time (s): 2520.55
# total CPU user time (s): 2520.06
# total CPU system time (s): 0.485266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86366 second user time and 6.70163 second system time
The end