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 (14518 MiB free)
memory of node 1: 16384 MiB (15277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398930-1568697960/watcher-4398930-1568697960 -o /tmp/evaluation-result-4398930-1568697960/solver-4398930-1568697960 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 639662593 HOME/instance-4398930-1568697960.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23213, runsolver pid=23210
[startup+0.100938 s]*
/proc/loadavg: 8.50 8.50 8.20 6/233 23229
/proc/meminfo: memFree=30494476/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15144776 memory=28916 CPUtime=0.14 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 5703 0 0 0 13 1 0 0 20 0 15 0 445733911 15508250624 7229 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3786194 7229 3161 1 0 3748377 0
[pid=23215/tid=23216] ppid=23213 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) R 23213 23213 19836 0 -1 4202560 3582 0 0 0 9 0 0 0 20 0 15 0 445733911 15508250624 7229 33554432000 4194304 4196468 140723285128992 139734745662912 139734741446038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 7229 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 7229 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 7229 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 7229 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733913 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733914 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734208726432 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733914 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734207673840 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733916 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 445733916 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) R 23213 23213 19836 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 445733916 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734204516464 139734719459924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0.02 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) R 23213 23213 19836 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 445733916 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734203463920 139734741445250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733917 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733917 15508250624 7295 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30364 KiB
[startup+0.210681 s]*
/proc/loadavg: 8.50 8.50 8.20 6/233 23229
/proc/meminfo: memFree=30480724/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15144776 memory=41028 CPUtime=0.35 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 9516 0 0 0 32 3 0 0 20 0 15 0 445733911 15508250624 10257 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3786194 10257 3310 1 0 3748377 0
[pid=23215/tid=23216] ppid=23213 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) R 23213 23213 19836 0 -1 4202560 6622 0 0 0 18 2 0 0 20 0 15 0 445733911 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734745669088 139734725477733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15144776 memory=139654838972569 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733912 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445733913 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733914 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734208726432 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733914 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734207673840 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733916 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 723 0 0 0 3 0 0 0 20 0 15 0 445733916 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) S 23213 23213 19836 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 445733916 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734204516464 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15144776 memory=139654835668608 CPUtime=0.08 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) R 23213 23213 19836 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 445733916 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734203463920 139734725514590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733917 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733917 15508250624 10257 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42476 KiB
[startup+0.310574 s]*
/proc/loadavg: 8.50 8.50 8.20 7/233 23229
/proc/meminfo: memFree=30473588/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15149032 memory=50280 CPUtime=0.53 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 10974 0 0 0 50 3 0 0 20 0 15 0 445733911 15512608768 12570 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3787258 12570 3366 1 0 3748377 0
[pid=23215/tid=23216] ppid=23213 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) R 23213 23213 19836 0 -1 4202560 7843 0 0 0 28 2 0 0 20 0 15 0 445733911 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734745670928 139734725514590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733912 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15149032 memory=-7233795161087131807 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445733913 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733914 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734208726432 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733914 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734207673840 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733916 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 856 0 0 0 5 0 0 0 20 0 15 0 445733916 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) S 23213 23213 19836 0 -1 1077944384 128 0 0 0 4 0 0 0 20 0 15 0 445733916 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734204516464 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) S 23213 23213 19836 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 445733916 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734203463920 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733917 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733917 15512608768 12570 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51728 KiB
[startup+0.707656 s]
/proc/loadavg: 8.50 8.50 8.20 9/233 23229
/proc/meminfo: memFree=30451908/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15151156 memory=92476 CPUtime=1.8 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 16299 0 0 0 175 5 0 0 20 0 15 0 445733911 15514783744 23119 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3787789 23119 3459 1 0 3748889 0
[pid=23215/tid=23216] ppid=23213 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) R 23213 23213 19836 0 -1 4202560 9268 0 0 0 65 3 0 0 20 0 15 0 445733911 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734745671136 139734365622078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15151156 memory=32740 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733912 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733912 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445733913 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733914 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734208726432 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733914 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734207673840 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733916 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15151156 memory=1056 CPUtime=0.33 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 2172 0 0 0 33 0 0 0 20 0 15 0 445733916 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15151156 memory=11620 CPUtime=0.34 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) R 23213 23213 19836 0 -1 4202560 1093 0 0 0 34 0 0 0 20 0 15 0 445733916 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734204516464 139734724845090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15151156 memory=3992 CPUtime=0.41 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) R 23213 23213 19836 0 -1 4202560 2460 0 0 0 41 0 0 0 20 0 15 0 445733916 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734203461880 139734719972559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733917 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733917 15514783744 23119 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93924 KiB
[startup+1.50666 s]
/proc/loadavg: 8.50 8.50 8.20 9/233 23229
/proc/meminfo: memFree=30362552/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23230] ppid=23213 vsize=15419460 memory=7522810532368576107 CPUtime=15.49 cores=1,3,5,7
/proc/23215/task/23230/stat : 23230 (java) R 23213 23213 19836 0 -1 4202560 495 0 0 0 1549 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734192377160 139734369289068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23231] ppid=23213 vsize=15419460 memory=8099836510889993582 CPUtime=15.33 cores=1,3,5,7
/proc/23215/task/23231/stat : 23231 (java) R 23213 23213 19836 0 -1 4202560 1044 0 0 0 1533 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734191326328 139734368055666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23232] ppid=23213 vsize=15419460 memory=8099836510889993582 CPUtime=15.44 cores=1,3,5,7
/proc/23215/task/23232/stat : 23232 (java) R 23213 23213 19836 0 -1 4202560 273 0 0 0 1544 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734190272720 139734369359067 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23233] ppid=23213 vsize=15419460 memory=7669744954391025253 CPUtime=15.64 cores=1,3,5,7
/proc/23215/task/23233/stat : 23233 (java) R 23213 23213 19836 0 -1 4202560 721 0 0 0 1564 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734189219432 139734368055666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 68.74 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 225220 KiB
[startup+18.4017 s]
/proc/loadavg: 8.48 8.50 8.21 9/237 23234
/proc/meminfo: memFree=30295020/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15419460 memory=223772 CPUtime=71.92 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 43582 0 0 0 7178 14 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3854865 55943 3530 1 0 3815965 0
[pid=23215/tid=23216] ppid=23213 vsize=15419460 memory=1448 CPUtime=1.03 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) S 23213 23213 19836 0 -1 1077944384 10951 0 0 0 98 5 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734745674880 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15419460 memory=223772 CPUtime=0.04 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1534 0 0 0 3 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15419460 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1780 0 0 0 2 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15419460 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15419460 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15419460 memory=139654686920160 CPUtime=0.01 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 19 0 445733913 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15419460 memory=139654686950560 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734208726496 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15419460 memory=139654689761456 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734207673856 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15419460 memory=139654686950944 CPUtime=2.19 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 7991 0 0 0 218 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15419460 memory=139654686951072 CPUtime=2.61 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) S 23213 23213 19836 0 -1 1077944384 9180 0 0 0 260 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734204516464 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15419460 memory=139654686951200 CPUtime=0.77 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) S 23213 23213 19836 0 -1 1077944384 6907 0 0 0 76 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734203463920 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15419460 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15419460 memory=32740 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23230] ppid=23213 vsize=15419460 memory=988 CPUtime=16.29 cores=1,3,5,7
/proc/23215/task/23230/stat : 23230 (java) R 23213 23213 19836 0 -1 4202560 496 0 0 0 1629 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734192377160 139734370521415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23231] ppid=23213 vsize=15419460 memory=2012 CPUtime=16.11 cores=1,3,5,7
/proc/23215/task/23231/stat : 23231 (java) R 23213 23213 19836 0 -1 4202560 1047 0 0 0 1611 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734191325288 139734369485872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23232] ppid=23213 vsize=15419460 memory=1324 CPUtime=16.24 cores=1,3,5,7
/proc/23215/task/23232/stat : 23232 (java) R 23213 23213 19836 0 -1 4202560 273 0 0 0 1624 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734190272720 139734362985003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23233] ppid=23213 vsize=15419460 memory=1704 CPUtime=16.44 cores=1,3,5,7
/proc/23215/task/23233/stat : 23233 (java) R 23213 23213 19836 0 -1 4202560 722 0 0 0 1644 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734189219432 139734369288373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 71.92 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 225220 KiB
[startup+18.6017 s]
/proc/loadavg: 8.48 8.50 8.21 9/237 23234
/proc/meminfo: memFree=30295020/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15419460 memory=223772 CPUtime=72.72 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 43585 0 0 0 7258 14 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3854865 55943 3530 1 0 3815965 0
[pid=23215/tid=23216] ppid=23213 vsize=15419460 memory=6944656591801717918 CPUtime=1.03 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) S 23213 23213 19836 0 -1 1077944384 10951 0 0 0 98 5 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734745674880 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15419460 memory=-7025452035940392864 CPUtime=0.04 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1534 0 0 0 3 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15419460 memory=-7384994778349281184 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1780 0 0 0 2 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15419460 memory=7232886968738802340 CPUtime=0.02 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15419460 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15419460 memory=288230583166042426 CPUtime=0.01 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 19 0 445733913 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15419460 memory=14136632290838955 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734208726496 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734207673856 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15419460 memory=223772 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15419460 memory=528 CPUtime=2.19 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 7991 0 0 0 218 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15419460 memory=1560 CPUtime=2.61 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) S 23213 23213 19836 0 -1 1077944384 9180 0 0 0 260 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734204516464 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15419460 memory=932 CPUtime=0.77 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) S 23213 23213 19836 0 -1 1077944384 6907 0 0 0 76 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734203463920 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15419460 memory=1492 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15419460 memory=876 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23230] ppid=23213 vsize=15419460 memory=1448 CPUtime=16.49 cores=1,3,5,7
/proc/23215/task/23230/stat : 23230 (java) R 23213 23213 19836 0 -1 4202560 497 0 0 0 1649 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734192376936 139734369359089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23231] ppid=23213 vsize=15419460 memory=1980 CPUtime=16.31 cores=1,3,5,7
/proc/23215/task/23231/stat : 23231 (java) R 23213 23213 19836 0 -1 4202560 1049 0 0 0 1631 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734191325376 139734368600059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23232] ppid=23213 vsize=15419460 memory=2432 CPUtime=16.44 cores=1,3,5,7
/proc/23215/task/23232/stat : 23232 (java) R 23213 23213 19836 0 -1 4202560 273 0 0 0 1644 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734190273008 139734369362506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23233] ppid=23213 vsize=15419460 memory=1760 CPUtime=16.64 cores=1,3,5,7
/proc/23215/task/23233/stat : 23233 (java) R 23213 23213 19836 0 -1 4202560 722 0 0 0 1664 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734189219400 139734368352528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 72.72 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 225220 KiB
[startup+18.7017 s]
/proc/loadavg: 8.48 8.50 8.21 9/237 23234
/proc/meminfo: memFree=30295020/32770624 swapFree=66922424/67108860
[pid=23213] ppid=23210 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (xcsp3-exec) S 23210 23213 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445733911 115843072 362 33554432000 4194304 5098028 140727166431360 140727166429464 139966445019772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14155776 140727166440315 140727166440557 140727166440557 140727166443466 0
/proc/23213/statm: 28282 362 304 221 0 87 0
[pid=23215] ppid=23213 vsize=15419460 memory=223772 CPUtime=73.12 cores=1,3,5,7
/proc/23215/stat : 23215 (java) S 23213 23213 19836 0 -1 1077944320 43585 0 0 0 7298 14 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 140723285111536 139734741434103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
/proc/23215/statm: 3854865 55943 3530 1 0 3815965 0
[pid=23215/tid=23216] ppid=23213 vsize=15419460 memory=223772 CPUtime=1.03 cores=1,3,5,7
/proc/23215/task/23216/stat : 23216 (java) S 23213 23213 19836 0 -1 1077944384 10951 0 0 0 98 5 0 0 20 0 19 0 445733911 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734745674880 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23217] ppid=23213 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23215/task/23217/stat : 23217 (java) S 23213 23213 19836 0 -1 1077944384 1534 0 0 0 3 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734694054160 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23218] ppid=23213 vsize=15419460 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23218/stat : 23218 (java) S 23213 23213 19836 0 -1 1077944384 1780 0 0 0 2 1 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734693001616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23219] ppid=23213 vsize=15419460 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23215/task/23219/stat : 23219 (java) S 23213 23213 19836 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734691949072 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23220] ppid=23213 vsize=15419460 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/23215/task/23220/stat : 23220 (java) S 23213 23213 19836 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 19 0 445733912 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734690896528 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23221] ppid=23213 vsize=15419460 memory=245748 CPUtime=0.01 cores=1,3,5,7
/proc/23215/task/23221/stat : 23221 (java) S 23213 23213 19836 0 -1 1077944384 573 0 0 0 1 0 0 0 20 0 19 0 445733913 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734209780208 139734741445250 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23222] ppid=23213 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23222/stat : 23222 (java) S 23213 23213 19836 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734208726496 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23223] ppid=23213 vsize=15419460 memory=245728 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23223/stat : 23223 (java) S 23213 23213 19836 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 445733914 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734207673856 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23224] ppid=23213 vsize=15419460 memory=279309374533024 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23224/stat : 23224 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734206622416 139734741452699 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23225] ppid=23213 vsize=15419460 memory=7974311998478750570 CPUtime=2.19 cores=1,3,5,7
/proc/23215/task/23225/stat : 23225 (java) S 23213 23213 19836 0 -1 1077944384 7991 0 0 0 218 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734205569008 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23226] ppid=23213 vsize=15419460 memory=14076 CPUtime=2.61 cores=1,3,5,7
/proc/23215/task/23226/stat : 23226 (java) S 23213 23213 19836 0 -1 1077944384 9180 0 0 0 260 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734204516464 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23227] ppid=23213 vsize=15419460 memory=2116 CPUtime=0.77 cores=1,3,5,7
/proc/23215/task/23227/stat : 23227 (java) S 23213 23213 19836 0 -1 1077944384 6907 0 0 0 76 1 0 0 20 0 19 0 445733916 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734203463920 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23228] ppid=23213 vsize=15419460 memory=13036 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23228/stat : 23228 (java) S 23213 23213 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734202411616 139734741444309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23229] ppid=23213 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23215/task/23229/stat : 23229 (java) S 23213 23213 19836 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 445733917 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734201359152 139734741445250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23230] ppid=23213 vsize=15419460 memory=1448 CPUtime=16.59 cores=1,3,5,7
/proc/23215/task/23230/stat : 23230 (java) R 23213 23213 19836 0 -1 4202560 497 0 0 0 1659 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734192376936 139734369289476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23231] ppid=23213 vsize=15419460 memory=223772 CPUtime=16.41 cores=1,3,5,7
/proc/23215/task/23231/stat : 23231 (java) R 23213 23213 19836 0 -1 4202560 1049 0 0 0 1641 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734191325376 139734368055879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23232] ppid=23213 vsize=15419460 memory=14136632290838955 CPUtime=16.54 cores=1,3,5,7
/proc/23215/task/23232/stat : 23232 (java) R 23213 23213 19836 0 -1 4202560 273 0 0 0 1654 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734190273008 139734368055943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
[pid=23215/tid=23233] ppid=23213 vsize=15419460 memory=239349937517921 CPUtime=16.74 cores=1,3,5,7
/proc/23215/task/23233/stat : 23233 (java) R 23213 23213 19836 0 -1 4202560 722 0 0 0 1674 0 0 0 20 0 19 0 445734017 15789527040 55943 33554432000 4194304 4196468 140723285128992 139734189219400 139734369952930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23289856 140723285136367 140723285136538 140723285136538 140723285139407 0
Current children cumulated CPU time: 73.12 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 225220 KiB
Child status: 0
Real time (s): 18.7307
CPU time (s): 73.1832
CPU user time (s): 73.0301
CPU system time (s): 0.153026
CPU usage (%): 390.712
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 248832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0301
system time used= 0.153026
maximum resident set size= 247700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2860
involuntary context switches= 1617
# summary of solver processes directly reported to runsolver:
# pid: 23213
# total CPU time (s): 73.1832
# total CPU user time (s): 73.0301
# total CPU system time (s): 0.153026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138229 second user time and 0.249705 second system time
The end