2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	13	252.293	249.261
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 (12805 MiB free)
  memory of node 1: 16384 MiB (12520 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301349-1532878713/watcher-4301349-1532878713 -o /tmp/evaluation-result-4301349-1532878713/solver-4301349-1532878713 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20368 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301349-1532878713.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22811, runsolver pid=22808
Current StackSize limit: 8192 KiB


[startup+0.10012 s]*
/proc/loadavg: 2.26 2.19 2.27 3/216 22826
/proc/meminfo: memFree=25917028/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10659012 memory=30228 CPUtime=0.13 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 6629 0 0 0 11 2 0 0 20 0 15 0 105434605 10914828288 7557 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2664753 7557 2817 1 0 2627263 0
[pid=22811/tid=22813] ppid=22808 vsize=10659012 memory=-8773748148830245505 CPUtime=0.09 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 4465 0 0 0 8 1 0 0 20 0 15 0 105434605 10914828288 7557 33554432000 4194304 4196468 140721466139392 139783426558256 139783422358106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 7557 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 7557 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 7557 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 7557 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0.02 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 7557 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30228 KiB

[startup+0.210554 s]*
/proc/loadavg: 2.26 2.19 2.27 3/216 22826
/proc/meminfo: memFree=25905956/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10659012 memory=41816 CPUtime=0.33 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 8082 0 0 0 30 3 0 0 20 0 15 0 105434605 10914828288 10454 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2664753 10454 3003 1 0 2627263 0
[pid=22811/tid=22813] ppid=22808 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 5018 0 0 0 18 1 0 0 20 0 15 0 105434605 10914828288 10454 33554432000 4194304 4196468 140721466139392 139783426572016 139783406380389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 10454 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10659012 memory=288370642663319168 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 10454 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 10454 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914828288 10454 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434608 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 687 0 0 0 1 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0.07 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) R 22808 22811 16915 0 -1 4202560 708 0 0 0 7 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782907820608 139783422348694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10659012 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434611 10914828288 10454 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41816 KiB

[startup+0.320008 s]*
/proc/loadavg: 2.26 2.19 2.27 6/216 22826
/proc/meminfo: memFree=25898884/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10659088 memory=47852 CPUtime=0.56 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 9053 0 0 0 53 3 0 0 20 0 15 0 105434605 10914906112 11963 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2664772 11963 3072 1 0 2627263 0
[pid=22811/tid=22813] ppid=22808 vsize=10659088 memory=7022364594140610616 CPUtime=0.31 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 5640 0 0 0 29 2 0 0 20 0 15 0 105434605 10914906112 11963 33554432000 4194304 4196468 140721466139392 139783426572096 139783422348694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10659088 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914906112 11963 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10659088 memory=288370642663319168 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434606 10914906112 11963 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914906112 11963 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434606 10914906112 11963 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10659088 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105434608 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105434608 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105434608 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 795 0 0 0 4 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 448 0 0 0 5 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10659088 memory=140266511607424 CPUtime=0.13 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) R 22808 22811 16915 0 -1 4202560 801 0 0 0 13 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782907823296 139783401145727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10659088 memory=140266511607424 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105434611 10914906112 11963 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47852 KiB

[startup+0.701053 s]
/proc/loadavg: 2.26 2.19 2.27 6/216 22826
/proc/meminfo: memFree=25881820/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10725652 memory=83928 CPUtime=1.66 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 11607 0 0 0 161 5 0 0 20 0 16 0 105434605 10983067648 20982 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2681413 20982 3107 1 0 2643904 0
[pid=22811/tid=22813] ppid=22808 vsize=10725652 memory=238268947917953 CPUtime=0.68 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 6027 0 0 0 65 3 0 0 20 0 16 0 105434605 10983067648 20982 33554432000 4194304 4196468 140721466139392 139783426575312 139783019687744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10725652 memory=3977296629253554382 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 20982 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 20982 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 20982 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10725652 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 20982 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10725652 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10725652 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10725652 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10725652 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) R 22808 22811 16915 0 -1 4202560 1669 0 0 0 29 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782909916064 139783403018176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10725652 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) R 22808 22811 16915 0 -1 4202560 1007 0 0 0 31 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782908858440 139783406726186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10725652 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 1510 0 0 0 35 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10725652 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 20982 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 83928 KiB

[startup+1.50076 s]
/proc/loadavg: 2.26 2.19 2.27 3/217 22827
/proc/meminfo: memFree=25860432/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10725652 memory=88880 CPUtime=2.89 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 14222 0 0 0 284 5 0 0 20 0 16 0 105434605 10983067648 22220 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2681413 22220 3112 1 0 2643904 0
[pid=22811/tid=22813] ppid=22808 vsize=10725652 memory=10799 CPUtime=1.48 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 6299 0 0 0 145 3 0 0 20 0 16 0 105434605 10983067648 22220 33554432000 4194304 4196468 140721466139392 139783426575312 139783020096288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 22220 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 22220 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 22220 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 105434606 10983067648 22220 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 22220 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0

################
# More data... #
################

/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 1582 0 0 0 9 5 0 0 20 0 16 0 105434606 10983067648 92810 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10725652 memory=371240 CPUtime=0.15 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 1237 0 0 0 9 6 0 0 20 0 16 0 105434606 10983067648 92810 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10725652 memory=371240 CPUtime=0.01 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 1287 0 0 0 1 0 0 0 20 0 16 0 105434608 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10725652 memory=371240 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10725652 memory=371240 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10725652 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10725652 memory=371240 CPUtime=0.79 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 4859 0 0 0 79 0 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10725652 memory=371240 CPUtime=1 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 4226 0 0 0 100 0 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10725652 memory=237372 CPUtime=0.4 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 3487 0 0 0 39 1 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10725652 memory=237372 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10725652 memory=371240 CPUtime=0.04 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 764 0 0 0 3 1 0 0 20 0 16 0 105434611 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22827] ppid=22808 vsize=10725652 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22827/stat : 22827 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105434662 10983067648 92810 33554432000 4194304 4196468 140721466139392 139782904664880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 165.01 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 371240 KiB

[startup+222.301 s]
/proc/loadavg: 1.88 2.07 2.20 2/196 22887
/proc/meminfo: memFree=27781252/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10725652 memory=448020 CPUtime=225.28 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 31902 0 0 0 22486 42 0 0 20 0 16 0 105434605 10983067648 112005 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2681413 112005 3160 1 0 2643904 0
[pid=22811/tid=22813] ppid=22808 vsize=10725652 memory=448020 CPUtime=221.98 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 9096 0 0 0 22194 4 0 0 20 0 16 0 105434605 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783426575808 139783020657065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10725652 memory=426528 CPUtime=0.22 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 1316 0 0 0 15 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10725652 memory=426528 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1918 0 0 0 16 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10725652 memory=426528 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 1859 0 0 0 16 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10725652 memory=448020 CPUtime=0.24 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 1364 0 0 0 16 8 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10725652 memory=448020 CPUtime=0.01 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 1514 0 0 0 1 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10725652 memory=448020 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10725652 memory=448020 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10725652 memory=426528 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10725652 memory=4136 CPUtime=0.79 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 4862 0 0 0 79 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10725652 memory=30360 CPUtime=1 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 4234 0 0 0 100 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10725652 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 3490 0 0 0 39 1 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10725652 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10725652 memory=1232 CPUtime=0.06 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 803 0 0 0 4 2 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22827] ppid=22808 vsize=10725652 memory=956 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22827/stat : 22827 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105434662 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782904664880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 225.28 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 448020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+249.001 s]*
/proc/loadavg: 1.58 1.98 2.17 2/196 22887
/proc/meminfo: memFree=27781252/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10725652 memory=448020 CPUtime=252 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 31994 0 0 0 25158 42 0 0 20 0 16 0 105434605 10983067648 112005 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2681413 112005 3160 1 0 2643904 0
[pid=22811/tid=22813] ppid=22808 vsize=10725652 memory=6791534058613427641 CPUtime=248.69 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 9186 0 0 0 24865 4 0 0 20 0 16 0 105434605 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783426575808 139783019979435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10725652 memory=4872558044660077418 CPUtime=0.22 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 1316 0 0 0 15 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10725652 memory=4136 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1918 0 0 0 16 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10725652 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 1859 0 0 0 16 7 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10725652 memory=1292 CPUtime=0.24 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 1364 0 0 0 16 8 0 0 20 0 16 0 105434606 10983067648 112005 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10725652 memory=2436 CPUtime=0.01 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 1514 0 0 0 1 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10725652 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10725652 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 105434608 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10725652 memory=5760 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10725652 memory=4588 CPUtime=0.79 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 4862 0 0 0 79 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10725652 memory=9920 CPUtime=1 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 4234 0 0 0 100 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10725652 memory=1944 CPUtime=0.4 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 3490 0 0 0 39 1 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10725652 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10725652 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 805 0 0 0 4 3 0 0 20 0 16 0 105434611 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22827] ppid=22808 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22827/stat : 22827 (java) S 22808 22811 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105434662 10983067648 112005 33554432000 4194304 4196468 140721466139392 139782904664880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 448020 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+249.261 s]
# the end of solver process 22811 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.859 s, system=0.434084 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+249.201 s]
/proc/loadavg: 1.58 1.98 2.17 2/196 22887
/proc/meminfo: memFree=27781252/32770624 swapFree=67108792/67108860
[pid=22811] ppid=22808 vsize=10925344 memory=448256 CPUtime=252.19 cores=0,2,4,6
/proc/22811/stat : 22811 (java) S 22808 22811 16915 0 -1 1077944320 32874 0 0 0 25177 42 0 0 20 0 17 0 105434605 11187552256 112064 33554432000 4194304 4196468 140721466139392 140721466121936 139783422336759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
/proc/22811/statm: 2731336 112064 3162 1 0 2693827 0
[pid=22811/tid=22813] ppid=22808 vsize=10925344 memory=14410445029116127 CPUtime=248.88 cores=0,2,4,6
/proc/22811/task/22813/stat : 22813 (java) R 22808 22811 16915 0 -1 4202560 9337 0 0 0 24884 4 0 0 20 0 17 0 105434605 11187552256 112064 33554432000 4194304 4196468 140721466139392 139783426575808 139783020427040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22814] ppid=22808 vsize=10925344 memory=2200 CPUtime=0.22 cores=0,2,4,6
/proc/22811/task/22814/stat : 22814 (java) S 22808 22811 16915 0 -1 1077944384 1316 0 0 0 15 7 0 0 20 0 17 0 105434606 11187552256 112064 33554432000 4194304 4196468 140721466139392 139783348411152 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22815] ppid=22808 vsize=10925344 memory=7892 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22815/stat : 22815 (java) S 22808 22811 16915 0 -1 1077944384 1918 0 0 0 16 7 0 0 20 0 17 0 105434606 11187552256 112064 33554432000 4194304 4196468 140721466139392 139783347358608 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22816] ppid=22808 vsize=10925344 memory=840 CPUtime=0.23 cores=0,2,4,6
/proc/22811/task/22816/stat : 22816 (java) S 22808 22811 16915 0 -1 1077944384 1859 0 0 0 16 7 0 0 20 0 17 0 105434606 11187552256 112064 33554432000 4194304 4196468 140721466139392 139783346306064 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22817] ppid=22808 vsize=10925344 memory=1800 CPUtime=0.24 cores=0,2,4,6
/proc/22811/task/22817/stat : 22817 (java) S 22808 22811 16915 0 -1 1077944384 1364 0 0 0 16 8 0 0 20 0 17 0 105434606 11187552256 112064 33554432000 4194304 4196468 140721466139392 139783345253520 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22818] ppid=22808 vsize=10925344 memory=920 CPUtime=0.01 cores=0,2,4,6
/proc/22811/task/22818/stat : 22818 (java) S 22808 22811 16915 0 -1 1077944384 1514 0 0 0 1 0 0 0 20 0 17 0 105434608 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782914140144 139783422347906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22819] ppid=22808 vsize=10925344 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22819/stat : 22819 (java) S 22808 22811 16915 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 105434608 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782913086368 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22820] ppid=22808 vsize=10925344 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22820/stat : 22820 (java) S 22808 22811 16915 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 105434608 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782912033776 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22821] ppid=22808 vsize=10925344 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22821/stat : 22821 (java) S 22808 22811 16915 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782910982352 139783422355355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22822] ppid=22808 vsize=10925344 memory=1408 CPUtime=0.79 cores=0,2,4,6
/proc/22811/task/22822/stat : 22822 (java) S 22808 22811 16915 0 -1 1077944384 4932 0 0 0 79 0 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782909929968 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22823] ppid=22808 vsize=10925344 memory=3188 CPUtime=1 cores=0,2,4,6
/proc/22811/task/22823/stat : 22823 (java) S 22808 22811 16915 0 -1 1077944384 4312 0 0 0 100 0 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782908877424 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22824] ppid=22808 vsize=10925344 memory=448020 CPUtime=0.4 cores=0,2,4,6
/proc/22811/task/22824/stat : 22824 (java) S 22808 22811 16915 0 -1 1077944384 3601 0 0 0 39 1 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782907824880 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22825] ppid=22808 vsize=10925344 memory=448020 CPUtime=0 cores=0,2,4,6
/proc/22811/task/22825/stat : 22825 (java) S 22808 22811 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782906772576 139783422346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
[pid=22811/tid=22826] ppid=22808 vsize=10925344 memory=448020 CPUtime=0.07 cores=0,2,4,6
/proc/22811/task/22826/stat : 22826 (java) S 22808 22811 16915 0 -1 1077944384 805 0 0 0 4 3 0 0 20 0 17 0 105434611 11187552256 112064 33554432000 4194304 4196468 140721466139392 139782905719088 139783422347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15110144 140721466143862 140721466144014 140721466144014 140721466146767 0
Current children cumulated CPU time: 252.19 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 448256 KiB

Child status: 143
Real time (s): 249.261
CPU time (s): 252.293
CPU user time (s): 251.859
CPU system time (s): 0.434084
CPU usage (%): 101.216
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 448256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.859
system time used= 0.434084
maximum resident set size= 448856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7700
involuntary context switches= 336


# summary of solver processes directly reported to runsolver:
#   pid: 22811
#   total CPU time (s): 252.293
#   total CPU user time (s): 251.859
#   total CPU system time (s): 0.434084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49533 second user time and 2.29573 second system time

The end
Name	PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml
MD5SUM	23fecfcd5381048f2afebf98789e23de
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	252.056
Satisfiable
(Un)Satisfiability was proved
Number of variables	372
Number of constraints	421
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":372}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":44},{"degree":4,"count":106},{"degree":5,"count":102},{"degree":6,"count":106},{"degree":7,"count":2},{"degree":8,"count":9}]
Minimum constraint arity	1
Maximum constraint arity	18
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":338},{"arity":3,"count":10},{"arity":4,"count":4},{"arity":5,"count":5},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":4},{"arity":9,"count":5},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":3},{"arity":13,"count":8},{"arity":14,"count":7},{"arity":15,"count":3},{"arity":16,"count":2},{"arity":17,"count":2},{"arity":18,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":421}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4301349

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
